root/trunk/ProjectFortress/third_party/plt

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @4060 [4060] 3 months jrhil47 [type checker] Fixed bug in environments. Fixed nyi.Compiled6.u.fss and …
(edit) @3493 [3493] 9 months dlsmith Updated plt.jar.
(edit) @2112 [2112] 17 months dlsmith Updated plt.jar, which includes some name changes. Notably, …
(edit) @1687 [1687] 18 months dlsmith Updated plt.jar.
(edit) @1592 [1592] 19 months dlsmith Updated plt.jar, and refactored use of Option.unwrap to follow the updated …
(edit) @1524 [1524] 19 months dlsmith Implemented a hidden-variable-expansion limit in TypeAnalyzer?.
(edit) @1425 [1425] 20 months dlsmith Bug fix for TypeAnalyzer? code: substitution on ConstraintFormulas? had a …
(edit) @1302 [1302] 22 months dlsmith Standardized representation of intersections/unions. Migrated type …
(edit) @1298 [1298] 22 months dlsmith Implemented a simplified subtyping algorithm in TypeAnalyzer?. Commented …
(edit) @1276 [1276] 22 months dlsmith Bug fixes for subtyping. Updated plt.jar. Added subtyping tests.
(edit) @890 [890] 2 years dlsmith Updated name-resolution algorithm to use a maximal-munch API name …
(edit) @724 [724] 2 years dlsmith Updated ASTGen to support recurring on Options.
(edit) @720 [720] 2 years dlsmith Migrated uses of com.sun.fortress.useful.Option to …
(edit) @709 [709] 2 years dlsmith Implemented the VarRef? case in DisambiguationVisitor?. Updated ASTGen and …
(edit) @653 [653] 2 years dlsmith Fixed code that was producing a FileReader? via …
(edit) @646 [646] 2 years dlsmith Added compiler classes, including symbol table indexing classes. Updated …
(edit) @621 [621] 2 years dlsmith Removed _RewriteObjectExpr from the AbsDeclOrDecl? hierarchy (it now …
(edit) @592 [592] 2 years dlsmith Updated plt.jar with some Map/Set classes.
(edit) @582 [582] 2 years dlsmith Updated plt.jar and astgen.jar. ASTGen now supports default parameters.
(add) @566 [566] 2 years dlsmith Added plt.jar and astgen.jar to the third_party directory; added plt.jar …
Note: See TracRevisionLog for help on using the revision log.