Timeline
03/31/08:
- 21:58 WikiStart edited by
- (diff)
- 20:57 WikiStart edited by
- (diff)
- 20:51 WikiStart edited by
- (diff)
- 20:50 WikiStart edited by
- (diff)
- 20:49 WikiStart edited by
- (diff)
- 20:05 WikiStart edited by
- (diff)
- 20:02 WikiStart edited by
- (diff)
- 19:58 WikiStart edited by
- (diff)
- 19:52 WikiStart edited by
- (diff)
- 19:44 HowToParticipate edited by
- (diff)
- 19:21 WikiStart edited by
- (diff)
- 19:20 WikiStart edited by
- (diff)
- 19:16 WikiStart edited by
- (diff)
- 19:15 TOC edited by
- (diff)
- 19:14 WikiStart edited by
- (diff)
- 13:37 Changeset [1450] by
- 1. Minor revisions on the top-level README file. 2. Eliminated …
- 13:20 Changeset [1449] by
- Experimental change to forzip for long lines
- 12:42 Changeset [1448] by
- Same README, only with spelling corrections (and one correction on the …
- 12:33 Changeset [1447] by
- Revised library high points, description of demos; new section on defining …
- 11:59 Changeset [1446] by
- Further changes to forzip
- 11:32 Changeset [1445] by
- more changes to zipfile builder
- 11:32 Changeset [1444] by
- Added the Fortress Language Specification, Version 1.0.
- 10:56 Changeset [1443] by
- Moved forzip script to toplevel/bin; removed preliminary clean/test
- 10:46 WikiStart edited by
- (diff)
- 07:25 Changeset [1442] by
- Eliminating FTypeDynamic (work in progress).
- 06:56 Changeset [1441] by
- Excised the uses of the transient modifier in Fortress libraries. Will …
- 00:14 Changeset [1440] by
- Editorial corrections for the 1.0 spec.
03/30/08:
- 16:41 Ticket #74 (Move top-level operations into functional methods where appropriate) created by
- Right now there are many top-level operations that would be better …
- 16:39 Ticket #73 (Move all native objects across to new native objects story) created by
- Right now only Boolean uses the new native objects story. Fix that and …
03/29/08:
- 18:03 Changeset [1439] by
- More documentation tweaks.
- 17:29 Changeset [1438] by
- Documentation changes, plus major fixes to the api of SkipList? to hide …
- 15:24 Changeset [1437] by
- Documentation changes, plus more doc-comment hacking in fortify/fortex.
- 13:25 Changeset [1436] by
- Fixed old text.
- 02:35 Changeset [1435] by
- This file should not have been changed
03/28/08:
- 19:29 Changeset [1434] by
- Revising the top-level README file (work in progress).
- 19:01 Changeset [1433] by
- Fixed fortify.el bug in last checkin, and added a creeping feature: permit …
- 18:44 Changeset [1432] by
- Creeping featurism: In the middle of a doc comment, leading % (after …
- 17:54 Changeset [1431] by
- Handling of the _ identifier, and of identifiers with a single occurrence …
- 14:24 Changeset [1430] by
- Merged Thread into NativeSimpleTypes?. Hacked fortify.el to be more …
- 14:18 Changeset [1429] by
- Modified the top-level README. Merged relevant text from …
- 13:33 Changeset [1428] by
- Added a spec example.
- 13:13 Changeset [1427] by
- Moved information relevant to particular subdirectories to the …
- 12:03 Changeset [1426] by
- Syntax abstraction, added a test for grammar extension and junit test for …
- 07:45 Changeset [1425] by
- Bug fix for TypeAnalyzer? code: substitution on ConstraintFormulas? had a …
03/27/08:
- 21:31 Changeset [1424] by
- Added more spec examples.
- 13:52 Changeset [1423] by
- Added a "compile" flag to the "fortress" ant task.
- 12:42 Changeset [1422] by
- Cleaning up transactions
- 12:27 Changeset [1421] by
- Eliminated uses of not yet implemented modifiers in libraries.
- 12:20 FortressStartHere edited by
- (diff)
- 12:19 Changeset [1420] by
- More syntax abstraction examples
- 09:43 Changeset [1419] by
- Replaced the settable modifier with var.
- 08:14 Changeset [1418] by
- Fixed a copyright notice
- 04:22 Changeset [1417] by
- Fixed broken demo tests by providing more type information.
- 04:16 Changeset [1416] by
- Fixed copyright notices.
- 01:39 Changeset [1415] by
- Fixing bugs
03/26/08:
- 19:20 Changeset [1414] by
- More tweaks to readme files.
- 16:19 Changeset [1413] by
- Added -nolib flag, took steps towards removing FTypeDynamic
- 15:43 Changeset [1412] by
- Minor tweaks to some top-level documentation.
- 15:31 Changeset [1411] by
- Edited README. Added deferring top level ./ant script. Fixed comment in …
- 14:33 Changeset [1410] by
- New examples of how to defined generators and reductions.
- 12:35 WikiStart edited by
- (diff)
- 12:16 Changeset [1409] by
- This library should have gone away in earlier commit. Its contents can …
- 11:58 Ticket #72 (Overloading check bug) created by
- "The Subtype Rule also requires a relationship between the return types of …
- 07:55 Changeset [1408] by
- FTypeBool no longer needs to exist, as Boolean is an actual object now.
03/25/08:
- 14:59 Changeset [1407] by
- Added implementation of subtype checking for checking an ArgType? with only …
- 14:19 Changeset [1406] by
- Changing type environments for function definitions. Beginning to …
- 14:14 Changeset [1405] by
- List is the new CovariantCollection?, and I expect we will be much the …
- 11:50 InterpreterGuide edited by
- (diff)
- 11:31 WikiStart edited by
- (diff)
- 11:14 Changeset [1404] by
- Added more spec examples.
- 10:53 Changeset [1403] by
- Fixed Sukyoung's typecase bug (reference to member in …
- 04:53 Changeset [1402] by
- Fixed copyright notices.
03/24/08:
- 20:17 Changeset [1401] by
- Made Library/List.fss partially internally covariant: concatenation …
- 16:06 Changeset [1400] by
- Renamed ArrayList? to List.
- 12:17 Changeset [1399] by
- Removed some dead code / data that was referring to the old library story …
- 11:56 WikiStart edited by
- (diff)
- 10:46 Changeset [1398] by
- Last checkin caused test_library_native to be removed, exposing old …
- 10:35 Changeset [1397] by
- Massive library reorganization: * Most of …
- 09:25 Ticket #58 (Implement Map comprehensions) closed by
- fixed: Complete; see Map.fss for the implementation.
- 09:24 Ticket #35 (Map aggregate syntax not implemented) closed by
- fixed: This now works; see Map.fss in the libraries.
- 09:19 Ticket #66 (Time measurement) closed by
- worksforme: I suggest using the following function from FortressLibrary: …
- 09:14 Ticket #38 (Implement conditionals in generator lists) closed by
- fixed
- 04:53 Changeset [1396] by
- cleanup readsets
03/23/08:
- 15:41 Changeset [1395] by
- Added basic string description to type environments. Fixed bug with …
- 06:10 Changeset [1394] by
- Fixed copyright notices.
03/21/08:
- 17:39 FortressDocumentation edited by
- (diff)
- 16:01 FortressStartHere edited by
- (diff)
- 15:12 FortressFormalism edited by
- (diff)
- 15:11 FortressLibraries edited by
- (diff)
- 14:44 FortressQuestions edited by
- (diff)
- 13:23 Changeset [1393] by
- Tweaks to map api to use while loops for lookup. Replaced UnJustNothing? …
03/20/08:
- 22:32 FortressStartHere edited by
- Finished instructions for Solaris (diff)
- 22:28 FortressStartHere edited by
- (diff)
- 22:21 FortressStartHere edited by
- Added instructions for Solaris (Nevada b84) (diff)
- 19:30 Changeset [1392] by
- Added a spec example.
- 18:37 Changeset [1391] by
- Leak plugged.
- 16:42 Changeset [1390] by
- Clean up last checkin; it involved applying a whitespace-ignoring patch …
- 14:22 Changeset [1389] by
- Added Jan's changes to builtin libraries. Fixed type checking qualified …
- 13:22 Changeset [1388] by
- Added missing files. Doh.
- 13:21 Changeset [1387] by
- Added a couple more static tests. Added basic OrType? handler to …
- 12:54 Changeset [1386] by
- Added -test and -debug flags to new fortress command; also partial …
03/19/08:
- 06:39 Changeset [1385] by
- Changed thread.cancel to really kill spawned thread groups. Better …
03/18/08:
- 10:54 Changeset [1384] by
- Added Spans to contracts
03/17/08:
- 19:00 Changeset [1383] by
- Fixed the exceptions thrown from contract violations.
- 14:56 Changeset [1382] by
- 1. 'fortress filename.fss' is equivalent to 'fortress run filename.fss'. …
- 11:41 Changeset [1381] by
- 1. Jan's fix to evaluating at expressions. 2. Added more spec examples.
- 09:43 Changeset [1380] by
- Fixed copyright notices.
03/16/08:
- 16:59 Changeset [1379] by
- contracts
- 15:24 Changeset [1378] by
- Corrected minor mistake.
- 13:28 Changeset [1377] by
- Mainly cleaned up type checker code. Fixed some bugs that were preventing …
03/14/08:
- 14:08 Changeset [1376] by
- Fixed parsing true and false static arguments.
- 13:02 Changeset [1375] by
- Fixed toStrings of some values. Renamed fortress -> fortress-old. Renamed …
- 10:20 Changeset [1374] by
- Fixed sequential generator code for Set and Map (we recursed to the wrong …
03/13/08:
- 18:36 Changeset [1373] by
- Cleans up caching and inference variable renaming code in TypeAnalyzer?. …
- 15:05 Changeset [1372] by
- Parser error messages improved: 'Something expected' is replaced with …
- 14:38 Changeset [1371] by
- Removed Result and Error classes from FortressParser?.java
- 12:50 Changeset [1370] by
- Refactoring to prepare for trait-method overrride; fixed big with self …
- 10:59 Changeset [1369] by
- Fixed references to generic singleton Concat[\...\].
- 08:42 Changeset [1368] by
- Fixed the call sites of constructing pairs.
03/12/08:
- 11:55 Changeset [1367] by
- More generic singleton cleanup.
- 08:27 Changeset [1366] by
- Fixed copyright notices.
- 08:17 Changeset [1365] by
- Missed atomic.
- 07:47 Changeset [1364] by
- Added in some files to fix stupid mistake.
- 07:33 Changeset [1363] by
- SEQV now handles value objects correctly, traversing their fields when the …
03/11/08:
- 14:53 Changeset [1362] by
- Added object declarations to the top-level environment for static …
- 12:35 Changeset [1361] by
- Regions, locality, and at (). Right now we're running on multicore boxes …
- 09:43 Changeset [1360] by
- Fixes to exception handling, fixes to exception behavior of Map.
03/10/08:
- 20:48 Changeset [1359] by
- Added spec examples for map aggregates and map comprehensions. Fixed …
- 14:29 Changeset [1358] by
- Fixes to exception behavior of Set and Map. Map now supports disjoint …
- 13:22 Changeset [1357] by
- more renaming and tidying up code
- 12:05 Changeset [1356] by
- faster test
03/09/08:
- 14:31 Changeset [1355] by
- Fixed a bug in the disambiguator that was not inserting API/component …
- 13:09 Ticket #67 (Error msg) closed by
- fixed: The parser error message was improved by Revision 1354. I think what you …
- 13:04 Changeset [1354] by
- Improved parser error messages: White square bracket is not a valid static …
- 12:36 Changeset [1353] by
- Improved the parser error messages: 1) Tabulation is not allowed in …
03/08/08:
- 17:01 Changeset [1352] by
- Remvoed bogus import. Don't know why the nightlies passed with this in.
03/07/08:
- 15:52 Changeset [1351] by
- Make Nothing[\T\] into a generic singleton.
- 14:39 Changeset [1350] by
- List aggregates and comprehensions, Set partial ordering, Equality on both …
- 11:40 Changeset [1349] by
- Fixed infinite loop after touch of cached API source
- 10:15 Changeset [1348] by
- More renaming and refactorings in syntax abstractions
- 08:50 Changeset [1347] by
- Rename, refactor, and cleanups in syntax abstractions
- 06:37 Changeset [1346] by
- Changed the AST representation of map entries.
03/06/08:
- 14:56 Changeset [1345] by
- Implemented the map aggregate expressions syntax.
- 13:28 Changeset [1344] by
- Mid-stream checkin. Some stuff in readiness for a new native Boolean …
- 12:00 Changeset [1343] by
- Fixed infinite loop with explicit imports into FortressLibrary.fss
- 04:04 Changeset [1342] by
- Moved a not-working spec example out of testing.
03/05/08:
- 21:26 Changeset [1341] by
- Added comments to MakeInferenceSpecific?; repaired import-export bug
- 18:02 Changeset [1340] by
- Renamed file
- 12:57 Changeset [1339] by
- More contention manager tinkering
- 12:53 Changeset [1338] by
- Renamed the AtomicConflict? exception to TryAtomicFailure?.
- 04:17 Changeset [1337] by
- Fixed copyright notices.
03/04/08:
- 13:41 Changeset [1336] by
- Fixed trying to unwrapping a none option.
- 11:33 Changeset [1335] by
- initial import of fortress-mode.el
- 09:49 Changeset [1334] by
- Correct isValueType implementation for FTraitOrObjectOrGeneric, plus …
- 09:13 Changeset [1333] by
- Added names of fields and methods in FTypeObject.
- 07:35 Changeset [1332] by
- Renamed NativeThread? to Thread.
- 06:51 Changeset [1331] by
- Fixed copyright notices.
03/03/08:
- 17:24 Ticket #71 (Complete implementation of SEQUIV) created by
- Current implementation of SEQUIV is a bit of a crock. Complete the …
- 17:16 Changeset [1330] by
- Preliminary (unsatisfactory) implementation of SEQUIV, plus some …
- 17:11 Changeset [1329] by
- Another contention manager
- 13:38 Changeset [1328] by
- Changed generic-overloading semantics -- ambiguity is removed
03/01/08:
- 09:50 Changeset [1327] by
- Cleaning up some ugly tabs in my last commit.
Note: See TracTimeline
for information about the timeline view.
