Timeline
05/22/09:
- 14:46 StaticChecks edited by
- (diff)
- 14:45 Ticket #244 (Check that there is at most one on-demand import statement from a single ...) closed by
- fixed: Implemented in r3759.
- 14:45 Ticket #243 (Check that no two import statements are identical.) closed by
- fixed: Implemented in r3759.
- 14:30 Changeset [3759] by
- [syntax checker] Implemented checking that 1) no two import statements …
- 13:53 Changeset [3758] by
- Small fixes to disambiguator's treatment of qualified names, steps towards …
- 13:20 StaticChecks edited by
- (diff)
- 12:57 Ticket #236 (Obscure errors when abstract override is missing) closed by
- fixed: Answer: AbstractDef?.fss is required to provide an abstract definition for …
- 12:54 Changeset [3757] by
- [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
- fixed: Implemented in r3756.
- 11:34 Changeset [3756] by
- [disambiguator] Implemented checking whether imported names are indeed …
- 10:27 Ticket #151 (XXXextendsZZ32 no longer fails) closed by
- fixed: Implemented by the TypeHierarchyChecker?. The test file was moved to …
- 10:26 Changeset [3755] by
- [compiler tests] Moved not_passing_yet/XXXextendZZ32.fss to …
- 08:23 StaticChecks edited by
- (diff)
- 08:22 Ticket #177 (Check that all hidden field declarations are settable) closed by
- fixed: Implemented in r3754.
- 08:21 Changeset [3754] by
- [syntax checker] Implemented checking that all hidden field declarations …
- 07:44 StaticChecks edited by
- (diff)
- 07:41 StaticChecks edited by
- (diff)
- 07:41 Ticket #172 (Check that all types in exported APIs are defined by non-private ...) closed by
- fixed: Implemented by the ExportChecker?.
- 07:39 Ticket #174 (Check that all functions and top-level variables in exported APIs are ...) closed by
- fixed: Implemented by the ExportChecker?.
- 07:37 StaticChecks edited by
- (diff)
- 07:33 Ticket #184 (Check that all variables are definitely assigned to before use) closed by
- duplicate: Duplicated with #262.
- 07:32 Ticket #122 (Uninitialized Variable Error misleading) closed by
- duplicate: Duplicated with #262.
- 07:20 Ticket #183 (Check that all references to names are in scope (much of this is handled ...) closed by
- fixed: Checked by the Disambiguator.
- 07:20 Ticket #182 (Check that no two explicit declarations with overlapping reaches declare ...) closed by
- fixed: Checked by the Disambiguator.
- 07:19 Ticket #181 (Check that variables (static and dynamic) are not shadowed) closed by
- 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
- fixed: We eliminated transient fields.
05/21/09:
- 17:12 Changeset [3753] by
- Added FORTRESS_BYTECODE_VERIFY as an environment variable. Set it to true …
- 11:41 Changeset [3752] by
- Split repositories in two; ObjectExpresssionVisitorJUTest temporarily …
- 07:42 Ticket #205 (Renamed import is resolved to wrong name) closed by
- fixed: Fixed in r3744. FYI, the test file …
- 06:28 Changeset [3751] by
- [compiler libs] Added explicit import of AnyType.{Any} to …
05/20/09:
- 13:58 Changeset [3750] by
- [codegen] Partial refactoring of CodeGen?. A bunch of naming cleanup; …
- 12:35 TypeCheckerProgress edited by
- (diff)
- 12:32 Changeset [3749] by
- [type checker] Implemented type checking of VarRef?.
- 11:35 TypeCheckerProgress edited by
- (diff)
- 10:44 Changeset [3748] by
- [type checker] Implemented type checking of If, While, For, …
05/19/09:
- 12:30 Changeset [3747] by
- [type checker] Partial implementation of type checking SubscriptExpr?. …
- 11:20 Changeset [3746] by
- [disambiguator] Disambiguates the renamed imports and top-level …
- 06:51 Changeset [3745] by
- [disambiguator] Importing aliases: handles type names too.
05/18/09:
- 22:17 Changeset [3744] by
- [disambiguator] Fixed importing aliasing in the disambiguator.
- 09:10 TypeCheckerProgress edited by
- (diff)
05/16/09:
- 03:22 ComprehendingComprehensions edited by
- replaced maxx by x to see how that looks (diff)
05/15/09:
- 12:34 Changeset [3743] by
- Preliminary work on mixed overloading
- 11:57 ComprehendingComprehensions edited by
- max -> maxx to get better rendering (diff)
- 11:45 Changeset [3742] by
- [astgen / ast I/O] Missed adds in previous commit.
- 11:12 Changeset [3741] by
- [astgen, ast I/O] Upgrade to latest cvs version of astgen. Major updates …
- 08:48 TypeCheckerProgress edited by
- (diff)
- 08:44 Changeset [3740] by
- [type checker] Removed the field to add the inferred type of an Id / Op …
05/14/09:
- 20:08 TypeCheckerProgress edited by
- (diff)
- 20:06 TypeCheckerProgress edited by
- (diff)
- 20:00 Changeset [3739] by
- [type checker] Implemented Do. Added a field to add the inferred type of …
- 19:04 TypeCheckerProgress edited by
- (diff)
- 18:28 Changeset [3738] by
- [compiler test] Improved error messages for using keywords as identifiers. …
- 09:42 Changeset [3737] by
- [compiler test] Improved error messages for typecase expressions without …
- 08:05 Changeset [3736] by
- [compiler tests] Added malformed compiler tests. Not yet working.
- 06:46 Changeset [3735] by
- [compiler tests] Fixed syntax errors in the newly added tests. [type …
05/13/09:
- 19:50 Changeset [3734] by
- [type checker] Implemented tight juxtaposition and MathPrimary?.
- 17:54 Changeset [3733] by
- line numbers
- 13:55 Changeset [3732] by
- [useful] Side project: ternary-trie based String Maps (TrieMap?). Work as …
- 13:52 Changeset [3731] by
- [demos] log-time fib function using integer arithmetic, just to prove …
- 13:45 Changeset [3730] by
- [libraries for native code] Pending library tweaks that are cluttering up …
- 12:41 Changeset [3729] by
- Added CompiledXX targets 6-18.
- 11:08 Changeset [3728] by
- Fixing a type error in FortressLibrary.fss
05/11/09:
- 22:23 Changeset [3727] by
- [type checker] Implemented missing cases for loose juxtaposition and …
- 14:10 Changeset [3726] by
- Added hooks to CoercionOracleFactory? to the type checker. Added test …
- 13:44 Changeset [3725] by
- More overloading work; ZZ64 constants now work right
- 12:34 Changeset [3724] by
- [type checker] Implemented missing cases for Id.
- 12:23 Changeset [3723] by
- Fixed typo in the name of Component5.
- 11:23 Changeset [3722] by
- Overloads of diff number of parameters now supported
- 11:08 Changeset [3721] by
- [type checker] Implemented Spawn, AtomicExpr?, and missing cases for Block. …
- 09:45 PressList edited by
- update and tweaks (diff)
- 08:41 Changeset [3720] by
- Some local overloading done, not all
- 06:21 Changeset [3719] by
- [type checker] Implemented a mechanism to add inferred types to …
05/09/09:
05/08/09:
- 19:54 Changeset [3718] by
- Discovered inconsistency in overload resolution and type inference; see …
- 09:20 Changeset [3717] by
- [type checker] Moved Scala code to the scala_src directory.
- 08:00 Changeset [3716] by
- [syntax] Fixed the broken nightly build: Fixed type name conflicts in the …
- 05:29 ComprehendingComprehensions edited by
- worked around another formatting bug in renderer by replacing "||" with … (diff)
05/07/09:
- 19:58 Changeset [3715] by
- [export checker] Improved error messages. Added a test.
- 14:56 Changeset [3714] by
- Finished coercion oracle and coercion oracle factory.
- 13:20 AnySizeArrays edited by
- (diff)
- 13:18 StringRestructuring edited by
- (diff)
- 13:15 FeatherweightJava edited by
- (diff)
- 13:12 ConvertingToString edited by
- (diff)
- 13:10 BuffonsNeedle edited by
- (diff)
- 13:08 ArrayIndices edited by
- (diff)
- 13:05 AdditionalInterpreterEnvironmentIssues edited by
- (diff)
- 13:04 Fibonacci edited by
- (diff)
- 13:01 FileReadWrite edited by
- (diff)
- 12:59 FortressLanguageSpecificationErrata edited by
- (diff)
- 12:57 FortressStartHere edited by
- (diff)
- 12:56 GoG edited by
- (diff)
- 12:51 NativeInterfaceCodeGeneration edited by
- (diff)
- 12:50 NativeInterfaceExampleWrappedClass edited by
- (diff)
- 12:49 OptionTypeConventions edited by
- (diff)
- 12:47 ProjectStatus edited by
- (diff)
- 12:41 UnhappyCompendium edited by
- (diff)
- 12:32 Changeset [3713] by
- [Static End] Added and disambiguated self types.
- 12:30 UseAGenerator edited by
- (diff)
- 12:27 TicTacToe edited by
- (diff)
- 11:41 TypeAndLibraryIssues edited by
- (diff)
- 11:41 TypeVariableMatching edited by
- (diff)
- 11:14 UseAGenerator edited by
- (diff)
- 10:29 MITTutorialApril2009 edited by
- (diff)
- 10:28 WikiStart edited by
- (diff)
- 10:05 ComprehendingComprehensions edited by
- worked around a formatting bug in renderer by replacing "|" with "| " at … (diff)
- 07:47 ComprehendingComprehensions edited by
- use the new #!fss command to render the code (thanks Gary!) (diff)
- 07:44 ViscoElastic edited by
- (diff)
- 07:41 ViscoElastic edited by
- Use built-in fortress formatter (diff)
05/06/09:
- 15:16 Changeset [3712] by
- Eliminated some accidental absolute paths.
- 14:44 Changeset [3711] by
- Added a "fortress build" command. Made minor tweaks to the README.
- 14:22 Changeset [3710] by
- Added an explicit Compiled5 target for record keeping.
- 13:36 Changeset [3709] by
- Added a test for Compiled3. Added Compiled4 (factorial), tests, and …
- 11:42 Changeset [3708] by
- Fixed problem with incomplete set of APIs fed to code generator
- 10:08 Changeset [3707] by
- [Compiled3] Changed println to printlnZZ32. [cleanup] Removed printing …
- 09:49 Changeset [3706] by
- Added a parseInt function to the libraries.
- 09:01 Changeset [3705] by
- Simple If Statements.
05/05/09:
- 20:29 Changeset [3704] by
- Fixed Christine's weird bug
- 14:46 Changeset [3703] by
- Giving String a join method, and using it to simplify some asString …
- 13:29 Changeset [3702] by
- Fixed busted classpaths in fortress and fortress_leaks
- 13:18 Changeset [3701] by
- Now building with Scala 2.7.4 final
- 11:40 Changeset [3700] by
- [static checker] Run the Scala type checker once instead of twice.
- 10:58 Changeset [3699] by
- More overloading steps, added type analyzer to compute finer join on …
- 08:34 Changeset [3698] by
- Part way to more overloading
05/04/09:
- 19:00 Changeset [3697] by
- [codegen] Proper handling of local variables. Created an extensible …
- 13:09 IntegerSquareRoot edited by
- use the new #!fss command to render the code (thanks Gary!) (diff)
- 10:42 Changeset [3696] by
- [type checker] Added an option to use the Scala type checker for the …
- 08:56 FssSample edited by
- (diff)
- 08:53 FssSample edited by
- (diff)
- 08:52 FssSample edited by
- (diff)
- 08:48 FssSample created by
05/03/09:
- 08:25 Changeset [3695] by
- [Compiled3] Added a type checking test.
- 07:21 Changeset [3694] by
- [static checker] Implemented static checking of APIs.
- 06:30 Changeset [3693] by
- [static checker] Generalized OverloadingChecker? and TypeHierarchyChecker? …
05/01/09:
- 14:10 Changeset [3692] by
- [Compiled3] Added a comprises clause to CompilerBuiltin?.ZZ32. Made the …
- 07:58 Changeset [3691] by
- [Compiled3] Added the operator <=.
04/30/09:
- 12:58 Changeset [3690] by
- Added lessthan
- 11:06 Changeset [3689] by
- Added debuggable version of asm-all.jar, plus source code in a zip file; …
- 09:59 Changeset [3688] by
- [parser] We now allow spaces between left enclosing operators and static …
- 07:04 Changeset [3687] by
- [cleanup] Deleted the generated directory, junit-results, and added it to …
04/29/09:
- 20:26 Changeset [3686] by
- [TypeChecker?] Added switch to turn on scala typechecker.
- 18:36 Changeset [3685] by
- [Typecheker] Fixed an error.
- 18:16 Changeset [3684] by
- [TypeChecker?] Changed the name of the scala type checker in preparation …
- 11:47 Changeset [3683] by
- Changed Eclipse classpath to use asm-all-3.1.jar
- 11:36 Changeset [3682] by
- Added asm-all to get access to asm util classes; some restructure of …
- 06:53 Changeset [3681] by
- [cleanup] Two more copyright notice fixes.
- 06:50 Changeset [3680] by
- [cleanup] Deleted a generated directory. Fixed copyright notices.
04/28/09:
- 21:51 Changeset [3679] by
- [Typechecker] Added code to handle names. Made the TypeEnv? and …
- 17:58 Changeset [3678] by
- Minor restructuring of overloaded code generation to make it easier to …
- 12:55 Changeset [3677] by
- [codegen] added ability to call function defined in same component, and to …
- 12:03 Changeset [3676] by
- [compiler] Massive Debug.debug cleanup. General advice: don't use + …
- 07:36 Changeset [3675] by
- [libraries] Fixed bug in shuffle (and added test to see that shuffling was …
04/27/09:
- 21:00 Changeset [3674] by
- [ast] ArrayType?, MatrixType?, and _InferenceVarType are gone after type …
- 19:25 WikiStart edited by
- (diff)
- 14:04 Changeset [3673] by
- [static checker] After type checking, assert the invariant that nodes …
- 12:42 Ticket #336 (Bare "Syntax Error" when label/end don't have matching labels) closed by
- fixed: Fixed in r3672.
- 12:42 Changeset [3672] by
- [delimiter checker] Reports a better error message for unmatching labels. …
- 12:16 Changeset [3671] by
- More foreign function overloading (2 args)
- 11:14 Changeset [3670] by
- First successful overloading of foreign functions
- 09:05 Ticket #336 (Bare "Syntax Error" when label/end don't have matching labels) created by
- label/end requires matching labels on the starting and ending constructs. …
- 08:58 SuggestedAntRc edited by
- (diff)
- 08:41 UsingJavaOnMac edited by
- (diff)
- 08:30 UsingJavaOnMac edited by
- (diff)
- 07:55 Changeset [3669] by
- [libraries] Added MINMAX operator and reduction for common operation of …
04/24/09:
- 17:44 Ticket #334 (java-level NumberFormatException in numerical code) closed by
- invalid: Seems that some earlier java-level bug had dirtied my installation; after …
- 11:51 Ticket #335 (Disambiguation fails with comodification error.) closed by
- fixed: I made a copy of the set before iterating over it, that gets the job done. …
- 11:39 Changeset [3668] by
- Fix (temporary?) for Bug #335
- 11:01 Ticket #335 (Disambiguation fails with comodification error.) created by
- See [source:trunk/ProjectFortress/other_compiler_tests/SimpleOverload.fss …
- 10:45 Changeset [3667] by
- Code for demonstrating bug in disambiguation
- 09:17 Changeset [3666] by
- [overloading] fixed references to types to get them translated right
04/23/09:
- 20:03 Changeset [3665] by
- [tests] Added a Compiled3 family test. Not yet passed.
- 17:22 Ticket #334 (java-level NumberFormatException in numerical code) created by
- The attached code is supposed to calculate the partition function, using …
- 13:31 Changeset [3664] by
- [tests] fixed oversight on getEnvironment->getProperty for these tests.
- 11:13 Changeset [3663] by
- [demos] Fixed demos to look for data files based on fortress.autohome …
04/22/09:
- 14:29 Changeset [3662] by
- Overloading now generating code as expected; has a few bugs yet
- 11:22 Changeset [3661] by
- Fixed Scala pattern matching so that pattern names for nodes do not clash …
- 07:40 Changeset [3660] by
- It is supposed to generate code for overloaded natives, but the code is …
Note: See TracTimeline
for information about the timeline view.
