Timeline
05/08/08:
- 16:39 WikiStart edited by
- (diff)
- 16:14 Changeset [1602] by
- Added to .hgignore
- 13:23 Ticket #108 (conditional operator use truncates operator names) created by
- […] results in the following output: […]
- 13:19 Ticket #107 ([syntax abstraction] cannot use * on terminals) created by
- A simple production like […] Gives the error […] Adding a …
- 13:01 Ticket #106 (!idrest is appended to all generated grammar productions) created by
- This grammar […] Will result in a rats file for the A non-terminal, …
- 10:21 HowToParticipate edited by
- (diff)
- 10:20 HowToParticipate edited by
- (diff)
- 09:50 Changeset [1601] by
- bash on solaris doesnt like $() syntax. use backticks intead
- 09:20 Ticket #105 (Explicit type instantiation does not check the bound of the corresponding ...) created by
- […] If I drop the explicit type instantiation of h as "h(3)", the …
- 08:14 Ticket #104 (object methods cannot have static parameters) created by
- […] Static parameters on object methods result in the following error …
- 08:00 Ticket #103 (object parameters and fields can be mutated in the face of a static type ...) created by
- […] 'n' and 'field' in the 'foo' object are mutable with type ZZ32 but …
- 07:07 Ticket #102 (fortress in nondebug mode cannot print null pointer exception errors) created by
- When a null pointer exception is wrapped into a StaticError? and printed in …
- 06:50 Changeset [1600] by
- more syntax examples
- 05:54 Changeset [1599] by
- removed testoutput
- 05:39 Changeset [1598] by
- last fixes for ids, I hope
- 05:08 Changeset [1597] by
- Refactored libraries to move arithmetic operators from top level into the …
05/07/08:
- 22:46 Changeset [1596] by
- Added more error productions for better syntax error messages.
- 21:06 Changeset [1595] by
- Fixed a bug reported by Jon: Mutable variables should be declared with …
- 21:06 Changeset [1594] by
- Fixed a bug reported by Jon: Mutable variables should be declared with …
- 15:01 Changeset [1593] by
- Cleaned up redundant class path definitions in build.xml. Included …
- 13:09 Changeset [1592] by
- Updated plt.jar, and refactored use of Option.unwrap to follow the updated …
- 11:26 Changeset [1591] by
- Added tools.jar to the class path of various shell scripts.
- 05:18 Changeset [1590] by
- Added flag to disable preparser. Moved the -debug information to …
- 04:18 Changeset [1589] by
- 'import APIName.f' and 'import APIName.{f}' should be equivalent.
05/06/08:
- 14:37 HowToParticipate edited by
- (diff)
- 14:36 HowToParticipate edited by
- (diff)
- 14:35 Changeset [1588] by
- Slightly better treatment of IEEE FP, and better treatment of MIN and MAX. …
- 13:35 Changeset [1587] by
- Fallback to ant on the system path if it cannot be found in $ANT_HOME or …
- 13:35 Ticket #92 (Bad import crashes parser) closed by
- fixed: Thanks to Jon who found the cause of Ticket #92, revision 1586 fixed the …
- 13:33 Changeset [1586] by
- Thanks to Jon who found the cause of Ticket #92, fixed the parser to …
- 12:48 Changeset [1585] by
- Adjusted parser to support parenthesized OpArgs?. Performed the following …
- 11:05 Ticket #101 (path to java should be explicit in bin/fortress) created by
- The path to the java executable should be explicit in bin/fortress so that …
- 10:45 WikiStart edited by
- (diff)
- 09:43 Changeset [1584] by
- Documented (some) use cases of Id and other names in which the relevant …
- 09:04 Changeset [1583] by
- gold tag 1.0
- 09:02 Changeset [1582] by
- make temp
- 08:36 Changeset [1581] by
- Numeric types now support ordering in the standard way. This means I can …
- 07:09 Ticket #100 (UIDObject.stringName called on an object of type Id returns the api ...) closed by
- fixed: Fixed with revision 1580.
- 06:52 Changeset [1580] by
- Fixed nameString and nameGetter in NodeUtil?.
- 04:41 Changeset [1579] by
- Fixed bugs introduced by the change in the name hierachy
- 02:12 Ticket #100 (UIDObject.stringName called on an object of type Id returns the api ...) created by
- UIDObject.stringName called on an object of type Id returns the api …
05/05/08:
- 20:21 Changeset [1578] by
- Fixed some extends and comprises clauses in SkipList?.fss.
- 19:57 MathSyntaxInFortress edited by
- (diff)
- 19:40 Changeset [1577] by
- Eliminated QualifiedName? and QualifiedIdName?.
- 19:34 MathSyntaxInFortress edited by
- (diff)
- 19:03 MathSyntaxInFortress edited by
- (diff)
- 18:53 Changeset [1576] by
- Replaced QualifiedIdName? for NamedType? (IdType? and InstantiatedType?) with …
- 15:43 Changeset [1575] by
- Modified native stuff so that it handles functional methods correctly.
- 14:18 Changeset [1574] by
- Added type class AnyType?. Renamed TraitType?->BaseType?, and added AnyType? …
- 14:02 Changeset [1573] by
- Make _UP and _DOWN operators actually point to the correct primitives; …
- 12:57 Changeset [1572] by
- Minor tweak to IntLiteral? code.
- 12:21 Changeset [1571] by
- Replaced QualifiedIdName? for DimRef? and FixedPointType? with Id.
- 12:16 Changeset [1570] by
- Clean-ups for various error messaging code. Minor tweaks to fortress-mode.
- 12:02 Changeset [1569] by
- Replaced QualifiedIdName? for VarRef? with Id.
- 07:52 Changeset [1568] by
- More on templates, and a fix for nullpointer exceptions which where not …
05/04/08:
- 08:49 Changeset [1567] by
- Replaced QualifiedIdName? for FnRef? with Id.
05/03/08:
- 18:46 Changeset [1566] by
- Directed rounding in 100% pure Java, courtesy of Guy. There are now UP …
- 18:34 Changeset [1565] by
- Added juxtaposition operator that maintains case-insensitivity when both …
- 15:59 Changeset [1564] by
- Added type checking of atomic Do blocks.
- 08:56 Ticket #99 (Quick Start Windows Install Instructions) closed by
- fixed
- 08:54 FortressStartHere edited by
- Change per Ticket #99 (diff)
- 08:53 Ticket #99 (Quick Start Windows Install Instructions) created by
- The Windows installation instructions in the Wiki "Quick start guide" say …
05/02/08:
- 17:07 Changeset [1563] by
- Added hashcode-sensitive suffix to cached files
- 12:44 Changeset [1562] by
- Restored (and fixed) support for non-type StaticArgs? to …
- 12:39 Changeset [1561] by
- More data files for wordcount demo
- 12:28 Changeset [1560] by
- Use absolute pathnames in word count demos
- 11:14 Changeset [1559] by
- Fix that was missing from previous commit (it got lost during conflict …
- 11:04 MathSyntaxInFortress created by
- 10:31 Ticket #98 (Unsigned types) created by
- I am wondering when unsigned types NN8 & NN32 will be supported. I also …
- 10:01 Changeset [1558] by
- Refactored AST: StaticArg? is no longer a subtype of Type
- 09:58 Changeset [1557] by
- Modified javac invocations in Ant script to fork and use more memory. …
- 09:05 Changeset [1556] by
- Rename tests wordcount file to word around cache problem
- 08:57 Ticket #97 (Consistent heap overflows during parsing on some configurations) created by
- I just upgraded to Apple's 64-bit Java 1.6 on OS X. I can consistently …
- 08:13 Changeset [1555] by
- Updating J1 demo files
- 08:10 TransactionsInFortress created by
05/01/08:
- 20:24 ImplicitParallelismInFortress created by
- 20:11 Changeset [1554] by
- Replacing QualifiedIdName? with Id (in progress).
- 20:05 WikiStart edited by
- (diff)
- 19:26 Changeset [1553] by
- Replacing QualifiedIdName? with Id (in progress).
- 17:10 Changeset [1552] by
- Replacing QualifiedIdName? with Id (in progress).
- 16:53 Changeset [1551] by
- Missing parens in type instantiation after last checkin.
- 15:40 Changeset [1550] by
- Completed type checking of Label and Exit; also added Atomic and Spawn. …
- 13:14 Changeset [1549] by
- Added label handling to disambiguator. Exits with implicit targets are …
- 13:13 Changeset [1548] by
- Preliminary version of case insensitive string comparison, plus a wrapper …
- 12:35 Changeset [1547] by
- Eliminated QualifiedOpName?.
- 10:32 Changeset [1546] by
- Towards the refactoring of the Name hierarchy (in progress)
- 08:40 Changeset [1545] by
- Removed claimed junit dependency from README.
04/30/08:
- 14:44 Ticket #96 (String out-of-range error throws Java exception) closed by
- fixed
- 14:43 Changeset [1544] by
- Fix #96
- 12:47 Ticket #96 (String out-of-range error throws Java exception) created by
- The following testcase: […] outputs a rather verbose Java stack trace, …
- 12:31 Changeset [1543] by
- Added type checking for Label and Exit expressions, with some tests.
- 10:11 Changeset [1542] by
- Fixed bug in Set that was causing sudoku to fail.
- 07:40 Changeset [1541] by
- Generalized while expressions.
04/29/08:
- 15:07 Changeset [1540] by
- Modified Map, Set, and Heap to use a consistent api for …
- 13:52 Changeset [1539] by
- Moved some utility functions for type checking to TypesUtil?. Introduced a …
- 11:07 Changeset [1538] by
- Allows explicit static arguments to aggregate expressions.
04/28/08:
- 13:50 Ticket #95 (fortify issues with big operators) created by
- Given the following testcase: […] Fortify renders these as follows: …
- 13:42 Changeset [1537] by
- embiggen demo
- 13:34 Changeset [1536] by
- It was too hard to define BIG operators, as Christine's work for JavaOne …
- 13:07 Changeset [1535] by
- Give an idea of how the embiggen function can be used to embiggen an …
- 13:00 Changeset [1534] by
- Editor slip-up added back gratuitous " =" to declaration. Sorry.
- 11:57 Changeset [1533] by
- first cut at j1 demo
- 11:07 Changeset [1532] by
- Documentation changes and privacy marking in extant List libraries. …
04/27/08:
- 14:58 Changeset [1531] by
- Fixes bug in type inference reported by Sorin Miklós Zsejki that was …
04/26/08:
- 19:18 Ticket #94 (error with comprehensions and left enclosers) closed by
- fixed: Revision 1530 fixes spilling Java stack traces in the toString() method of …
- 19:17 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) closed by
- fixed: Revision 1530 fixes spilling Java stack traces in the toString() method of …
- 19:15 Changeset [1530] by
- Do not spill Java stack traces in the toString() method of …
- 16:18 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) reopened by
04/25/08:
- 18:24 Changeset [1529] by
- ** is not a valid Fortress operator any more.
- 14:08 Ticket #94 (error with comprehensions and left enclosers) created by
- The following program: component tst export Executable f(xs: …
- 14:08 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) closed by
- fixed: Multiple colons are not valid operators in Fortress. Revision 1528 fixed …
- 14:08 Changeset [1528] by
- Multiple colons are not valid operators in Fortress. Closed the ticket …
- 13:41 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) created by
- The following program results in a …
- 11:44 Changeset [1527] by
- Actually remove transient fields from the constructed objects.
- 11:12 Ticket #92 (Bad import crashes parser) created by
- Program text: […] Attempting to run this leads to the following error: …
- 10:07 Ticket #89 (Varargs not supported for object constructors) closed by
- fixed: The spec is not correct about varargs parameters of object constructors. …
- 10:04 Changeset [1526] by
- Implemented the transident modifier.
04/24/08:
- 22:03 Changeset [1525] by
- Renamed OperatorParam?, SimpleTypeParam?, and Dimensionparam to OprParam?, …
- 12:37 Changeset [1524] by
- Implemented a hidden-variable-expansion limit in TypeAnalyzer?.
- 11:57 Changeset [1523] by
- Added Disambiguator code to handle static arguments. Currently commented …
04/23/08:
- 15:35 FortressQuestions edited by
- (diff)
- 13:24 Changeset [1522] by
- Eliminated IdArg?.
- 13:01 FortressQuestions edited by
- (diff)
- 09:32 CompilerDesignNotes edited by
- (diff)
- 07:23 Changeset [1521] by
- Fix small escape bug, and implemented template constants
- 07:05 Ticket #86 (Add pointwise definition of = on lists) closed by
- worksforme
04/22/08:
- 15:42 Changeset [1520] by
- Implemented basic function application for type checker.
- 14:29 Changeset [1519] by
- Fixed bug for reserved words in Emacs Fortress mode script.
- 14:26 Changeset [1518] by
- Added ArgType? subtype checking. Started implementing changes to operators …
- 12:29 InterpreterGuide edited by
- (diff)
04/21/08:
- 19:14 Changeset [1517] by
- Some cleanups to Library/Map.fss, fixing a bug in error reporting in …
- 13:01 Ticket #91 (fortify is overzealous in syntax-highlighting comments) created by
- Fortify is overzealous in its syntax highlighting; it highlights, among …
- 08:19 Ticket #90 (Argument fixups are done in two different ways) created by
- We solve two related problems---passing of a single void versus 0 …
- 08:18 Ticket #84 (Map aggregates with one domain element don't work) closed by
- fixed: Fixed in r1516. I observe that we solve two related problems---passing of …
- 08:16 Changeset [1516] by
- Hack fix for function application when the function takes a varargs and …
04/20/08:
- 23:23 Ticket #89 (Varargs not supported for object constructors) created by
- According to the spec, the following syntax should be legal: `component …
- 20:10 Ticket #88 (fortify assumes comments are valid LaTeX) created by
- Given the following source code: […] Running fortify on the above …
- 19:48 Changeset [1515] by
- Fixed interpreting a single application of a chained operator.
- 17:15 Changeset [1514] by
- Fixed a parser error message: incomparable operator precedence.
- 16:01 Changeset [1513] by
- Fixed the parser error: For abstract function declarations (not supported …
- 09:36 Ticket #87 (Fortify breaks for double subscripts) created by
- Feeding Fortify an expression such as f_v[i] results in an …
04/18/08:
- 21:25 Ticket #86 (Add pointwise definition of = on lists) created by
- Right now, it is not the case that two lists are = iff they have = …
- 19:24 Changeset [1512] by
- Some less ambitious (and more correct) error message improvements.
- 15:42 WikiStart edited by
- (diff)
- 15:40 WikiStart edited by
- (diff)
- 14:28 Ticket #85 (Error messages print extraneous information) created by
- Consider the following error message: …
- 14:26 Ticket #84 (Map aggregates with one domain element don't work) created by
- Running the following program: component tst import Map.{...} export …
04/17/08:
- 20:31 FortressStartHere edited by
- (diff)
- 18:38 Changeset [1511] by
- François Retief reported trouble with range indexing, and indeed the tests …
- 17:27 Changeset [1510] by
- Previous commit caused run-time errors to fail in complete and mysterious …
- 12:55 CompilerDesignNotes edited by
- (diff)
- 11:43 CompilerDesignNotes edited by
- (diff)
- 11:37 CompilerDesignNotes edited by
- (diff)
- 10:18 CompilerDesignNotes edited by
- (diff)
- 10:02 CompilerDesignNotes created by
- 09:04 Changeset [1509] by
- Improved various error reporting (especially for RepositoryErrors?).
- 08:28 WikiStart edited by
- (diff)
- 05:10 Changeset [1508] by
- Removed dead zip code (as pointed out by Eric) since the same code, only …
04/16/08:
- 22:15 Ticket #82 (Problem with nested list brackets) closed by
- fixed
- 22:14 Changeset [1507] by
- Fixed a parser error (Ticket #82): multiple arguments to enclosing …
- 14:14 Changeset [1506] by
- Foolishly failed to change *all* occurrences of BufferedWriter? to …
- 14:04 Changeset [1505] by
- Specifying a type parameter in a list comprehension now works correctly …
- 08:28 Changeset [1504] by
- Fixed latent bug in locking-lazy-factory code
- 08:18 WikiStart edited by
- (diff)
- 08:18 WikiStart edited by
- (diff)
- 08:17 WikiStart edited by
- (diff)
- 07:35 Changeset [1503] by
- Fixed bug in case matching of generators.
- 07:21 Changeset [1502] by
- New numerics story required inserting an "asif" in one place.
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 …
Note: See TracTimeline
for information about the timeline view.

