Timeline


and .

05/29/09:

15:01 Changeset [3782] by jrhil47
Changed the AST so that unambiguous names inside FnDecls? are IdOrOp? rather …
13:37 Changeset [3781] by dr2chase
Updated testText with new path and option
13:21 Changeset [3780] by dr2chase
Added ability to specify the test; fixed paths
12:17 FssSample edited by rgary
(diff)
11:56 ComprehendingComprehensions edited by steve.heller
corrected a typo --- can't believe this one lasted this long! (diff)
10:33 ComprehendingComprehensions edited by gls
(diff)
10:28 ComprehendingComprehensions edited by gls
(diff)
10:27 ComprehendingComprehensions edited by gls
(diff)
09:12 FssSample edited by rgary
(diff)
08:07 FortressQuestions edited by dr2chase
(diff)
07:38 Changeset [3779] by Crink
Reversals of generators, together with more controversial code for …
07:36 Changeset [3778] by sukyoungryu
[copyright notice] Ignore spec data files for the copyright check. Fixed …
07:04 ComprehendingComprehensions edited by steve.heller
ascii alignment in the definition of Wikipedia100 (diff)
06:28 FortressQuestions edited by Pygy
(diff)
06:26 FortressQuestions edited by Pygy
(diff)
06:25 FortressQuestions edited by Pygy
Typo (diff)
06:25 FortressQuestions edited by Pygy
Added question about SIMD (diff)

05/28/09:

16:13 Changeset [3777] by chf
small cleanup
14:57 ComprehendingComprehensions edited by gls
(diff)
13:37 Changeset [3776] by dr2chase
Any types might work a little better now (see …
13:21 FssSample edited by rgary
(diff)
13:12 FssSample edited by rgary
(diff)
12:38 ArrayListVsCovColl edited by rgary
(diff)
12:37 FssSample edited by rgary
(diff)
12:37 FssSample edited by rgary
(diff)
12:30 FssSample edited by rgary
(diff)
11:43 FssSample edited by rgary
(diff)
11:43 ArrayListVsCovColl edited by rgary
(diff)
11:43 FssSample edited by rgary
(diff)
11:42 ArrayListVsCovColl edited by rgary
(diff)
11:26 Changeset [3775] by sukyoungryu
[syntax] Implemented the new syntax: 'as' in type ascription is replaced …
11:22 FssSample edited by rgary
(diff)
11:06 FssSample edited by rgary
(diff)
10:55 FssSample edited by sukyoungryu
(diff)
08:32 Changeset [3774] by dr2chase
Added explanatory comments to some of the compilation goals
08:09 FssSample edited by rgary
(diff)
08:06 FssSample edited by rgary
(diff)

05/27/09:

20:09 StaticChecks edited by sukyoungryu
(diff)
18:23 AnySizeArrays edited by sukyoungryu
(diff)
18:23 Changeset [3773] by chf
Setup Workstealing framework, base task, and primordial task
15:26 Changeset [3772] by EricAllen
Added some testing on recursive algebraic datatypes.
14:39 Changeset [3771] by EricAllen
Added test files for handling type Any. Added test file to Compiled5 …
14:23 ComprehendingComprehensions edited by gls
(diff)
14:22 ComprehendingComprehensions edited by gls
(diff)
13:46 Changeset [3770] by dr2chase
Check that dotted component names compile, can run.
13:40 IntegerSquareRoot edited by gls
(diff)
13:29 Changeset [3769] by dr2chase
Additional refactoring of naming; should do better with classes and …
13:17 FssSample edited by rgary
(diff)
13:03 Changeset [3768] by gls
New Fortify tool
12:59 Changeset [3767] by dr2chase
Refactoring cleanup of overloading; some naming refactoring
12:31 StaticChecks edited by sukyoungryu
(diff)
12:30 Ticket #338 (The parameter type of a setter must be the same as the return type of a ...) closed by sukyoungryu
fixed: Implemented in r3766.
12:30 Changeset [3766] by sukyoungryu
[static checker] Implemented checking that the parameter type of a setter …
09:11 Changeset [3765] by dr2chase
Steps to make ASM verifier happy; note temporary use of customized method …
09:10 StaticChecks edited by sukyoungryu
(diff)

05/26/09:

14:18 Changeset [3764] by dr2chase
Mixed overloading working; some refactoring and cleanup in the naming …
12:26 Changeset [3763] by jrhil47
[Typechecker] Cleaned up some code
08:16 StaticChecks edited by sukyoungryu
(diff)
08:14 Ticket #238 (Getters should have no arguments, setters must return void.) closed by sukyoungryu
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 sukyoungryu
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 sukyoungryu
For "value" objects and traits, setters return a new instance of the …
08:09 StaticChecks edited by sukyoungryu
(diff)
08:06 Changeset [3762] by sukyoungryu
[static checker] Implemented checking that setter declarations must return …
06:34 Changeset [3761] by sukyoungryu
[type checker] Implemented type checking TraitDecl?, ObjectDecl?, …

05/23/09:

17:00 Changeset [3760] by sukyoungryu
[disambiguator] Checking imports of grammar names too. [type checker] …

05/22/09:

14:46 StaticChecks edited by sukyoungryu
(diff)
14:45 Ticket #244 (Check that there is at most one on-demand import statement from a single ...) closed by sukyoungryu
fixed: Implemented in r3759.
14:45 Ticket #243 (Check that no two import statements are identical.) closed by sukyoungryu
fixed: Implemented in r3759.
14:30 Changeset [3759] by sukyoungryu
[syntax checker] Implemented checking that 1) no two import statements …
13:53 Changeset [3758] by dr2chase
Small fixes to disambiguator's treatment of qualified names, steps towards …
13:20 StaticChecks edited by sukyoungryu
(diff)
12:57 Ticket #236 (Obscure errors when abstract override is missing) closed by sukyoungryu
fixed: Answer: AbstractDef?.fss is required to provide an abstract definition for …
12:54 Changeset [3757] by sukyoungryu
[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 sukyoungryu
fixed: Implemented in r3756.
11:34 Changeset [3756] by sukyoungryu
[disambiguator] Implemented checking whether imported names are indeed …
10:27 Ticket #151 (XXXextendsZZ32 no longer fails) closed by sukyoungryu
fixed: Implemented by the TypeHierarchyChecker?. The test file was moved to …
10:26 Changeset [3755] by sukyoungryu
[compiler tests] Moved not_passing_yet/XXXextendZZ32.fss to …
08:23 StaticChecks edited by sukyoungryu
(diff)
08:22 Ticket #177 (Check that all hidden field declarations are settable) closed by sukyoungryu
fixed: Implemented in r3754.
08:21 Changeset [3754] by sukyoungryu
[syntax checker] Implemented checking that all hidden field declarations …
07:44 StaticChecks edited by sukyoungryu
(diff)
07:41 StaticChecks edited by sukyoungryu
(diff)
07:41 Ticket #172 (Check that all types in exported APIs are defined by non-private ...) closed by sukyoungryu
fixed: Implemented by the ExportChecker?.
07:39 Ticket #174 (Check that all functions and top-level variables in exported APIs are ...) closed by sukyoungryu
fixed: Implemented by the ExportChecker?.
07:37 StaticChecks edited by sukyoungryu
(diff)
07:33 Ticket #184 (Check that all variables are definitely assigned to before use) closed by sukyoungryu
duplicate: Duplicated with #262.
07:32 Ticket #122 (Uninitialized Variable Error misleading) closed by sukyoungryu
duplicate: Duplicated with #262.
07:20 Ticket #183 (Check that all references to names are in scope (much of this is handled ...) closed by sukyoungryu
fixed: Checked by the Disambiguator.
07:20 Ticket #182 (Check that no two explicit declarations with overlapping reaches declare ...) closed by sukyoungryu
fixed: Checked by the Disambiguator.
07:19 Ticket #181 (Check that variables (static and dynamic) are not shadowed) closed by sukyoungryu
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 sukyoungryu
fixed: We eliminated transient fields.

05/21/09:

17:12 Changeset [3753] by chf
Added FORTRESS_BYTECODE_VERIFY as an environment variable. Set it to true …
11:41 Changeset [3752] by dr2chase
Split repositories in two; ObjectExpresssionVisitorJUTest temporarily …
07:42 Ticket #205 (Renamed import is resolved to wrong name) closed by sukyoungryu
fixed: Fixed in r3744. FYI, the test file …
06:28 Changeset [3751] by jmaessen
[compiler libs] Added explicit import of AnyType.{Any} to …

05/20/09:

13:58 Changeset [3750] by jmaessen
[codegen] Partial refactoring of CodeGen?. A bunch of naming cleanup; …
12:35 TypeCheckerProgress edited by sukyoungryu
(diff)
12:32 Changeset [3749] by sukyoungryu
[type checker] Implemented type checking of VarRef?.
11:35 TypeCheckerProgress edited by sukyoungryu
(diff)
10:44 Changeset [3748] by sukyoungryu
[type checker] Implemented type checking of If, While, For, …

05/19/09:

12:30 Changeset [3747] by sukyoungryu
[type checker] Partial implementation of type checking SubscriptExpr?. …
11:20 Changeset [3746] by sukyoungryu
[disambiguator] Disambiguates the renamed imports and top-level …
06:51 Changeset [3745] by sukyoungryu
[disambiguator] Importing aliases: handles type names too.

05/18/09:

22:17 Changeset [3744] by sukyoungryu
[disambiguator] Fixed importing aliasing in the disambiguator.
09:10 TypeCheckerProgress edited by sukyoungryu
(diff)

05/16/09:

03:22 ComprehendingComprehensions edited by steve.heller
replaced maxx by x to see how that looks (diff)

05/15/09:

12:34 Changeset [3743] by dr2chase
Preliminary work on mixed overloading
11:57 ComprehendingComprehensions edited by steve.heller
max -> maxx to get better rendering (diff)
11:45 Changeset [3742] by jmaessen
[astgen / ast I/O] Missed adds in previous commit.
11:12 Changeset [3741] by jmaessen
[astgen, ast I/O] Upgrade to latest cvs version of astgen. Major updates …
08:48 TypeCheckerProgress edited by sukyoungryu
(diff)
08:44 Changeset [3740] by sukyoungryu
[type checker] Removed the field to add the inferred type of an Id / Op …

05/14/09:

20:08 TypeCheckerProgress edited by sukyoungryu
(diff)
20:06 TypeCheckerProgress edited by sukyoungryu
(diff)
20:00 Changeset [3739] by sukyoungryu
[type checker] Implemented Do. Added a field to add the inferred type of …
19:04 TypeCheckerProgress edited by sukyoungryu
(diff)
18:28 Changeset [3738] by sukyoungryu
[compiler test] Improved error messages for using keywords as identifiers. …
09:42 Changeset [3737] by sukyoungryu
[compiler test] Improved error messages for typecase expressions without …
08:05 Changeset [3736] by sukyoungryu
[compiler tests] Added malformed compiler tests. Not yet working.
06:46 Changeset [3735] by sukyoungryu
[compiler tests] Fixed syntax errors in the newly added tests. [type …

05/13/09:

19:50 Changeset [3734] by sukyoungryu
[type checker] Implemented tight juxtaposition and MathPrimary?.
17:54 Changeset [3733] by chf
line numbers
13:55 Changeset [3732] by jmaessen
[useful] Side project: ternary-trie based String Maps (TrieMap?). Work as …
13:52 Changeset [3731] by jmaessen
[demos] log-time fib function using integer arithmetic, just to prove …
13:45 Changeset [3730] by jmaessen
[libraries for native code] Pending library tweaks that are cluttering up …
12:41 Changeset [3729] by EricAllen
Added CompiledXX targets 6-18.
11:08 Changeset [3728] by Crink
Fixing a type error in FortressLibrary.fss

05/11/09:

22:23 Changeset [3727] by sukyoungryu
[type checker] Implemented missing cases for loose juxtaposition and …
14:10 Changeset [3726] by EricAllen
Added hooks to CoercionOracleFactory? to the type checker. Added test …
13:44 Changeset [3725] by dr2chase
More overloading work; ZZ64 constants now work right
12:34 Changeset [3724] by sukyoungryu
[type checker] Implemented missing cases for Id.
12:23 Changeset [3723] by EricAllen
Fixed typo in the name of Component5.
11:23 Changeset [3722] by dr2chase
Overloads of diff number of parameters now supported
11:08 Changeset [3721] by sukyoungryu
[type checker] Implemented Spawn, AtomicExpr?, and missing cases for Block. …
09:45 PressList edited by steve.heller
update and tweaks (diff)
08:41 Changeset [3720] by dr2chase
Some local overloading done, not all
06:21 Changeset [3719] by sukyoungryu
[type checker] Implemented a mechanism to add inferred types to …

05/09/09:

16:04 PressList edited by steve.heller
(diff)
14:31 WikiStart edited by sukyoungryu
(diff)
14:29 PressList edited by sukyoungryu
(diff)

05/08/09:

19:54 Changeset [3718] by dr2chase
Discovered inconsistency in overload resolution and type inference; see …
09:20 Changeset [3717] by sukyoungryu
[type checker] Moved Scala code to the scala_src directory.
08:00 Changeset [3716] by sukyoungryu
[syntax] Fixed the broken nightly build: Fixed type name conflicts in the …
05:29 ComprehendingComprehensions edited by steve.heller
worked around another formatting bug in renderer by replacing "||" with … (diff)

05/07/09:

19:58 Changeset [3715] by sukyoungryu
[export checker] Improved error messages. Added a test.
14:56 Changeset [3714] by EricAllen
Finished coercion oracle and coercion oracle factory.
13:20 AnySizeArrays edited by sukyoungryu
(diff)
13:18 StringRestructuring edited by sukyoungryu
(diff)
13:15 FeatherweightJava edited by sukyoungryu
(diff)
13:12 ConvertingToString edited by sukyoungryu
(diff)
13:10 BuffonsNeedle edited by sukyoungryu
(diff)
13:08 ArrayIndices edited by sukyoungryu
(diff)
13:05 AdditionalInterpreterEnvironmentIssues edited by sukyoungryu
(diff)
13:04 Fibonacci edited by sukyoungryu
(diff)
13:01 FileReadWrite edited by sukyoungryu
(diff)
12:59 FortressLanguageSpecificationErrata edited by sukyoungryu
(diff)
12:57 FortressStartHere edited by sukyoungryu
(diff)
12:56 GoG edited by sukyoungryu
(diff)
12:51 NativeInterfaceCodeGeneration edited by sukyoungryu
(diff)
12:50 NativeInterfaceExampleWrappedClass edited by sukyoungryu
(diff)
12:49 OptionTypeConventions edited by sukyoungryu
(diff)
12:47 ProjectStatus edited by sukyoungryu
(diff)
12:41 UnhappyCompendium edited by sukyoungryu
(diff)
12:32 Changeset [3713] by jrhil47
[Static End] Added and disambiguated self types.
12:30 UseAGenerator edited by sukyoungryu
(diff)
12:27 TicTacToe edited by sukyoungryu
(diff)
11:41 TypeAndLibraryIssues edited by sukyoungryu
(diff)
11:41 TypeVariableMatching edited by sukyoungryu
(diff)
11:14 UseAGenerator edited by sukyoungryu
(diff)
10:29 MITTutorialApril2009 edited by sukyoungryu
(diff)
10:28 WikiStart edited by sukyoungryu
(diff)
10:20 reference.pdf attached to WikiStart by sukyoungryu
Project Fortress Reference Card
10:05 ComprehendingComprehensions edited by steve.heller
worked around a formatting bug in renderer by replacing "|" with "| " at … (diff)
07:47 ComprehendingComprehensions edited by steve.heller
use the new #!fss command to render the code (thanks Gary!) (diff)
07:44 ViscoElastic edited by jmaessen
(diff)
07:41 ViscoElastic edited by jmaessen
Use built-in fortress formatter (diff)

05/06/09:

15:16 Changeset [3712] by EricAllen
Eliminated some accidental absolute paths.
14:44 Changeset [3711] by EricAllen
Added a "fortress build" command. Made minor tweaks to the README.
14:22 Changeset [3710] by EricAllen
Added an explicit Compiled5 target for record keeping.
13:36 Changeset [3709] by EricAllen
Added a test for Compiled3. Added Compiled4 (factorial), tests, and …
11:42 Changeset [3708] by dr2chase
Fixed problem with incomplete set of APIs fed to code generator
10:08 Changeset [3707] by sukyoungryu
[Compiled3] Changed println to printlnZZ32. [cleanup] Removed printing …
09:49 Changeset [3706] by EricAllen
Added a parseInt function to the libraries.
09:01 Changeset [3705] by chf
Simple If Statements.

05/05/09:

20:29 Changeset [3704] by dr2chase
Fixed Christine's weird bug
14:46 Changeset [3703] by Crink
Giving String a join method, and using it to simplify some asString …
13:29 Changeset [3702] by dr2chase
Fixed busted classpaths in fortress and fortress_leaks
13:18 Changeset [3701] by dr2chase
Now building with Scala 2.7.4 final
11:40 Changeset [3700] by sukyoungryu
[static checker] Run the Scala type checker once instead of twice.
10:58 Changeset [3699] by dr2chase
More overloading steps, added type analyzer to compute finer join on …
08:34 Changeset [3698] by dr2chase
Part way to more overloading

05/04/09:

19:00 Changeset [3697] by jmaessen
[codegen] Proper handling of local variables. Created an extensible …
13:09 IntegerSquareRoot edited by steve.heller
use the new #!fss command to render the code (thanks Gary!) (diff)
10:42 Changeset [3696] by sukyoungryu
[type checker] Added an option to use the Scala type checker for the …
08:56 FssSample edited by rgary
(diff)
08:53 FssSample edited by rgary
(diff)
08:52 FssSample edited by rgary
(diff)
08:48 FssSample created by rgary

05/03/09:

08:25 Changeset [3695] by sukyoungryu
[Compiled3] Added a type checking test.
07:21 Changeset [3694] by sukyoungryu
[static checker] Implemented static checking of APIs.
06:30 Changeset [3693] by sukyoungryu
[static checker] Generalized OverloadingChecker? and TypeHierarchyChecker?

05/01/09:

14:10 Changeset [3692] by sukyoungryu
[Compiled3] Added a comprises clause to CompilerBuiltin?.ZZ32. Made the …
07:58 Changeset [3691] by sukyoungryu
[Compiled3] Added the operator <=.

04/30/09:

12:58 Changeset [3690] by chf
Added lessthan
11:06 Changeset [3689] by dr2chase
Added debuggable version of asm-all.jar, plus source code in a zip file; …
09:59 Changeset [3688] by sukyoungryu
[parser] We now allow spaces between left enclosing operators and static …
07:04 Changeset [3687] by sukyoungryu
[cleanup] Deleted the generated directory, junit-results, and added it to …

04/29/09:

20:26 Changeset [3686] by jrhil47
[TypeChecker?] Added switch to turn on scala typechecker.
18:36 Changeset [3685] by jrhil47
[Typecheker] Fixed an error.
18:16 Changeset [3684] by jrhil47
[TypeChecker?] Changed the name of the scala type checker in preparation …
11:47 Changeset [3683] by dr2chase
Changed Eclipse classpath to use asm-all-3.1.jar
11:36 Changeset [3682] by dr2chase
Added asm-all to get access to asm util classes; some restructure of …
06:53 Changeset [3681] by sukyoungryu
[cleanup] Two more copyright notice fixes.
06:50 Changeset [3680] by sukyoungryu
[cleanup] Deleted a generated directory. Fixed copyright notices.
Note: See TracTimeline for information about the timeline view.