Timeline
06/29/09:
- 19:17 CompilerTests edited by
- (diff)
- 19:16 StaticChecks edited by
- (diff)
- 19:13 Changeset [3904] by
- [parser] Implemented the static check that if a return type is given in a …
- 18:20 StaticChecks edited by
- (diff)
- 18:20 CompilerTests edited by
- (diff)
- 18:19 Ticket #176 (Check that the object equivalence operator is not overridden (I wish this ...) closed by
- fixed: On 06/11/2009, we agreed to handle this check specially, at least for now. …
- 18:15 Changeset [3903] by
- [parser] Implemented static checks: 1) The object equivalence operator, …
- 14:56 Changeset [3902] by
- [scala] Changed the STypeChecker naming. Added new, Scala-based …
- 14:20 Changeset [3901] by
- Merged old fortify and new fortify into fortify.el
- 11:16 Changeset [3900] by
- New demo newtictactoe.fss. New trait UniqueItem?[\T\] in FortressLibrary
- 09:59 StaticChecks edited by
- (diff)
- 09:57 CompilerTests edited by
- (diff)
- 09:55 Changeset [3899] by
- [parser] Implemented checking that 1) operator declarations not allowed in …
06/26/09:
- 23:21 CompilerTests edited by
- (diff)
- 23:19 Changeset [3898] by
- [tests] Refactored the test harness to handle any Fortress shell commands.
- 21:52 StaticChecks edited by
- (diff)
- 21:34 WikiStart edited by
- (diff)
- 21:30 Changeset [3897] by
- More tweaks to fortick and added an example
- 15:11 Changeset [3896] by
- Added more testing for compound APIs. Fixed export checking so that …
- 11:49 Changeset [3895] by
- Better version of fortick -- somewhat more self-documenting
06/25/09:
- 15:19 Changeset [3894] by
- Implemented compound APIs.
- 13:14 Changeset [3893] by
- [scala] More type checker refactoring. Added impls.Decls and …
- 11:59 Changeset [3892] by
- [scala] More refactoring. Moved helper methods used in some -- but in …
- 10:56 Changeset [3891] by
- [scala] Continued refactoring of scala type checker; any implementation …
- 04:28 Ticket #350 (java-level error from API generator) closed by
- fixed: Fixed in r3890.
- 04:28 Changeset [3890] by
- [api tool] Fixed handling enclosing operators. Closed Ticket #350.
- 04:19 StaticChecks edited by
- (diff)
06/24/09:
- 16:34 Changeset [3889] by
- [ant] Added "testUntil" target that is identical to "test" but halts after …
- 15:22 Ticket #350 (java-level error from API generator) created by
- If I run the API generator on the following code […] then I get the …
- 13:24 Ticket #349 (Implement type coverage and revise the export checker using the type ...) created by
- * A top-level variable declaration declaring a single immutable variable …
- 11:12 Changeset [3888] by
- [codegen] More refactoring. This is a bit of a wash lines-deleted-wise; …
06/23/09:
- 20:47 Ticket #212 (Check that juxtaposition rules are respected (is this handled completely ...) closed by
- fixed: Implemented in the Scala type checker.
- 20:47 StaticChecks edited by
- (diff)
- 20:44 CompilerTests edited by
- (diff)
- 20:42 Changeset [3887] by
- [static checker] Fixed a bug handling symmetric exclusion relationship. …
- 13:50 Changeset [3886] by
- Added doc for 'fortress junit', added ability to specify time limits in …
- 11:55 Changeset [3885] by
- [shell] Changed the Scala version to 2.7.5.
- 10:52 Changeset [3884] by
- Killed some unused scala jars.
- 07:52 Changeset [3883] by
- Can now run tests from the command line with 'fortress junit' -- need to …
- 07:21 Changeset [3882] by
- Refactoring in tests, adding (not done yet) ability to run a single test …
06/22/09:
- 14:43 Changeset [3881] by
- [codegen] Lots of refactoring to the way we generate jvm names for …
- 14:23 Changeset [3880] by
- Made overloading codegen a little cleverer about types
06/21/09:
06/20/09:
- 19:48 CompilerTests edited by
- (diff)
- 19:47 StaticChecks edited by
- (diff)
- 19:44 Changeset [3879] by
- [static checker] Implemented checking that a naked type variable must not …
- 03:29 strToFloat edited by
- additional function for scientific notation (diff)
06/19/09:
- 22:35 Changeset [3878] by
- [type checker] Fixed type checking blocks. Added tests.
- 21:12 CompilerTests edited by
- (diff)
- 20:54 CompilerTests edited by
- (diff)
- 20:52 Changeset [3877] by
- [type checker] Implemented type checking of local variable declarations. …
- 20:11 StaticTests edited by
- (diff)
- 00:14 FortressByExample edited by
- (diff)
- 00:14 strToFloat created by
06/18/09:
- 20:21 Changeset [3876] by
- Added API linker and associated hooks (work in progress). Added some …
- 19:15 Changeset [3875] by
- [overloading checker] Fixed the implementation of identifying the …
- 17:25 Changeset [3874] by
- Fixed build file to clean the cache under every recompilation. Tweaked a …
- 13:49 Changeset [3873] by
- Filtering overloads with more precise type to make Scala typechecker work …
- 13:17 CompilerTests edited by
- (diff)
- 13:14 Changeset [3872] by
- [compiler tests] Renamed some nyi.Compiled5 tests.
06/17/09:
- 20:37 CompilerTests edited by
- (diff)
- 20:36 Changeset [3871] by
- [overloading checker] Implemented identifying the intersection of types …
- 13:23 Changeset [3870] by
- [typechecker] Refactored expected types in checkExpr method. Fixed …
- 12:24 Changeset [3869] by
- Turned on scala typechecking for compiler; deCamelCased some propery names
- 10:50 CompilerTests edited by
- (diff)
- 10:26 Changeset [3868] by
- [overloading checker] Handles self parameters specially when checking for …
- 07:47 Changeset [3867] by
- ParallelismAnalyzer?
06/16/09:
- 20:55 StaticChecks edited by
- (diff)
- 20:07 CompilerTests edited by
- (diff)
- 20:06 Changeset [3866] by
- [static checker] Check that singleton objects must not have contracts. …
- 19:21 Changeset [3865] by
- [static checker] Check that if the comprises clause of trait T includes …
- 15:25 Changeset [3864] by
- [scala] Added disambiguate-scala, link-scala, and compile-scala to Shell …
- 13:42 StaticChecks edited by
- (diff)
- 13:42 CompilerTests edited by
- (diff)
- 13:03 Ticket #348 (Implement algebraic static parameters.) created by
- 12:03 Changeset [3863] by
- [typechecker] Cleaned up some of the Typecase code; changed an error …
- 11:34 Ticket #347 (Tuple expressions/types and function parameters with varargs and/or ...) created by
- In function parameter declarations: * No two bindings may have the same …
- 11:23 Changeset [3862] by
- [parser] Provides a clear error message when the caret operator is used as …
- 10:58 Changeset [3861] by
- Reverted to Scala 2.7.5.
- 10:46 Changeset [3860] by
- [parser] Provides a clear error message when is used as a nofix …
- 09:49 Changeset [3859] by
- Candidate glue code that will allow us to turn on the Scala overload …
- 08:13 Ticket #346 (Check that any functional that performs an I/O action must be declared ...) created by
- 07:31 Changeset [3858] by
- [codegen] Refactored task startup. An Executable component and the …
- 07:20 Changeset [3857] by
- Added infrastructure of a database-backed Fortress repository. Updated the …
- 06:40 Changeset [3856] by
- [type checker] Added more tests for type checking typecase expressions.
- 05:29 Changeset [3855] by
- [type checker] Added more type checking of typecase expressions: multiple …
06/15/09:
- 18:26 Changeset [3854] by
- [type checker] Added type checking of Compiled6, Compiled7, and Compiled8 …
- 13:53 Changeset [3853] by
- Updates to community metrics
- 13:01 Changeset [3852] by
- alphabetize codegen, ParallelismAnallyzer? isn't working yet.
- 12:40 Changeset [3851] by
- [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
- 10:52 Changeset [3850] by
- Partial work on using unambiguousnames -- pre-codegen reorg
- 07:59 Changeset [3849] by
- Fixed top-level overload naming
06/12/09:
- 12:56 CompilerTests edited by
- (diff)
- 12:56 Changeset [3848] by
- [compiler tests] Moved three tests from not_working_static_tests to …
- 12:33 StaticTests edited by
- (diff)
- 12:27 Changeset [3847] by
- [codegen] Pop unused values off the stack, and avoid creating fresh void …
- 12:22 Changeset [3846] by
- [parser] Reports a NYI message when matrix unpasting is used. Added a …
- 11:40 StaticChecks edited by
- (diff)
- 11:00 Changeset [3845] by
- [parser] Implemented the new syntax for compound APIs. Added tests.
- 10:39 Changeset [3844] by
- [TypeChecker?] We can do Compiled3-Compiled5!!!! We also removed the static …
- 09:00 Ticket #345 (Turn implicit exports related to compound APIs into explicit exports) created by
- If a compound API A consists of APIs A1,...,An, and a component C exports …
- 08:58 Ticket #344 (Check that compound APIs are well formed) created by
- The collection of all declarations from the APIs in the comprises clause …
- 08:55 Ticket #197 (Check that declared components do not clash with the names of existing ...) closed by
- duplicate
06/11/09:
- 22:29 Changeset [3843] by
- [type checker] Fixed scalaify and javaify to recursively handle the data …
- 21:16 CompilerTests edited by
- (diff)
- 21:11 StaticTests edited by
- (diff)
- 21:01 CompilerTests edited by
- (diff)
- 20:57 Changeset [3842] by
- [type checker] Actually run the added tests in r3841. Added the return …
- 19:21 CompilerTests edited by
- (diff)
- 19:21 Changeset [3841] by
- [compiler tests] Moved six tests from not_working_static_tests to …
- 16:31 Changeset [3840] by
- [Typechecker] Added the return types to some tests because the scala …
- 13:34 StaticTests edited by
- (diff)
- 12:56 Changeset [3839] by
- [Typechecker] Passes Compiled2 tests
- 12:43 CompilerTests edited by
- (diff)
- 12:39 Changeset [3838] by
- [copyright] Fixed copyright notices of syntactic abstraction tests.
- 12:29 Changeset [3837] by
- [compiler tests] Moved five tests from not_working_static_tests to …
06/10/09:
- 21:24 CompilerTests edited by
- (diff)
- 21:15 Changeset [3836] by
- [type checker] Moved all XXX tests in not_working_static_tests to …
- 20:37 StaticTests edited by
- (diff)
- 19:57 StaticTests edited by
- (diff)
- 19:56 CompilerTests edited by
- (diff)
- 19:56 Changeset [3835] by
- [type checker] Fixed small things in the Scala type checker. Matched some …
- 18:11 CompilerTests edited by
- (diff)
- 18:11 Changeset [3834] by
- [type checker] Fixed small things in the Scala type checker. Moved three …
- 16:06 Changeset [3833] by
- [TypeChecker?] Added code to look up methods and check subscript …
- 15:56 CompilerTests edited by
- (diff)
- 15:54 Changeset [3832] by
- [tests] Fixed a syntax error in a NYI compiler test.
- 14:28 CompilerTests edited by
- (diff)
- 14:21 CompilerTests edited by
- (diff)
- 11:25 CompilerTests edited by
- (diff)
- 11:05 Ticket #343 (Invalid Component/API name from its enclosing file name is not rejected.) closed by
- fixed: Implemented in r3831.
- 11:05 Changeset [3831] by
- [parser] Check that component/API names must consist of valid identifiers …
- 10:59 CompilerTests edited by
- (diff)
- 10:53 CompilerTests created by
- 07:56 Ticket #343 (Invalid Component/API name from its enclosing file name is not rejected.) created by
- 06:43 Changeset [3830] by
- [type checker] Implemented type checking ChainExpr?. Handles subexpression …
06/09/09:
- 20:30 Changeset [3829] by
- [typechecker] Implemented type checking TupleExpr? (without varargs …
- 17:28 Changeset [3828] by
- [typechecker] Created ScalaTypeCheckerJUTest. It is not running any tests …
- 16:08 Changeset [3827] by
- [Scala TypeChecker?] Added cases for OpExpr? and AmbiguousMultifixOpExpr?, …
- 13:05 Changeset [3826] by
- [typechecker] Created test suite for Scala type checking compiler_tests. …
- 11:37 Changeset [3825] by
- [compiler tests] Added a NYI overloading test.
- 10:58 StaticChecks edited by
- (diff)
- 08:39 Changeset [3824] by
- [scala] Added Scala/Java conversion for Pair types. Changed the name of …
- 07:43 StaticChecks edited by
- (diff)
06/08/09:
- 19:55 Changeset [3823] by
- [compiler tests] Renamed NYI files as nyi files.
- 19:05 Changeset [3822] by
- [parser] Report better error messages when operator names are used as type …
- 18:23 Changeset [3821] by
- Added more tests and library code.
- 16:37 Changeset [3820] by
- [compiler tests] Moved NYI.Compiled5.j.fss from compiler_tests to …
- 16:27 Ticket #342 (Mutable variable declarations are breaking the static checker) closed by
- duplicate: The problem is that in a do block, z := 0 might be a mutable variable …
- 16:25 Changeset [3819] by
- [compiler tests] Ripped off the component name declaration in the source …
- 15:21 Changeset [3818] by
- [compiler tests] Fixed Compiled2PreTest.fss and moved it from …
- 12:52 Changeset [3817] by
- [Scala TypeChecker?] All failure tests for Compiled0 and Compiled1 now fail …
- 10:51 Changeset [3816] by
- [Scala TypeChecker?] Can typecheck Compiled0 and Compiled1
06/07/09:
- 07:48 Changeset [3815] by
- [compiler tests] Cleaned up some compiler tests. Added some compiler …
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:
Note: See TracTimeline
for information about the timeline view.
