root/trunk/ProjectFortress/LibraryBuiltin

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @4128 [4128] 3 months jmaessen [codegen] Fix two major bugs: first, make sure we name system classes …
(edit) @4118 [4118] 3 months dr2chase Functional methods are somewhat working as they are supposed to; native …
(edit) @4112 [4112] 3 months jmaessen [compiler, library, tests] Work on getting RR64 to run (seems OK so far …
(edit) @4089 [4089] 3 months jmaessen [testing, libraries] Most of the code required by Compiled7fo.fss now …
(edit) @4087 [4087] 3 months dr2chase Jan's RR64 patches, plus fixes required to make the rest of the system …
(edit) @3966 [3966] 4 months jmaessen [testing] Some code for testing the type checking of comprehensions. This …
(edit) @3887 [3887] 5 months sukyoungryu [static checker] Fixed a bug handling symmetric exclusion relationship. …
(edit) @3882 [3882] 5 months dr2chase Refactoring in tests, adding (not done yet) ability to run a single test …
(edit) @3880 [3880] 5 months dr2chase Made overloading codegen a little cleverer about types
(edit) @3799 [3799] 6 months EricAllen Added more testing of parametric traits. Added more testing of syntactic …
(edit) @3775 [3775] 6 months sukyoungryu [syntax] Implemented the new syntax: 'as' in type ascription is replaced …
(edit) @3772 [3772] 6 months EricAllen Added some testing on recursive algebraic datatypes.
(edit) @3751 [3751] 6 months jmaessen [compiler libs] Added explicit import of AnyType.{Any} to …
(edit) @3713 [3713] 7 months jrhil47 [Static End] Added and disambiguated self types.
(edit) @3709 [3709] 7 months EricAllen Added a test for Compiled3. Added Compiled4 (factorial), tests, and …
(edit) @3706 [3706] 7 months EricAllen Added a parseInt function to the libraries.
(edit) @3695 [3695] 7 months sukyoungryu [Compiled3] Added a type checking test.
(edit) @3692 [3692] 7 months sukyoungryu [Compiled3] Added a comprises clause to CompilerBuiltin?.ZZ32. Made the …
(edit) @3691 [3691] 7 months sukyoungryu [Compiled3] Added the operator <=.
(edit) @3690 [3690] 7 months chf Added lessthan
(edit) @3680 [3680] 7 months sukyoungryu [cleanup] Deleted a generated directory. Fixed copyright notices.
(edit) @3669 [3669] 7 months jmaessen [libraries] Added MINMAX operator and reduction for common operation of …
(edit) @3645 [3645] 7 months jmaessen [libraries, demos] Replace emptyList[\T\]() by <|[\T\] |> throughout, …
(edit) @3644 [3644] 7 months chf Removing duplicate files
(edit) @3643 [3643] 7 months chf Compiled2
(edit) @3635 [3635] 8 months jmaessen [compiler] Boxed integer arithmetic via native calls.
(edit) @3602 [3602] 8 months sukyoungryu [Compiled2] Moved the CompilerSystem? library from …
(edit) @3592 [3592] 8 months jmaessen Access to command-line arguments from compiled code. Doesn't yet work, …
(edit) @3590 [3590] 8 months chf concatenate operator
(edit) @3585 [3585] 8 months jmaessen [compiler] Usability improvements: After last checkin, that caused us to …
(edit) @3564 [3564] 8 months chf CodeGen? work in progress
(edit) @3530 [3530] 9 months sukyoungryu [compiler library] Fixed mismatch between the API CompilerBuiltin? and the …
(edit) @3523 [3523] 9 months sukyoungryu [type checker] Eliminated type checker libraries.
(edit) @3520 [3520] 9 months chf Actually run something from java.lang.Math
(edit) @3503 [3503] 9 months chf We now import java.lang.Math, but we don't use it yet.
(edit) @3475 [3475] 9 months sukyoungryu [compiler library] Omitted the native modifier from the CompilerBuiltin? …
(edit) @3457 [3457] 9 months sukyoungryu [parser] Revised the types grammar.
(edit) @3454 [3454] 9 months sukyoungryu [shell] Added the new shell command: fortress link ComponentName? [library] …
(edit) @3447 [3447] 9 months sukyoungryu [Compiled1] Fixed the CompilerBuiltin? library for the Compiled1 task.
(edit) @3446 [3446] 9 months sukyoungryu [Compiled1] Fixed type checking traits extending Any.
(edit) @3445 [3445] 9 months chf Updated CompilerBuiltin?
(edit) @3444 [3444] 9 months sukyoungryu [parser] Revised the methods grammar.
(edit) @3438 [3438] 9 months sukyoungryu [library] Fixed a wrong syntax. [parser] Made the set of productions for …
(edit) @3385 [3385] 10 months EricAllen Added TypeCheckerLibrary? and TypeCheckerBuiltin?; threaded through …
(edit) @3310 [3310] 10 months EricAllen Refactored CompilerBuiltin?, CompilerLibrary?. Fixed tests accordingly. …
(edit) @3287 [3287] 11 months jmaessen Renamed JavaString to FlatString in line with discussion. This will …
(edit) @3242 [3242] 11 months jmaessen [libraries, interpreter] Preliminary version of stripped-down minimalist …
(edit) @3222 [3222] 11 months jmaessen Fixed exponentiation bug #314
(edit) @3179 [3179] 12 months sukyoungryu [library] The language and package bindings in native components should be …
(edit) @3131 [3131] 12 months dr2chase [library, tests] sanitizing getters/setters
(edit) @3058 [3058] 13 months black Changed comment
(edit) @3057 [3057] 13 months black more toString -> asString changes
(edit) @3056 [3056] 13 months black converted many toString() methods to asString getters
(edit) @3036 [3036] 13 months black Started cleaning the string code. Started renaming toString to asString …
(edit) @3030 [3030] 13 months black Added >> and << to Range code. Removed from String code. Added …
(edit) @2975 [2975] 13 months jmaessen Rounding now available for all numeric types.
(edit) @2892 [2892] 14 months jmaessen Fix of Victor's bug: if we add a Ratio and an RR64, we got an error …
(edit) @2822 [2822] 15 months jmaessen Minor code changes to support recent tickets. No interpreter changes to …
(edit) @2754 [2754] 15 months black Added various printing functions and ilkName, for use in debugging.
(edit) @2750 [2750] 15 months jmaessen Partial cleanup of getters and setters. FortressLibrary, …
(edit) @2661 [2661] 16 months sukyoungryu [library] Fixed some getter call syntax in libraries.
(edit) @2634 [2634] 16 months jmaessen Added strToInt (convert String to ZZ32) to FortressLibrary.fss. This …
(edit) @2619 [2619] 16 months black The great restructuring of the world consequent on turning String into a …
(edit) @2541 [2541] 16 months sukyoungryu [test] Added a JUTest for the closure conversion of object expressions.
(edit) @2419 [2419] 16 months jmaessen [Library, static analysis, tests] Added type Object to …
(edit) @2395 [2395] 16 months jmaessen Fix mistaken checkin of this file in last commit.
(edit) @2394 [2394] 16 months jmaessen Immutable arrays of unboxed RR64. When you request an immutable array of …
(edit) @2321 [2321] 16 months jmaessen Changed Char.toString() back to its old version (that quotes and escapes …
(edit) @2315 [2315] 16 months gls added NN32 and NN64 and QQ, / operator on integers now creates rationals, …
(edit) @2263 [2263] 17 months jmaessen IntLiteral? is now a subtype of ZZ32 (and thus of every other numeric …
(edit) @2225 [2225] 17 months chf bignums: result of pair programming with GLS
(edit) @2224 [2224] 17 months angelee [library, interpreter] Implemented few operators for Character (finishing …
(edit) @2221 [2221] 17 months angelee [library] removed javaDigit method declaration in api because it is used …
(edit) @2214 [2214] 17 months angelee [interpreter, library] Guy and I implemented a set of methods for buildin …
(edit) @2206 [2206] 17 months sukyoungryu [library] Implemented RR32 with Guy. Added a good set of test data for …
(edit) @2196 [2196] 17 months jmaessen [Library, interpreter] Re-factor ranges to distinguish bounded ranges l:u …
(edit) @2164 [2164] 17 months jmaessen [Libraries] Changed Integral to be a parametric type Integral[\I\]. This …
(edit) @2163 [2163] 17 months nbeckman [Disambiguator] There are a lot of changes in this revision. - I found …
(edit) @2159 [2159] 17 months jon [library] s/String/IntLiteral for the operators in IntLiteral?
(edit) @2155 [2155] 17 months jmaessen Fixed bug / oversight in bounds checking and narrowing of partial ranges …
(edit) @2150 [2150] 17 months jon [library] add toString() methods for all the exceptions listed in …
(edit) @1771 [1771] 18 months jmaessen Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||, BIG …
(edit) @1748 [1748] 18 months jmaessen TypeReflect? is no longer necessary in order to define covariant functions …
(edit) @1697 [1697] 18 months dr2chase Some type fixes in library, had to back out dynamic check because of …
(edit) @1663 [1663] 19 months jmaessen Fiddled a little bit with array implementations to avoid CAS on …
(edit) @1659 [1659] 19 months jmaessen Bug fixes and performance improvements. Make sure we allocate …
(edit) @1603 [1603] 19 months sukyoungryu Modified some library code to work around some bugs of the Fortify tool.
(edit) @1597 [1597] 19 months jmaessen Refactored libraries to move arithmetic operators from top level into the …
(edit) @1588 [1588] 19 months jmaessen Slightly better treatment of IEEE FP, and better treatment of MIN and MAX. …
(edit) @1581 [1581] 19 months jmaessen Numeric types now support ordering in the standard way. This means I can …
(edit) @1575 [1575] 19 months jmaessen Modified native stuff so that it handles functional methods correctly.
(edit) @1548 [1548] 19 months jmaessen Preliminary version of case insensitive string comparison, plus a wrapper …
(edit) @1544 [1544] 19 months jmaessen Fix #96
(edit) @1500 [1500] 20 months jmaessen A bit of code cleanup after last checkin. What used to be …
(edit) @1499 [1499] 20 months jmaessen This massive check-in accomplishes the following goals: 1. Moves all …
(edit) @1498 [1498] 20 months jmaessen Strings now implement ZeroIndexed[\Char\] as intended all along. …
(edit) @1496 [1496] 20 months jmaessen Re-nativized Char, and ripped out all mention of FTypeChar. Changed the …
(edit) @1490 [1490] 20 months jmaessen Nativized File, NatReflect?, and TNFoo (test library). Fixed major bug in …
(edit) @1481 [1481] 20 months jmaessen Binding maybe values in if. This touched far more files than I was …
(edit) @1477 [1477] 20 months jmaessen Add file String.java missed in last commit (sorry), removed FTypeString …
Note: See TracRevisionLog for help on using the revision log.