Timeline
06/05/09:
- 20:14 Changeset [3814] by
- [parser] Provides better syntax error messages for top-level mutable …
- 18:38 Changeset [3813] by
- [TypeChecker?] _RewriteFnApp!
- 18:35 StaticTests created by
- 15:06 Ticket #342 (Mutable variable declarations are breaking the static checker) created by
- In NYI.Compiled5.j.fss, declarations of mutable local variables cause the …
- 15:03 Ticket #341 (Local variables seem to conflict with printing) created by
- I had the impression that this was handled by task "Variable references in …
- 14:57 Changeset [3812] by
- Added more tests of local variables.
- 14:47 Changeset [3811] by
- Tweaked testing of function calls and local vars.
- 14:46 Changeset [3810] by
- Added more testing of function calls and local variables.
- 14:25 Ticket #340 (Simple dotted methods on singleton objects are not compiling) created by
- According to the compiler progress page, we should have dotted methods and …
- 14:17 Changeset [3809] by
- Added more tests of what should be working.
- 14:03 Changeset [3808] by
- Added more tests for basic compiler functionality.
- 12:59 Changeset [3807] by
- Added .manager to list of files not included in zipped distribution
- 12:29 Changeset [3806] by
- Looking into issues of factorial-of-zz64 raised at hands-on-lab; new demo …
- 09:37 Ticket #339 (Substitution not performed on invoked method return types) created by
- Compiled6.r.fss does not pass type checking. The problem is in the …
- 09:09 Changeset [3805] by
- [static checker] Check the well-formedness of types before and after type …
- 08:46 Changeset [3804] by
- [tests] StaticJUTest and TypeInferenceJUTest are banned till they can be …
- 08:26 Changeset [3803] by
- Lifted method for checking existence of static parameters into general …
- 08:26 Changeset [3802] by
- [static tests] Moved static tests to the not_working_static_tests …
- 07:32 Changeset [3801] by
- [scala] Continuing implementation of _RewriteFnApp type checking and …
06/04/09:
- 11:45 Changeset [3800] by
- [type utilities] Implementing helper methods in Scala for type …
- 09:24 Changeset [3799] by
- Added more testing of parametric traits. Added more testing of syntactic …
06/03/09:
- 16:47 Eclipse edited by
- (diff)
- 13:22 Changeset [3798] by
- Minor tweaks to fix hands-on-lab glitches
- 12:33 Changeset [3797] by
- [Typechecker] Moved around many utility methods for Scala. Added a Scala …
- 12:29 Ticket #192 (Check that types are well-formed) closed by
- fixed: Implemented in r3796.
- 12:28 Changeset [3796] by
- [static checker] Implemented type well-formedness check. Finished …
- 09:13 FortressCommentSyntax edited by
- (diff)
- 09:06 FortressCommentSyntax edited by
- (diff)
- 08:54 FortressCommentSyntax edited by
- (diff)
- 08:50 FortressCommentSyntax edited by
- (diff)
- 08:49 FortressCommentSyntax edited by
- (diff)
- 08:30 FortressCommentSyntax edited by
- (diff)
- 08:22 FortressCommentSyntax edited by
- (diff)
- 08:17 FortressCommentSyntax edited by
- (diff)
- 08:17 FortressCommentSyntax edited by
- (diff)
- 08:14 FortressCommentSyntax edited by
- (diff)
- 08:12 FortressCommentSyntax edited by
- (diff)
- 07:34 FortressCommentSyntax edited by
- (diff)
- 07:24 FortressCommentSyntax edited by
- (diff)
06/02/09:
- 18:54 ComprehendingComprehensions edited by
- More Experimenting with descriptive prose in block comments (diff)
- 15:44 ComprehendingComprehensions edited by
- block comment fun (diff)
- 15:28 StaticChecks edited by
- (diff)
- 15:25 Ticket #190 (Check that variables have appropriate types and dimensions) closed by
- duplicate: Duplicate with Tickets #187 and #188.
- 15:17 StaticChecks edited by
- (diff)
- 15:14 Ticket #168 (Check that type hierarchy is acyclic (including coercions)) closed by
- fixed: Implemented in r3795.
- 14:56 FortressCommentSyntax edited by
- (diff)
- 14:56 Changeset [3795] by
- [static checker] Implemented checking that type hierarchy is acyclic …
- 14:52 FortressByExample edited by
- (diff)
- 14:51 FortressByExample edited by
- (diff)
- 14:37 FortressCommentSyntax edited by
- (diff)
- 14:33 FortressCommentSyntax edited by
- (diff)
- 14:31 FortressCommentSyntax edited by
- (diff)
- 14:15 FortressCommentSyntax edited by
- (diff)
- 14:11 FortressCommentSyntax edited by
- (diff)
- 14:09 FortressCommentSyntax edited by
- (diff)
- 14:07 FortressCommentSyntax edited by
- (diff)
- 14:05 FortressCommentSyntax edited by
- (diff)
- 14:03 FortressCommentSyntax edited by
- (diff)
- 14:00 FortressCommentSyntax edited by
- (diff)
- 13:58 FortressCommentSyntax edited by
- (diff)
- 13:58 FortressCommentSyntax edited by
- (diff)
- 13:56 FortressCommentSyntax edited by
- (diff)
- 13:52 StaticChecks edited by
- (diff)
- 13:50 Changeset [3794] by
- [static checker] Factored out the coercion oracle from the type checkers.
- 13:48 FortressCommentSyntax edited by
- (diff)
- 13:47 FortressCommentSyntax created by
- 13:42 ComprehendingComprehensions edited by
- experimenting with block comments (diff)
- 13:35 ComprehendingComprehensions edited by
- get nicely rendered block comments by using (**** and ****) (diff)
- 13:33 ViscoElastic edited by
- (diff)
- 12:37 Changeset [3793] by
- [Disambiguator] Disambiguate new overloadings for scala typechecker. [Ant] …
- 11:46 FileReadWrite edited by
- (diff)
- 11:46 FileReadWrite edited by
- (diff)
- 11:31 FileReadWrite edited by
- (diff)
- 10:51 FileReadWrite edited by
- (diff)
- 10:47 FileReadWrite edited by
- (diff)
- 09:49 Changeset [3792] by
- [AST] Added "Overloading" to AST. This represents functional overloadings …
- 09:36 TicTacToe edited by
- (diff)
- 09:15 TicTacToe edited by
- (diff)
- 09:14 TicTacToe edited by
- (diff)
- 09:13 TicTacToe edited by
- (diff)
- 09:11 Changeset [3791] by
- [refactoring] Moved the syntactic abstraction files to the …
- 08:48 TicTacToe edited by
- (diff)
- 08:48 TicTacToe edited by
- (diff)
- 04:54 Changeset [3790] by
- [copyright] Fixed copyright notices.
06/01/09:
- 20:11 Ticket #169 (Check that no coercion is from a subtype to a supertype) closed by
- fixed: Implemented in r3789.
- 20:10 StaticChecks edited by
- (diff)
- 20:08 Changeset [3789] by
- [static checker] Implemented some static checks for the coercion …
- 14:46 Changeset [3788] by
- [Disambiguator] Made the disambiguator and all of its environments work …
- 14:43 Changeset [3787] by
- 12:08 WikiStart edited by
- (diff)
05/31/09:
- 20:08 StaticChecks edited by
- (diff)
- 20:07 Ticket #175 (Check that all inherited abstract methods in object definitions are ...) closed by
- fixed: Implemented in r3786.
- 20:06 Changeset [3786] by
- [static checker] Implemented checking that all inherited abstract methods …
- 07:00 StaticChecks edited by
- (diff)
- 06:59 StaticChecks edited by
- (diff)
- 06:57 Ticket #239 (Check that getters and setter names don't overlap with dotted method ...) closed by
- fixed: Implemented in r3784 and r3785.
- 06:56 Changeset [3785] by
- [static checker] Implemented checking that getter/setter declarations …
- 06:27 Changeset [3784] by
- [static checker] Implemented checking that getters and setters should not …
- 04:41 Changeset [3783] by
- [static checker] Implemented static overloading checking of dotted method …
05/30/09:
05/29/09:
- 15:01 Changeset [3782] by
- Changed the AST so that unambiguous names inside FnDecls? are IdOrOp? rather …
- 13:37 Changeset [3781] by
- Updated testText with new path and option
- 13:21 Changeset [3780] by
- Added ability to specify the test; fixed paths
- 12:17 FssSample edited by
- (diff)
- 11:56 ComprehendingComprehensions edited by
- corrected a typo --- can't believe this one lasted this long! (diff)
- 10:33 ComprehendingComprehensions edited by
- (diff)
- 10:28 ComprehendingComprehensions edited by
- (diff)
- 10:27 ComprehendingComprehensions edited by
- (diff)
- 09:12 FssSample edited by
- (diff)
- 08:07 FortressQuestions edited by
- (diff)
- 07:38 Changeset [3779] by
- Reversals of generators, together with more controversial code for …
- 07:36 Changeset [3778] by
- [copyright notice] Ignore spec data files for the copyright check. Fixed …
- 07:04 ComprehendingComprehensions edited by
- ascii alignment in the definition of Wikipedia100 (diff)
- 06:28 FortressQuestions edited by
- (diff)
- 06:26 FortressQuestions edited by
- (diff)
- 06:25 FortressQuestions edited by
- Typo (diff)
- 06:25 FortressQuestions edited by
- Added question about SIMD (diff)
05/28/09:
- 16:13 Changeset [3777] by
- small cleanup
- 14:57 ComprehendingComprehensions edited by
- (diff)
- 13:37 Changeset [3776] by
- Any types might work a little better now (see …
- 13:21 FssSample edited by
- (diff)
- 13:12 FssSample edited by
- (diff)
- 12:38 ArrayListVsCovColl edited by
- (diff)
- 12:37 FssSample edited by
- (diff)
- 12:37 FssSample edited by
- (diff)
- 12:30 FssSample edited by
- (diff)
- 11:43 FssSample edited by
- (diff)
- 11:43 ArrayListVsCovColl edited by
- (diff)
- 11:43 FssSample edited by
- (diff)
- 11:42 ArrayListVsCovColl edited by
- (diff)
- 11:26 Changeset [3775] by
- [syntax] Implemented the new syntax: 'as' in type ascription is replaced …
- 11:22 FssSample edited by
- (diff)
- 11:06 FssSample edited by
- (diff)
- 10:55 FssSample edited by
- (diff)
- 08:32 Changeset [3774] by
- Added explanatory comments to some of the compilation goals
- 08:09 FssSample edited by
- (diff)
- 08:06 FssSample edited by
- (diff)
05/27/09:
- 20:09 StaticChecks edited by
- (diff)
- 18:23 AnySizeArrays edited by
- (diff)
- 18:23 Changeset [3773] by
- Setup Workstealing framework, base task, and primordial task
- 15:26 Changeset [3772] by
- Added some testing on recursive algebraic datatypes.
- 14:39 Changeset [3771] by
- Added test files for handling type Any. Added test file to Compiled5 …
- 14:23 ComprehendingComprehensions edited by
- (diff)
- 14:22 ComprehendingComprehensions edited by
- (diff)
- 13:46 Changeset [3770] by
- Check that dotted component names compile, can run.
- 13:40 IntegerSquareRoot edited by
- (diff)
- 13:29 Changeset [3769] by
- Additional refactoring of naming; should do better with classes and …
- 13:17 FssSample edited by
- (diff)
- 13:03 Changeset [3768] by
- New Fortify tool
- 12:59 Changeset [3767] by
- Refactoring cleanup of overloading; some naming refactoring
- 12:31 StaticChecks edited by
- (diff)
- 12:30 Ticket #338 (The parameter type of a setter must be the same as the return type of a ...) closed by
- fixed: Implemented in r3766.
- 12:30 Changeset [3766] by
- [static checker] Implemented checking that the parameter type of a setter …
- 09:11 Changeset [3765] by
- Steps to make ASM verifier happy; note temporary use of customized method …
- 09:10 StaticChecks edited by
- (diff)
05/26/09:
- 14:18 Changeset [3764] by
- Mixed overloading working; some refactoring and cleanup in the naming …
- 12:26 Changeset [3763] by
- [Typechecker] Cleaned up some code
- 08:16 StaticChecks edited by
- (diff)
- 08:14 Ticket #238 (Getters should have no arguments, setters must return void.) closed by
- fixed: "Getters should have no arguments": Checked by the SyntaxChecker?. …
- 08:14 Ticket #338 (The parameter type of a setter must be the same as the return type of a ...) created by
- The parameter type of a setter must be the same as the return type of a …
- 08:12 Ticket #337 (For "value" objects and traits, setters return a new instance of the ...) created by
- For "value" objects and traits, setters return a new instance of the …
- 08:09 StaticChecks edited by
- (diff)
- 08:06 Changeset [3762] by
- [static checker] Implemented checking that setter declarations must return …
- 06:34 Changeset [3761] by
- [type checker] Implemented type checking TraitDecl?, ObjectDecl?, …
05/23/09:
- 17:00 Changeset [3760] by
- [disambiguator] Checking imports of grammar names too. [type checker] …
05/22/09:
- 14:46 StaticChecks edited by
- (diff)
- 14:45 Ticket #244 (Check that there is at most one on-demand import statement from a single ...) closed by
- fixed: Implemented in r3759.
- 14:45 Ticket #243 (Check that no two import statements are identical.) closed by
- fixed: Implemented in r3759.
- 14:30 Changeset [3759] by
- [syntax checker] Implemented checking that 1) no two import statements …
- 13:53 Changeset [3758] by
- Small fixes to disambiguator's treatment of qualified names, steps towards …
- 13:20 StaticChecks edited by
- (diff)
- 12:57 Ticket #236 (Obscure errors when abstract override is missing) closed by
- fixed: Answer: AbstractDef?.fss is required to provide an abstract definition for …
- 12:54 Changeset [3757] by
- [export checker] Improved the error message format from the export …
- 11:34 Ticket #131 (Disambiguation - No error is signaled on explicit import of nonexisting ...) closed by
- fixed: Implemented in r3756.
- 11:34 Changeset [3756] by
- [disambiguator] Implemented checking whether imported names are indeed …
- 10:27 Ticket #151 (XXXextendsZZ32 no longer fails) closed by
- fixed: Implemented by the TypeHierarchyChecker?. The test file was moved to …
- 10:26 Changeset [3755] by
- [compiler tests] Moved not_passing_yet/XXXextendZZ32.fss to …
- 08:23 StaticChecks edited by
- (diff)
- 08:22 Ticket #177 (Check that all hidden field declarations are settable) closed by
- fixed: Implemented in r3754.
- 08:21 Changeset [3754] by
- [syntax checker] Implemented checking that all hidden field declarations …
- 07:44 StaticChecks edited by
- (diff)
- 07:41 StaticChecks edited by
- (diff)
- 07:41 Ticket #172 (Check that all types in exported APIs are defined by non-private ...) closed by
- fixed: Implemented by the ExportChecker?.
- 07:39 Ticket #174 (Check that all functions and top-level variables in exported APIs are ...) closed by
- fixed: Implemented by the ExportChecker?.
- 07:37 StaticChecks edited by
- (diff)
- 07:33 Ticket #184 (Check that all variables are definitely assigned to before use) closed by
- duplicate: Duplicated with #262.
- 07:32 Ticket #122 (Uninitialized Variable Error misleading) closed by
- duplicate: Duplicated with #262.
- 07:20 Ticket #183 (Check that all references to names are in scope (much of this is handled ...) closed by
- fixed: Checked by the Disambiguator.
- 07:20 Ticket #182 (Check that no two explicit declarations with overlapping reaches declare ...) closed by
- fixed: Checked by the Disambiguator.
- 07:19 Ticket #181 (Check that variables (static and dynamic) are not shadowed) closed by
- fixed: Checked by the Disambiguator.
- 07:13 Ticket #191 (Check that ransient fields are not referred to in method bodies (or did we ...) closed by
- fixed: We eliminated transient fields.
05/21/09:
- 17:12 Changeset [3753] by
- Added FORTRESS_BYTECODE_VERIFY as an environment variable. Set it to true …
- 11:41 Changeset [3752] by
- Split repositories in two; ObjectExpresssionVisitorJUTest temporarily …
- 07:42 Ticket #205 (Renamed import is resolved to wrong name) closed by
- fixed: Fixed in r3744. FYI, the test file …
- 06:28 Changeset [3751] by
- [compiler libs] Added explicit import of AnyType.{Any} to …
05/20/09:
- 13:58 Changeset [3750] by
- [codegen] Partial refactoring of CodeGen?. A bunch of naming cleanup; …
- 12:35 TypeCheckerProgress edited by
- (diff)
- 12:32 Changeset [3749] by
- [type checker] Implemented type checking of VarRef?.
- 11:35 TypeCheckerProgress edited by
- (diff)
- 10:44 Changeset [3748] by
- [type checker] Implemented type checking of If, While, For, …
05/19/09:
- 12:30 Changeset [3747] by
- [type checker] Partial implementation of type checking SubscriptExpr?. …
- 11:20 Changeset [3746] by
- [disambiguator] Disambiguates the renamed imports and top-level …
- 06:51 Changeset [3745] by
- [disambiguator] Importing aliases: handles type names too.
05/18/09:
- 22:17 Changeset [3744] by
- [disambiguator] Fixed importing aliasing in the disambiguator.
- 09:10 TypeCheckerProgress edited by
- (diff)
05/16/09:
- 03:22 ComprehendingComprehensions edited by
- replaced maxx by x to see how that looks (diff)
05/15/09:
- 12:34 Changeset [3743] by
- Preliminary work on mixed overloading
- 11:57 ComprehendingComprehensions edited by
- max -> maxx to get better rendering (diff)
- 11:45 Changeset [3742] by
- [astgen / ast I/O] Missed adds in previous commit.
- 11:12 Changeset [3741] by
- [astgen, ast I/O] Upgrade to latest cvs version of astgen. Major updates …
- 08:48 TypeCheckerProgress edited by
- (diff)
- 08:44 Changeset [3740] by
- [type checker] Removed the field to add the inferred type of an Id / Op …
05/14/09:
- 20:08 TypeCheckerProgress edited by
- (diff)
- 20:06 TypeCheckerProgress edited by
- (diff)
- 20:00 Changeset [3739] by
- [type checker] Implemented Do. Added a field to add the inferred type of …
- 19:04 TypeCheckerProgress edited by
- (diff)
- 18:28 Changeset [3738] by
- [compiler test] Improved error messages for using keywords as identifiers. …
- 09:42 Changeset [3737] by
- [compiler test] Improved error messages for typecase expressions without …
- 08:05 Changeset [3736] by
- [compiler tests] Added malformed compiler tests. Not yet working.
- 06:46 Changeset [3735] by
- [compiler tests] Fixed syntax errors in the newly added tests. [type …
05/13/09:
- 19:50 Changeset [3734] by
- [type checker] Implemented tight juxtaposition and MathPrimary?.
- 17:54 Changeset [3733] by
- line numbers
- 13:55 Changeset [3732] by
- [useful] Side project: ternary-trie based String Maps (TrieMap?). Work as …
- 13:52 Changeset [3731] by
- [demos] log-time fib function using integer arithmetic, just to prove …
- 13:45 Changeset [3730] by
- [libraries for native code] Pending library tweaks that are cluttering up …
- 12:41 Changeset [3729] by
- Added CompiledXX targets 6-18.
- 11:08 Changeset [3728] by
- Fixing a type error in FortressLibrary.fss
05/11/09:
- 22:23 Changeset [3727] by
- [type checker] Implemented missing cases for loose juxtaposition and …
- 14:10 Changeset [3726] by
- Added hooks to CoercionOracleFactory? to the type checker. Added test …
- 13:44 Changeset [3725] by
- More overloading work; ZZ64 constants now work right
- 12:34 Changeset [3724] by
- [type checker] Implemented missing cases for Id.
- 12:23 Changeset [3723] by
- Fixed typo in the name of Component5.
- 11:23 Changeset [3722] by
- Overloads of diff number of parameters now supported
- 11:08 Changeset [3721] by
- [type checker] Implemented Spawn, AtomicExpr?, and missing cases for Block. …
- 09:45 PressList edited by
- update and tweaks (diff)
- 08:41 Changeset [3720] by
- Some local overloading done, not all
- 06:21 Changeset [3719] by
- [type checker] Implemented a mechanism to add inferred types to …
05/09/09:
05/08/09:
- 19:54 Changeset [3718] by
- Discovered inconsistency in overload resolution and type inference; see …
- 09:20 Changeset [3717] by
- [type checker] Moved Scala code to the scala_src directory.
- 08:00 Changeset [3716] by
- [syntax] Fixed the broken nightly build: Fixed type name conflicts in the …
- 05:29 ComprehendingComprehensions edited by
- worked around another formatting bug in renderer by replacing "||" with … (diff)
05/07/09:
- 19:58 Changeset [3715] by
- [export checker] Improved error messages. Added a test.
- 14:56 Changeset [3714] by
- Finished coercion oracle and coercion oracle factory.
- 13:20 AnySizeArrays edited by
- (diff)
- 13:18 StringRestructuring edited by
- (diff)
- 13:15 FeatherweightJava edited by
- (diff)
- 13:12 ConvertingToString edited by
- (diff)
- 13:10 BuffonsNeedle edited by
- (diff)
- 13:08 ArrayIndices edited by
- (diff)
- 13:05 AdditionalInterpreterEnvironmentIssues edited by
- (diff)
- 13:04 Fibonacci edited by
- (diff)
- 13:01 FileReadWrite edited by
- (diff)
- 12:59 FortressLanguageSpecificationErrata edited by
- (diff)
- 12:57 FortressStartHere edited by
- (diff)
- 12:56 GoG edited by
- (diff)
- 12:51 NativeInterfaceCodeGeneration edited by
- (diff)
- 12:50 NativeInterfaceExampleWrappedClass edited by
- (diff)
- 12:49 OptionTypeConventions edited by
- (diff)
- 12:47 ProjectStatus edited by
- (diff)
- 12:41 UnhappyCompendium edited by
- (diff)
- 12:32 Changeset [3713] by
- [Static End] Added and disambiguated self types.
- 12:30 UseAGenerator edited by
- (diff)
- 12:27 TicTacToe edited by
- (diff)
- 11:41 TypeAndLibraryIssues edited by
- (diff)
- 11:41 TypeVariableMatching edited by
- (diff)
- 11:14 UseAGenerator edited by
- (diff)
- 10:29 MITTutorialApril2009 edited by
- (diff)
- 10:28 WikiStart edited by
- (diff)
- 10:05 ComprehendingComprehensions edited by
- worked around a formatting bug in renderer by replacing "|" with "| " at … (diff)
- 07:47 ComprehendingComprehensions edited by
- use the new #!fss command to render the code (thanks Gary!) (diff)
- 07:44 ViscoElastic edited by
- (diff)
- 07:41 ViscoElastic edited by
- Use built-in fortress formatter (diff)
05/06/09:
- 15:16 Changeset [3712] by
- Eliminated some accidental absolute paths.
- 14:44 Changeset [3711] by
- Added a "fortress build" command. Made minor tweaks to the README.
- 14:22 Changeset [3710] by
- Added an explicit Compiled5 target for record keeping.
- 13:36 Changeset [3709] by
- Added a test for Compiled3. Added Compiled4 (factorial), tests, and …
- 11:42 Changeset [3708] by
- Fixed problem with incomplete set of APIs fed to code generator
- 10:08 Changeset [3707] by
- [Compiled3] Changed println to printlnZZ32. [cleanup] Removed printing …
- 09:49 Changeset [3706] by
- Added a parseInt function to the libraries.
- 09:01 Changeset [3705] by
- Simple If Statements.
Note: See TracTimeline
for information about the timeline view.
