Timeline
04/15/08:
- 20:00 Ticket #70 (typecase) closed by
- wontfix: By default integer constants end up in the narrowest applicable integer …
- 14:32 Ticket #83 (Bug with lists and top-level vars) created by
- Here's another fun little bug with lists. The following program results in …
- 14:18 Ticket #75 (Bizarre initialization order bug) closed by
- fixed: Appears to be fixed as of r1499, which did a bunch of work on init order.
- 13:47 Changeset [1501] by
- Someone's been tabbing unreadably again. Please set your local equivalent …
- 13:31 Changeset [1500] by
- A bit of code cleanup after last checkin. What used to be …
- 13:06 Ticket #82 (Problem with nested list brackets) created by
- The following program results in an error: component tst import …
- 12:48 Ticket #81 (Add type ZZ) created by
- I promised Guy I would do this in short order so that he can get to work …
- 12:47 Ticket #80 (Populate Numeric hierarchy) created by
- Move stuff out of top-level methods and into the numeric hierarchy. Do …
- 12:41 Ticket #18 (Exclusion doesn't correctly account for "comprises") closed by
- fixed: Fixed in r1499; adding the corresponding clauses for the numeric type …
- 12:38 Ticket #73 (Move all native objects across to new native objects story) closed by
- fixed: Complete as of r1499 but Numeric type hierarchy now needs to be populated.
- 12:26 Changeset [1499] by
- This massive check-in accomplishes the following goals: 1. Moves all …
- 12:14 Ticket #79 (Occasional deadlocks during `tests/Spawn.fss`) created by
- Occasionally testing appears to deadlock while running …
- 08:38 Ticket #78 (Paren mismatch in Emacs Fortress mode) created by
- Use of white Oxford brackets appears to mess up paren matching in the …
- 08:33 Changeset [1498] by
- Strings now implement ZeroIndexed[\Char\] as intended all along. …
04/11/08:
- 20:15 Changeset [1497] by
- Tinkering with caches, plus more work on override/overload
- 14:01 Changeset [1496] by
- Re-nativized Char, and ripped out all mention of FTypeChar. Changed the …
- 11:58 Changeset [1495] by
- Added in type checking for normal (i.e. not extremum) case expressions. …
- 05:00 Changeset [1494] by
- Arg, missed checkin of this file.
- 04:42 Ticket #77 (Caches, properties, etc ought to all hang under a single .fortress ...) created by
- Current behavior separates caches (potentially several of them) from …
04/10/08:
- 20:07 Changeset [1493] by
- Eliminated BufferedWriter? and replaced with FileReadStream? in the File …
- 18:51 Changeset [1492] by
- Nativized thread, the last of the types that directly extended …
- 12:15 Changeset [1491] by
- Found missing call site context fill-in and fixed it. Ripped out some …
- 11:57 Changeset [1490] by
- Nativized File, NatReflect?, and TNFoo (test library). Fixed major bug in …
- 10:00 Changeset [1489] by
- Chunked sparse array implementation that maintains a bitmap of explicitly …
04/09/08:
- 13:10 Changeset [1488] by
- Quick half-hour hack based on "Computing Science" column in recent …
- 06:51 Changeset [1487] by
- Use the new generalized if expressions even more!
- 06:34 Changeset [1486] by
- Fixed copyright notices.
- 02:46 Changeset [1485] by
- A testcase
- 02:44 Changeset [1484] by
- 02:07 Changeset [1483] by
- Syntactic abstractions, syntax changes
04/08/08:
- 14:18 Changeset [1482] by
- Fixed a couple of mis-translations
- 14:00 Changeset [1481] by
- Binding maybe values in if. This touched far more files than I was …
- 08:23 Ticket #76 (TypeDisambiguator messages lack accurate location information) closed by
- worksforme: Apparently it wasn't as bad as I thought; there were a few notable …
- 08:16 Ticket #76 (TypeDisambiguator messages lack accurate location information) created by
- Most errors signaled in …
- 06:33 Changeset [1480] by
- Re-checking in just in case disk restore lost the bits (we're failing …
04/07/08:
- 20:00 Changeset [1479] by
- Modified the parser to handle if expressions with generator bindings. …
- 19:54 Changeset [1478] by
- Renamed .value() getter to .val().
- 16:56 Changeset [1477] by
- Add file String.java missed in last commit (sorry), removed FTypeString …
- 15:01 Ticket #75 (Bizarre initialization order bug) created by
- In source:trunk/ProjectFortress/LibraryBuiltin/NativeSimplePreTypes.fss …
- 14:53 Changeset [1476] by
- Nativized String. TODO: Remove FTypeString and its ken.
- 12:11 Changeset [1475] by
- Nativized PrimImmutableArray?. Massaged NativeConstructor? api a teensy bit …
- 11:37 Changeset [1474] by
- Some code cleanups in SkipList? (occasioned by mention of the code in …
- 06:44 Changeset [1473] by
- ignore
- 06:26 Changeset [1472] by
- Simplified some comments as Steve suggested.
- 04:47 Changeset [1471] by
- Fixed copyright notices.
- 04:26 Changeset [1470] by
- Added a section label.
- 04:24 Changeset [1469] by
- 1. Added fixups for |self| and defining opr :. 2. Described how [\ and \] …
04/06/08:
- 13:11 Changeset [1468] by
- Attempting to clarify the syntax expander failure
04/05/08:
- 17:48 Changeset [1467] by
- Implemented the generalized if expression proposal: if generators …
- 09:07 Changeset [1466] by
- Fixed instructions for emacs users. Thanks to Paul Onions for catching …
04/04/08:
- 11:32 Changeset [1465] by
- fortify-macros preamble
- 08:59 Changeset [1464] by
- Mentioned the need to input fortify-macros.tex in the Fortify …
- 08:35 Changeset [1463] by
- Depracate size() in favor of |self|, which is much more elegant on the …
- 08:08 Changeset [1462] by
- Commented out debugging printlns in fortify. (oops)
- 01:37 Changeset [1461] by
- Syntax abstraction, production injection
04/03/08:
- 21:36 Changeset [1460] by
- Fixed subtle bug with the fortick tool regarding quotation marks in …
- 08:53 Changeset [1459] by
- Fixed documentation of the fortick command.
04/02/08:
- 17:34 WikiStart edited by
- Redirected download link to new download plugin (diff)
- 17:12 WikiStart edited by
- (diff)
- 14:37 Changeset [1458] by
- Make fortress-unicode-char-map a customizable variable, allow strings as …
- 13:41 WikiStart edited by
- (diff)
- 12:58 Changeset [1457] by
- Made some cosmetic helpful changes to MacPortsHelper?
- 08:13 Changeset [1456] by
- The ant test target does not set the -test flag by default.
04/01/08:
- 21:26 Changeset [1455] by
- 1. Added UnitExpr? nodes to represent unit arguments (static arguments). …
- 15:30 Changeset [1454] by
- Added StaticTypeReplacer? for generic function application. Changed some …
- 10:00 FortressDocumentation edited by
- (diff)
- 09:55 FortressDocumentation edited by
- (diff)
- 09:53 Changeset [1453] by
- Added uses of the modifier transient back.
- 08:57 Ticket #54 (Install fails to work) closed by
- worksforme: I think this has been fixed. We've revised the various run scripts since …
- 08:42 Changeset [1452] by
- Added mention of the new Specification directory in the README.
- 04:34 WikiStart edited by
- (diff)
- 04:26 Changeset [1451] by
- Fixed copyright notices.
- 04:14 WikiStart edited by
- (diff)
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 …
Note: See TracTimeline
for information about the timeline view.
