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