Timeline


and .

04/17/09:

13:08 Changeset [3655] by dr2chase
Enhanced top-level build.xml to run the whole show; ProjectFortress?
12:14 Changeset [3654] by dr2chase
Replaced . with - in name of scala library
11:04 Changeset [3653] by dr2chase
Compiled2 test passes; also replaced some occurrences of java.lang.Object …
10:40 Eclipse edited by dr2chase
(diff)
09:22 Changeset [3652] by sukyoungryu
[library] Done fixing comprises clauses in libraries.
08:43 Changeset [3651] by sukyoungryu
[library] Fixed comprises clauses in libraries.

04/16/09:

22:44 Changeset [3650] by sukyoungryu
[static checker] Implemented comprises relationship checking.
11:21 Changeset [3649] by sukyoungryu
[compiler tests] Changed Compiled3.fss so that fib(2) is 1.
10:52 Eclipse edited by dr2chase
(diff)
10:44 Changeset [3648] by sukyoungryu
[static checker] Implemented a simple comprises clause check. Added a …
04:30 Changeset [3647] by sukyoungryu
[copyright] Fixed copyright notices.

04/15/09:

14:43 SortExercise.fss attached to MITTutorialApril2009 by jmaessen
File for Exercise 3 (List Sorting)
12:23 FortressQuestions edited by dr2chase
(diff)
12:22 Eclipse edited by dr2chase
(diff)
11:26 Changeset [3646] by dr2chase
More work on compiling overloads; attempting to debug the Scala plugin
10:53 FortressQuestions edited by dr2chase
(diff)
10:34 Changeset [3645] by jmaessen
[libraries, demos] Replace emptyList[\T\]() by <|[\T\] |> throughout, …
10:19 FortressQuestions edited by havelund
(diff)
08:57 Changeset [3644] by chf
Removing duplicate files
07:56 Changeset [3643] by chf
Compiled2
06:55 Changeset [3642] by jmaessen
[demos] Replaced calls to emptyList[\T\]() by <|[\T\] |> in Words.fss.

04/14/09:

22:21 Changeset [3641] by sukyoungryu
[demos] Revised Guy's demos/Words.fss to work with the current Fortress …
13:50 Changeset [3640] by sukyoungryu
[static checker] Factored out the exclusion oracle from …
11:51 Changeset [3639] by sukyoungryu
[static checker] Implemented declared exclusion relationships. Added …
08:54 Changeset [3638] by sukyoungryu
[static checker] Implemented the exclusion relationships for type …
02:42 Changeset [3637] by emoken
two programs translated from a Fortran program.

04/13/09:

13:29 Changeset [3636] by gls
New demo Words.fss
13:10 Changeset [3635] by jmaessen
[compiler] Boxed integer arithmetic via native calls.
12:51 Changeset [3634] by sukyoungryu
[test] Fixed the wrong expected result in XXX3g.test.
12:06 Changeset [3633] by sukyoungryu
[export checker] Fixed a bug checking trait/object members in APIs and …
08:50 Changeset [3632] by sukyoungryu
[static checker] Implemented declared exclusion relationships between …
08:46 Changeset [3631] by jmaessen
[library, interpreter] Minor library fixes; slight improvement to error …

04/12/09:

16:21 TypeCheckerProgress edited by jrhil47
(diff)
16:20 TypeCheckerProgress edited by jrhil47
(diff)
15:50 Changeset [3630] by dr2chase
Improved dispatch for compiled overloading (but we don't compile it yet)

04/11/09:

18:45 Changeset [3629] by dr2chase
Overloaded decision trees created, not yet compiled

04/10/09:

14:51 Changeset [3628] by sukyoungryu
[static checker] Implemented simple exclusion relationships. Tests and …
14:25 FortressStartHere edited by sukyoungryu
(diff)
14:16 MITTutorialApril2009 created by sukyoungryu
08:39 WikiStart edited by dr2chase
(diff)

04/09/09:

13:17 Changeset [3627] by sukyoungryu
[preparser] Added adelimiter checker test for parallel do expressions.
12:31 Changeset [3626] by sukyoungryu
[preparser] Added more tests for the parser/preparser. Parallel do …
04:38 Changeset [3625] by sukyoungryu
[preparser] Added 12 tests for the delimiter matching checker.

04/08/09:

09:29 Changeset [3624] by dr2chase
Updates to community metric stuff -- new data, plus improved description …

04/07/09:

21:42 Changeset [3623] by sukyoungryu
[preparser] Added 12 tests for the delimiter matching checker.
14:15 Changeset [3622] by dr2chase
Compiled overloading checkpoint -- fixed bugs revealed by import of …
12:56 Changeset [3621] by jmaessen
[demos] Numerical integration code based on the code provided by Doug Lea. …
11:01 Changeset [3620] by jmaessen
[interpreter] Tweaked spawning a bit, added depth-bounding for tuples. …
10:04 Changeset [3619] by jmaessen
[typechecker] Whitespace trouble.

04/06/09:

21:06 Changeset [3618] by sukyoungryu
[preparser] Added 8 tests for the delimiter matching checker.
13:17 Changeset [3617] by jmaessen
[fib experiment] Don't run trails that were part of spin-up.
12:36 Changeset [3616] by jmaessen
[fib experiment] Added option to skip sequential tests, which are costly …
12:10 Changeset [3615] by jmaessen
[fib experiment] Removed debugging code
12:08 Changeset [3614] by jmaessen
[fib experiment] Fixed bug in command-line argument processing. Oops.
11:19 Changeset [3613] by dr2chase
Steps towards overloaded (foreign) functions; added toString to indexed …

04/04/09:

04:40 Changeset [3612] by dr2chase
Fixed boneheaded error in cheap serialization.

04/03/09:

23:13 Changeset [3611] by sukyoungryu
[parser] Revised syntax error reporting for invalid top-level …
21:48 Changeset [3610] by sukyoungryu
[parser] Report better syntax error messages for invalid top-level …
16:44 Changeset [3609] by jmaessen
Fib experiment in code generation. Required upgrading jsr166y, which went …
13:54 Changeset [3608] by sukyoungryu
[preparser] Handles unbalanced comments more gracefully. The log files …
11:22 Changeset [3607] by sukyoungryu
[template parser] The log files from the TemplateParser? are deleted after …
09:05 Eclipse edited by dr2chase
(diff)
08:57 EclipseConfigureContents.png attached to Eclipse by dr2chase
How to configure contents of Problems window to exclude Scala errors, …

04/02/09:

21:47 Changeset [3606] by sukyoungryu
[preparser] Programs that use new syntax are not checked for delimiter …
14:51 Changeset [3605] by jrhil47
[Type Checker] Added Coercion Oracle [Scala] Removed Old Scala Code
13:42 Changeset [3604] by sukyoungryu
[compiler tests] Moved Compiled1.b to Compiled3.a.
12:34 Changeset [3603] by sukyoungryu
[syntax] Added DAGGER (U+2020) and DOUBLE DAGGER (U+2021) to the valid …
11:17 Changeset [3602] by sukyoungryu
[Compiled2] Moved the CompilerSystem? library from …

04/01/09:

22:22 Changeset [3601] by jrhil47
[Type Checker] Implemented Loose and Tight Juxt
21:59 Changeset [3600] by sukyoungryu
[Compiled2] Implemented better error messages for unbalanced comments. …
18:37 Changeset [3599] by sukyoungryu
[preparser] Eliminated duplicated code.
14:24 Changeset [3598] by sukyoungryu
[Compiled2] Added 9 Compiled2 family tests with syntax errors.
13:53 Changeset [3597] by sukyoungryu
[preparser] Implemented an alternative preparser using the Rats! stateful …
13:37 Changeset [3596] by dr2chase
Minor cleanup to knock out a few shadowed-name warning messages from …
13:09 Changeset [3595] by EricAllen
Revised command-line user interface so that compiled programs are run …
13:04 Eclipse edited by dr2chase
(diff)
12:20 Eclipse edited by dr2chase
(diff)
12:14 Changeset [3594] by chf
Add symbol table back in for David
12:05 Eclipse edited by dr2chase
(diff)
11:49 Changeset [3593] by chf
simple command line argument passing
11:40 FortressStartHere edited by dr2chase
(diff)
08:02 Changeset [3592] by jmaessen
Access to command-line arguments from compiled code. Doesn't yet work, …

03/31/09:

14:53 TypeCheckerProgress edited by jrhil47
(diff)
14:25 Changeset [3591] by jmaessen
[compiler] Simple system library, and boilerplate code to register the …
13:52 Changeset [3590] by chf
concatenate operator
13:06 Changeset [3589] by jmaessen
Fix whitespace.
11:48 Changeset [3588] by dr2chase
Fixed bug in AST-printing source locations when file names differ but …
07:08 Changeset [3587] by sukyoungryu
[preparser] Cleaned up the preparser.
06:08 Changeset [3586] by sukyoungryu
[preparser] Reorganized the parser family.

03/30/09:

16:43 Ticket #331 (Build Failed on Windows XP) created by LouisCutrona
Context of error: ant.bat clean compile, Fortress svn #3557, Windows XP, …
16:14 Ticket #330 (Compiler error (Java heap space)) closed by LouisCutrona
fixed: Two solutions: Using Cygwin, I just stuck the contents of the .antrc_Unix …
16:05 FortressStartHere edited by LouisCutrona
Added ANT_OPTS override to MS Windows section (prevents problem reported … (diff)
15:09 Changeset [3585] by jmaessen
[compiler] Usability improvements: After last checkin, that caused us to …
12:57 Changeset [3584] by dr2chase
Refactored compiler/linker running in shell, fixed errors-dropped-on-floor …
12:57 Changeset [3583] by EricAllen
Moved test file to Compiled2 family.
11:17 Changeset [3582] by EricAllen
Added tests for Compiled1.g.fss and Compiled1.d.fss.
10:06 GoG edited by steve.heller
formatting (diff)
07:25 Changeset [3581] by jmaessen
IntMap? implementation with tests. Provides maps with ZZ64 keys, using a …
03:17 GoG created by emoken

03/26/09:

18:55 Changeset [3580] by Crink
Correction to my earlier cack-handed attempt at improving Lazy.fs{s,i}
10:14 Changeset [3579] by sukyoungryu
[compiler tests] Fixed error messages from NodeUtil?.apiName. Added two …
08:34 Changeset [3578] by chf
Updated CompilerBuiltin?

03/25/09:

17:28 Changeset [3577] by jon
[syntax] add single astgen creator for all syntax abstraction nodes
16:29 Changeset [3576] by Crink
Mending incompleteness in Lazy.fsi and undeclared variable assignment in …
13:38 Changeset [3575] by EricAllen
Improved some error messages for the Compiled0 and Compiled1 families.
10:54 Changeset [3574] by chf
More stub details
09:08 Changeset [3573] by chf
reorganized stubs

03/24/09:

11:18 Changeset [3572] by jrhil47
[Type Checker] bug fixes, tests, and println to ScalaConstraints?
06:11 Changeset [3571] by chf
Change compileMath to print Pass

03/23/09:

08:25 Changeset [3570] by EricAllen
Added more Compiled2 tests.

03/22/09:

17:02 Changeset [3569] by jmaessen
Fair shuffle operation for arrays (in place), lists, and immutable arrays …
17:01 Changeset [3568] by jmaessen
Bug fixes: further fixes to unification error handling to avoid context …
05:23 Changeset [3567] by sukyoungryu
[overloading checker] Implemented simple overloading rules: exclusion and …

03/20/09:

14:36 Ticket #327 (fortress api: private types should lead to ... in comprises clauses) closed by sukyoungryu
fixed: Fixed in r3565.
14:34 Changeset [3566] by sukyoungryu
[readme] Changed a confusing command in README.txt.
14:29 Changeset [3565] by sukyoungryu
[api tool] Private traits and objects are not included in the comprises …
10:20 Ticket #330 (Compiler error (Java heap space)) created by LouisCutrona
Context of error: ./ant -v clean compile, Fortress svn #3557, Windows XP, …
09:50 Changeset [3564] by chf
CodeGen? work in progress
09:30 Changeset [3563] by jmaessen
Flesh out example somewhat to better show failure.
08:57 Changeset [3562] by jmaessen
Bunches of minor library tweaks due to bugs uncovered along the way, plus …
08:49 Ticket #329 (Major oversight: tuple varargs lead to overloading ambiguities) created by jmaessen
Consider the mapping constructor: […] We already know that we can't …
08:41 Ticket #328 (Generic functional methods are rejected during interpreter initialization) created by jmaessen
See …
08:30 Changeset [3561] by sukyoungryu
[compiler tests] Compiler tests now use the new test scheme except one: …
08:14 Ticket #327 (fortress api: private types should lead to ... in comprises clauses) created by jmaessen
Consider the following type structure: […] Running fortress api on …
06:32 Changeset [3560] by sukyoungryu
[compiler tests] Changed the run functions in the compiler tests to have …

03/19/09:

17:23 Changeset [3559] by jrhil47
[Type Checker] More tests and bug fixes
13:15 Changeset [3558] by EricAllen
Added a cyclic type hierarchy checker. Fixed ASTGen-generated Scala apply …
Note: See TracTimeline for information about the timeline view.