Timeline
07/09/09:
- 20:27 Changeset [3933] by
- Added fields/parameters to constructors, also attempts to compile getters, …
- 13:56 Changeset [3932] by
- [TypeChecker?] TypeChecker? can now infer return types.
- 12:43 Changeset [3931] by
- [TypeChecker?] Finished code to create thunks.
07/08/09:
- 10:52 Changeset [3930] by
- [type environments] Added thunking to type environments. Still not …
- 08:40 Changeset [3929] by
- [static checker] Removed an instanceof test with a static dispatch.
07/07/09:
- 16:48 Changeset [3928] by
- [type environments] Replaced old type environments with new ones in the …
- 16:09 GenericOverloadingExamples edited by
- (diff)
- 14:42 Changeset [3927] by
- [static checker] Refactored StaticChecker? to eliminate uses of null and …
- 14:35 GenericOverloadingExamples created by
- 11:01 Changeset [3926] by
- Singleton objects
- 10:59 Changeset [3925] by
- [type analyzer] Changed TypeAnalyzer? to use new kind environments rather …
- 06:20 WikiStart edited by
- Adding Vocabulary card - need to attatch pdf (diff)
- 01:55 Changeset [3924] by
- [codegen] Changed the debugging outputs to be printed only with -debug.
07/06/09:
- 14:54 Changeset [3923] by
- [copyright] Fixed the copyright notices in Kento's code.
- 12:43 Changeset [3922] by
- Fixed naming somewhat; can overload on general trait and object types now
- 08:26 Changeset [3921] by
- [type environments] Still rewriting type environments. Fixed the …
- 08:11 Changeset [3920] by
- [copyright] Fixed the copyright checker to handle Kento's code.
07/03/09:
- 00:18 Changeset [3919] by
- GoGs? for 2D arrays (modified)
07/02/09:
- 18:56 Changeset [3918] by
- restored Compiled11.fss
- 18:50 Changeset [3917] by
- GoGs? for 2D arrays.
- 14:57 Changeset [3916] by
- cleanups
- 07:59 Changeset [3915] by
- [index] Changed all Functional indices to store a thunk to get the return …
- 05:12 Changeset [3914] by
- parse descriptors
- 03:50 Ticket #352 (An attachement (plav.html) on ticket 11 is an advertisment for Plavix and ...) created by
07/01/09:
- 20:11 CompilerTests edited by
- (diff)
- 20:10 Changeset [3913] by
- [parser] Fixed preparsing compound operators. Added a test. [spec …
- 16:00 Changeset [3912] by
- First pass at parallel task generation
- 12:33 Changeset [3911] by
- [test harness] Refactored FileTests? more.
- 05:20 Changeset [3910] by
- [demos] Fixed demos/newtictactoe.fss to bail out when an exception occurs.
06/30/09:
- 21:17 CompilerTests edited by
- (diff)
- 21:15 Changeset [3909] by
- [parser] Implemented some simple ASCII conversion. Added a test.
- 13:05 Ticket #351 (ant fails to move one file on a FAT32 disc image) created by
- I have a fortress repository checked out on a CD disc image formatted …
- 13:05 Changeset [3908] by
- Fix minor bug in previous fix (needed to double backslashes)
- 12:41 Changeset [3907] by
- Revised fortify tool to render character literals and // better
- 12:14 WikiStart edited by
- (diff)
- 12:12 New download fortress_3906.zip created by
- (59.3 MB) Additional steps towards compilation, new type checker,
- 11:24 Changeset [3906] by
- [codegen] handle inheritance of multiple traits; codegen of objects with …
- 09:12 Changeset [3905] by
- [static env] Added some more code to new static environments regarding the …
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)
Note: See TracTimeline
for information about the timeline view.
