Context Navigation

← Previous Period
Next Period →

Timeline

06/23/09:

20:47 Ticket #212 (Check that juxtaposition rules are respected (is this handled completely ...) closed by sukyoungryu: fixed: Implemented in the Scala type checker.
20:47 StaticChecks edited by sukyoungryu: (diff)
20:44 CompilerTests edited by sukyoungryu: (diff)
20:42 Changeset [3887] by sukyoungryu: [static checker] Fixed a bug handling symmetric exclusion relationship. …
13:50 Changeset [3886] by dr2chase: Added doc for 'fortress junit', added ability to specify time limits in …
11:55 Changeset [3885] by sukyoungryu: [shell] Changed the Scala version to 2.7.5.
10:52 Changeset [3884] by skilpat: Killed some unused scala jars.
07:52 Changeset [3883] by dr2chase: Can now run tests from the command line with 'fortress junit' -- need to …
07:21 Changeset [3882] by dr2chase: Refactoring in tests, adding (not done yet) ability to run a single test …

06/22/09:

14:43 Changeset [3881] by jmaessen: [codegen] Lots of refactoring to the way we generate jvm names for …
14:23 Changeset [3880] by dr2chase: Made overloading codegen a little cleverer about types

06/21/09:

20:33 StaticChecks edited by sukyoungryu: (diff)

06/20/09:

19:48 CompilerTests edited by sukyoungryu: (diff)
19:47 StaticChecks edited by sukyoungryu: (diff)
19:44 Changeset [3879] by sukyoungryu: [static checker] Implemented checking that a naked type variable must not …
03:29 strToFloat edited by haveimooed: additional function for scientific notation (diff)

06/19/09:

22:35 Changeset [3878] by sukyoungryu: [type checker] Fixed type checking blocks. Added tests.
21:12 CompilerTests edited by sukyoungryu: (diff)
20:54 CompilerTests edited by sukyoungryu: (diff)
20:52 Changeset [3877] by sukyoungryu: [type checker] Implemented type checking of local variable declarations. …
20:11 StaticTests edited by sukyoungryu: (diff)
00:14 FortressByExample edited by haveimooed: (diff)
00:14 strToFloat created by haveimooed

06/18/09:

20:21 Changeset [3876] by EricAllen: Added API linker and associated hooks (work in progress). Added some …
19:15 Changeset [3875] by sukyoungryu: [overloading checker] Fixed the implementation of identifying the …
17:25 Changeset [3874] by EricAllen: Fixed build file to clean the cache under every recompilation. Tweaked a …
13:49 Changeset [3873] by dr2chase: Filtering overloads with more precise type to make Scala typechecker work …
13:17 CompilerTests edited by sukyoungryu: (diff)
13:14 Changeset [3872] by sukyoungryu: [compiler tests] Renamed some nyi.Compiled5 tests.

06/17/09:

20:37 CompilerTests edited by sukyoungryu: (diff)
20:36 Changeset [3871] by sukyoungryu: [overloading checker] Implemented identifying the intersection of types …
13:23 Changeset [3870] by jrhil47: [typechecker] Refactored expected types in checkExpr method. Fixed …
12:24 Changeset [3869] by dr2chase: Turned on scala typechecking for compiler; deCamelCased some propery names
10:50 CompilerTests edited by sukyoungryu: (diff)
10:26 Changeset [3868] by sukyoungryu: [overloading checker] Handles self parameters specially when checking for …
07:47 Changeset [3867] by chf: ParallelismAnalyzer?

06/16/09:

20:55 StaticChecks edited by sukyoungryu: (diff)
20:07 CompilerTests edited by sukyoungryu: (diff)
20:06 Changeset [3866] by sukyoungryu: [static checker] Check that singleton objects must not have contracts. …
19:21 Changeset [3865] by sukyoungryu: [static checker] Check that if the comprises clause of trait T includes …
15:25 Changeset [3864] by jrhil47: [scala] Added disambiguate-scala, link-scala, and compile-scala to Shell …
13:42 StaticChecks edited by sukyoungryu: (diff)
13:42 CompilerTests edited by sukyoungryu: (diff)
13:03 Ticket #348 (Implement algebraic static parameters.) created by sukyoungryu
12:03 Changeset [3863] by jrhil47: [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 sukyoungryu: In function parameter declarations: * No two bindings may have the same …
11:23 Changeset [3862] by sukyoungryu: [parser] Provides a clear error message when the caret operator is used as …
10:58 Changeset [3861] by EricAllen: Reverted to Scala 2.7.5.
10:46 Changeset [3860] by sukyoungryu: [parser] Provides a clear error message when ^{is used as a nofix …}
09:49 Changeset [3859] by dr2chase: 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 sukyoungryu
07:31 Changeset [3858] by jmaessen: [codegen] Refactored task startup. An Executable component and the …
07:20 Changeset [3857] by EricAllen: Added infrastructure of a database-backed Fortress repository. Updated the …
06:40 Changeset [3856] by sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
05:29 Changeset [3855] by sukyoungryu: [type checker] Added more type checking of typecase expressions: multiple …

06/15/09:

18:26 Changeset [3854] by sukyoungryu: [type checker] Added type checking of Compiled6, Compiled7, and Compiled8 …
13:53 Changeset [3853] by dr2chase: Updates to community metrics
13:01 Changeset [3852] by chf: alphabetize codegen, ParallelismAnallyzer? isn't working yet.
12:40 Changeset [3851] by jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
10:52 Changeset [3850] by dr2chase: Partial work on using unambiguousnames -- pre-codegen reorg
07:59 Changeset [3849] by dr2chase: Fixed top-level overload naming

06/12/09:

12:56 CompilerTests edited by sukyoungryu: (diff)
12:56 Changeset [3848] by sukyoungryu: [compiler tests] Moved three tests from not_working_static_tests to …
12:33 StaticTests edited by sukyoungryu: (diff)
12:27 Changeset [3847] by jmaessen: [codegen] Pop unused values off the stack, and avoid creating fresh void …
12:22 Changeset [3846] by sukyoungryu: [parser] Reports a NYI message when matrix unpasting is used. Added a …
11:40 StaticChecks edited by sukyoungryu: (diff)
11:00 Changeset [3845] by sukyoungryu: [parser] Implemented the new syntax for compound APIs. Added tests.
10:39 Changeset [3844] by jrhil47: [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 EricAllen: 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 EricAllen: 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 EricAllen: duplicate

06/11/09:

22:29 Changeset [3843] by sukyoungryu: [type checker] Fixed scalaify and javaify to recursively handle the data …
21:16 CompilerTests edited by sukyoungryu: (diff)
21:11 StaticTests edited by sukyoungryu: (diff)
21:01 CompilerTests edited by sukyoungryu: (diff)
20:57 Changeset [3842] by sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
19:21 CompilerTests edited by sukyoungryu: (diff)
19:21 Changeset [3841] by sukyoungryu: [compiler tests] Moved six tests from not_working_static_tests to …
16:31 Changeset [3840] by jrhil47: [Typechecker] Added the return types to some tests because the scala …
13:34 StaticTests edited by sukyoungryu: (diff)
12:56 Changeset [3839] by jrhil47: [Typechecker] Passes Compiled2 tests
12:43 CompilerTests edited by sukyoungryu: (diff)
12:39 Changeset [3838] by sukyoungryu: [copyright] Fixed copyright notices of syntactic abstraction tests.
12:29 Changeset [3837] by sukyoungryu: [compiler tests] Moved five tests from not_working_static_tests to …

06/10/09:

21:24 CompilerTests edited by sukyoungryu: (diff)
21:15 Changeset [3836] by sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
20:37 StaticTests edited by sukyoungryu: (diff)
19:57 StaticTests edited by sukyoungryu: (diff)
19:56 CompilerTests edited by sukyoungryu: (diff)
19:56 Changeset [3835] by sukyoungryu: [type checker] Fixed small things in the Scala type checker. Matched some …
18:11 CompilerTests edited by sukyoungryu: (diff)
18:11 Changeset [3834] by sukyoungryu: [type checker] Fixed small things in the Scala type checker. Moved three …
16:06 Changeset [3833] by jrhil47: [TypeChecker?] Added code to look up methods and check subscript …
15:56 CompilerTests edited by sukyoungryu: (diff)
15:54 Changeset [3832] by sukyoungryu: [tests] Fixed a syntax error in a NYI compiler test.
14:28 CompilerTests edited by sukyoungryu: (diff)
14:21 CompilerTests edited by sukyoungryu: (diff)
11:25 CompilerTests edited by sukyoungryu: (diff)
11:05 Ticket #343 (Invalid Component/API name from its enclosing file name is not rejected.) closed by sukyoungryu: fixed: Implemented in r3831.
11:05 Changeset [3831] by sukyoungryu: [parser] Check that component/API names must consist of valid identifiers …
10:59 CompilerTests edited by sukyoungryu: (diff)
10:53 CompilerTests created by sukyoungryu
07:56 Ticket #343 (Invalid Component/API name from its enclosing file name is not rejected.) created by sukyoungryu
06:43 Changeset [3830] by sukyoungryu: [type checker] Implemented type checking ChainExpr?. Handles subexpression …

06/09/09:

20:30 Changeset [3829] by sukyoungryu: [typechecker] Implemented type checking TupleExpr? (without varargs …
17:28 Changeset [3828] by sukyoungryu: [typechecker] Created ScalaTypeCheckerJUTest. It is not running any tests …
16:08 Changeset [3827] by jrhil47: [Scala TypeChecker?] Added cases for OpExpr? and AmbiguousMultifixOpExpr?, …
13:05 Changeset [3826] by jrhil47: [typechecker] Created test suite for Scala type checking compiler_tests. …
11:37 Changeset [3825] by sukyoungryu: [compiler tests] Added a NYI overloading test.
10:58 StaticChecks edited by sukyoungryu: (diff)
08:39 Changeset [3824] by jrhil47: [scala] Added Scala/Java conversion for Pair types. Changed the name of …
07:43 StaticChecks edited by sukyoungryu: (diff)

06/08/09:

19:55 Changeset [3823] by sukyoungryu: [compiler tests] Renamed NYI files as nyi files.
19:05 Changeset [3822] by sukyoungryu: [parser] Report better error messages when operator names are used as type …
18:23 Changeset [3821] by EricAllen: Added more tests and library code.
16:37 Changeset [3820] by sukyoungryu: [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 sukyoungryu: duplicate: The problem is that in a do block, z := 0 might be a mutable variable …
16:25 Changeset [3819] by sukyoungryu: [compiler tests] Ripped off the component name declaration in the source …
15:21 Changeset [3818] by sukyoungryu: [compiler tests] Fixed Compiled2PreTest.fss and moved it from …
12:52 Changeset [3817] by jrhil47: [Scala TypeChecker?] All failure tests for Compiled0 and Compiled1 now fail …
10:51 Changeset [3816] by jrhil47: [Scala TypeChecker?] Can typecheck Compiled0 and Compiled1

06/07/09:

07:48 Changeset [3815] by sukyoungryu: [compiler tests] Cleaned up some compiler tests. Added some compiler …

06/05/09:

20:14 Changeset [3814] by sukyoungryu: [parser] Provides better syntax error messages for top-level mutable …
18:38 Changeset [3813] by jrhil47: [TypeChecker?] _RewriteFnApp!
18:35 StaticTests created by sukyoungryu
15:06 Ticket #342 (Mutable variable declarations are breaking the static checker) created by EricAllen: 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 EricAllen: I had the impression that this was handled by task "Variable references in …
14:57 Changeset [3812] by EricAllen: Added more tests of local variables.
14:47 Changeset [3811] by EricAllen: Tweaked testing of function calls and local vars.
14:46 Changeset [3810] by EricAllen: Added more testing of function calls and local variables.
14:25 Ticket #340 (Simple dotted methods on singleton objects are not compiling) created by EricAllen: According to the compiler progress page, we should have dotted methods and …
14:17 Changeset [3809] by EricAllen: Added more tests of what should be working.
14:03 Changeset [3808] by EricAllen: Added more tests for basic compiler functionality.
12:59 Changeset [3807] by dr2chase: Added .manager to list of files not included in zipped distribution
12:29 Changeset [3806] by dr2chase: 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 EricAllen: Compiled6.r.fss does not pass type checking. The problem is in the …
09:09 Changeset [3805] by sukyoungryu: [static checker] Check the well-formedness of types before and after type …
08:46 Changeset [3804] by sukyoungryu: [tests] StaticJUTest and TypeInferenceJUTest are banned till they can be …
08:26 Changeset [3803] by EricAllen: Lifted method for checking existence of static parameters into general …
08:26 Changeset [3802] by sukyoungryu: [static tests] Moved static tests to the not_working_static_tests …
07:32 Changeset [3801] by jrhil47: [scala] Continuing implementation of _RewriteFnApp type checking and …

06/04/09:

11:45 Changeset [3800] by jrhil47: [type utilities] Implementing helper methods in Scala for type …
09:24 Changeset [3799] by EricAllen: Added more testing of parametric traits. Added more testing of syntactic …