|
|
|
@1597
|
[1597]
|
19 months |
jmaessen |
Refactored libraries to move arithmetic operators from top level into
the …
|
|
|
|
@1531
|
[1531]
|
19 months |
jmaessen |
Fixes bug in type inference reported by Sorin Miklós Zsejki that was …
|
|
|
|
@1424
|
[1424]
|
20 months |
sukyoungryu |
Added more spec examples.
|
|
|
|
@1397
|
[1397]
|
20 months |
jmaessen |
Massive library reorganization:
* Most of …
|
|
|
|
@1393
|
[1393]
|
20 months |
jmaessen |
Tweaks to map api to use while loops for lookup. Replaced
UnJustNothing? …
|
|
|
|
@1390
|
[1390]
|
20 months |
jmaessen |
Clean up last checkin; it involved applying a whitespace-ignoring
patch …
|
|
|
|
@1389
|
[1389]
|
20 months |
skilpat |
Added Jan's changes to builtin libraries. Fixed type checking qualified …
|
|
|
|
@1380
|
[1380]
|
21 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1374
|
[1374]
|
21 months |
jmaessen |
Fixed sequential generator code for Set and Map (we recursed to the
wrong …
|
|
|
|
@1370
|
[1370]
|
21 months |
dr2chase |
Refactoring to prepare for trait-method overrride; fixed big with self …
|
|
|
|
@1367
|
[1367]
|
21 months |
jmaessen |
More generic singleton cleanup.
|
|
|
|
@1366
|
[1366]
|
21 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1361
|
[1361]
|
21 months |
jmaessen |
Regions, locality, and at (). Right now we're running on multicore
boxes …
|
|
|
|
@1360
|
[1360]
|
21 months |
jmaessen |
Fixes to exception handling, fixes to exception behavior of Map.
|
|
|
|
@1359
|
[1359]
|
21 months |
sukyoungryu |
Added spec examples for map aggregates and map comprehensions. Fixed …
|
|
|
|
@1358
|
[1358]
|
21 months |
jmaessen |
Fixes to exception behavior of Set and Map. Map now supports disjoint …
|
|
|
|
@1351
|
[1351]
|
21 months |
jmaessen |
Make Nothing[\T\] into a generic singleton.
|
|
|
|
@1350
|
[1350]
|
21 months |
jmaessen |
List aggregates and comprehensions, Set partial ordering, Equality on
both …
|
|
|
|
@1349
|
[1349]
|
21 months |
dr2chase |
Fixed infinite loop after touch of cached API source
|
|
|
|
@1341
|
[1341]
|
21 months |
dr2chase |
Added comments to MakeInferenceSpecific?; repaired import-export bug
|
|
|
|
@1340
|
[1340]
|
21 months |
jdn |
Renamed file
|
|
|
|
@1332
|
[1332]
|
21 months |
sukyoungryu |
Renamed NativeThread? to Thread.
|
|
|
|
@1331
|
[1331]
|
21 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1325
|
[1325]
|
21 months |
chf |
top level abort function
|
|
|
|
@1322
|
[1322]
|
21 months |
jdn |
Syntax abstraction bugfixes plus support for more AST nodes
|
|
|
|
@1317
|
[1317]
|
21 months |
jdn |
Syntax abstraction, added support for import of multiple modules and …
|
|
|
|
@1301
|
[1301]
|
22 months |
dr2chase |
Fixed prefix/postfix/other operator ambiguity, fixes bugs #16 and #62
|
|
|
|
@1287
|
[1287]
|
22 months |
sukyoungryu |
Revising the tuple types and tuple expressions according to the new tuple …
|
|
|
|
@1280
|
[1280]
|
22 months |
jdn |
Option and repetition symbols are now working for syntax abstractions
|
|
|
|
@1270
|
[1270]
|
22 months |
sukyoungryu |
Merged README files in subdirectories to the top-level README file.
|
|
|
|
@1269
|
[1269]
|
22 months |
dr2chase |
Next step in converging interpreter and static import semantics
|
|
|
|
@1263
|
[1263]
|
22 months |
sukyoungryu |
Implemented the changed syntax for operator declarations, comprehensions, …
|
|
|
|
@1253
|
[1253]
|
22 months |
jdn |
Values are now carried across from nonterminal references
|
|
|
|
@1247
|
[1247]
|
22 months |
jmaessen |
Fixed some [but not all] static analysis rejections. The remainder
will …
|
|
|
|
@1245
|
[1245]
|
22 months |
sukyoungryu |
Fixed some copyright notices.
|
|
|
|
@1242
|
[1242]
|
22 months |
jdn |
|
|
|
|
@1241
|
[1241]
|
22 months |
sukyoungryu |
Fixed some static errors in the example programs and libraries.
|
|
|
|
@1239
|
[1239]
|
22 months |
jmaessen |
Tons of random changes to library, including final depracation of …
|
|
|
|
@1238
|
[1238]
|
22 months |
dr2chase |
Integrated, but switched off so we still pass unit tests
|
|
|
|
@1214
|
[1214]
|
22 months |
sukyoungryu |
Implemented the revised syntax and semantics of typecase bindings.
|
|
|
|
@1203
|
[1203]
|
22 months |
jmaessen |
Updated comments to reflect reality.
|
|
|
|
@1200
|
[1200]
|
22 months |
jmaessen |
Some A* changes, plus a bug fix (bad type information given) in …
|
|
|
|
@1198
|
[1198]
|
22 months |
dr2chase |
Removed disabling comment on import; added implementation of API; split …
|
|
|
|
@1195
|
[1195]
|
22 months |
jdn |
Fortress syntax
|
|
|
|
@1193
|
[1193]
|
22 months |
jmaessen |
A* search example (half-baked and deliberately inefficient to shake
down …
|
|
|
|
@1186
|
[1186]
|
22 months |
jdn |
Fixed copyrights
|
|
|
|
@1183
|
[1183]
|
22 months |
jmaessen |
List and Set comprehensions. Caveat emptor: comprehensions whose
result …
|
|
|
|
@1176
|
[1176]
|
23 months |
jdn |
More syntax abstraction stuff
|
|
|
|
@1168
|
[1168]
|
23 months |
chf |
Updated Copyright Notices
|
|
|
|
@1165
|
[1165]
|
23 months |
jdn |
Disambiguation of syntax abstractions
|
|
|
|
@1164
|
[1164]
|
23 months |
sukyoungryu |
Implemented the revised tight juxtaposition rules and the revised syntax …
|
|
|
|
@1163
|
[1163]
|
23 months |
jmaessen |
Removed spurious asArray() method.
|
|
|
|
@1162
|
[1162]
|
23 months |
jmaessen |
Copied "Depracated" comment across from List.fss. I'd like to make
this …
|
|
|
|
@1152
|
[1152]
|
23 months |
chf |
Small hack to work around a bug for now
|
|
|
|
@1143
|
[1143]
|
23 months |
dr2chase |
This patch might fix the circular dependence bug in demos/Lambda on a …
|
|
|
|
@1121
|
[1121]
|
2 years |
jmaessen |
Replace a lot of uses of .generate by an appopriate reduction. This
does …
|
|
|
|
@1118
|
[1118]
|
2 years |
jmaessen |
Additional revisions to permit list comprehensions and the like to be …
|
|
|
|
@1114
|
[1114]
|
2 years |
sukyoungryu |
Renamed some AST nodes:
DottedName? -> APIName
AliasedDottedName? -> …
|
|
|
|
@1113
|
[1113]
|
2 years |
sukyoungryu |
Fixed a bug handling QualifiedName? in import statements.
|
|
|
|
@1112
|
[1112]
|
2 years |
sukyoungryu |
Implemented the new import-statement syntax.
|
|
|
|
@1102
|
[1102]
|
2 years |
jmaessen |
Added type-level reflection to compute covariant joins among types.
Fixed …
|
|
|
|
@1095
|
[1095]
|
2 years |
jmaessen |
Fiddled with reductions (particularly Sum reduction) in effort to get …
|
|
|
|
@1085
|
[1085]
|
2 years |
jmaessen |
Tweaked to remove bounds checks.
|
|
|
|
@1077
|
[1077]
|
2 years |
jmaessen |
Rather a grab bag:
Improved testing of Lists to shake down equality. This …
|
|
|
|
@1069
|
[1069]
|
2 years |
mspiegel |
In skip lists, updated skip() and break() methods to deal with more than …
|
|
|
|
@1068
|
[1068]
|
2 years |
sukyoungryu |
Removed SubscriptAssign?.
|
|
|
|
@1064
|
[1064]
|
2 years |
jdn |
Added copyright statements
|
|
|
|
@1063
|
[1063]
|
2 years |
jdn |
Added copyright statements
|
|
|
|
@1052
|
[1052]
|
2 years |
jdn |
A testcase for syntax abstractions
|
|
|
|
@1051
|
[1051]
|
2 years |
jdn |
Partial implementation of the Fortress AST. Missing nodes (as of today) …
|
|
|
|
@1048
|
[1048]
|
2 years |
EricAllen |
Modified type environments to return a new implicit type for a variable …
|
|
|
|
@1023
|
[1023]
|
2 years |
mspiegel |
Strengthened the trait declarations in the Skiplist implementation.
|
|
|
|
@1022
|
[1022]
|
2 years |
mspiegel |
In Skiplists, moved the height field from a constructor argument into a …
|
|
|
|
@1019
|
[1019]
|
2 years |
jmaessen |
Cleaned up ArrayList? drastically, removed a whole bunch of
instantiation, …
|
|
|
|
@1017
|
[1017]
|
2 years |
jmaessen |
Left out a crucial call to "sequential" in last refactoring. Fixed.
|
|
|
|
@1016
|
[1016]
|
2 years |
jmaessen |
1-D immutable arrays (actually initialization-only arrays, a subtle …
|
|
|
|
@1012
|
[1012]
|
2 years |
mspiegel |
Typo in skip lists api file.
|
|
|
|
@1011
|
[1011]
|
2 years |
mspiegel |
Two changes to SkipLists? data structure. (a) SkipLists? now support …
|
|
|
|
@1001
|
[1001]
|
2 years |
jmaessen |
Minor fixups, primarily to use chaining or shortcutting where it makes
the …
|
|
|
|
@992
|
[992]
|
2 years |
dr2chase |
Fixed an overloading 'misunderstanding'; opr= is now a functional method
|
|
|
|
@984
|
[984]
|
2 years |
jmaessen |
Accidentally checked-in file from a patching process. Should not be …
|
|
|
|
@976
|
[976]
|
2 years |
mspiegel |
In skiplist implementation, fixed a careless bug in the insert() method, …
|
|
|
|
@958
|
[958]
|
2 years |
mspiegel |
Added the remove(key) operation to skip lists. The merge() operation is …
|
|
|
|
@948
|
[948]
|
2 years |
mspiegel |
Fixed a fencepost bug and some related silly bugs in SkipList?.fss.
|
|
|
|
@947
|
[947]
|
2 years |
jmaessen |
Heaps (priority queues). Right now we just have pairing heaps. There
may …
|
|
|
|
@945
|
[945]
|
2 years |
mspiegel |
The start of an immutable implementation of skiplists. Currently supports …
|
|
|
|
@941
|
[941]
|
2 years |
jdn |
Conflicting import-stars (of types, at least -- that is tested) are left …
|
|
|
|
@932
|
[932]
|
2 years |
jdn |
Import * skips non-function names defined in the importer (doesn't fix …
|
|
|
|
@927
|
[927]
|
2 years |
jmaessen |
Fixed race condition in FileGenerator?.
|
|
|
|
@923
|
[923]
|
2 years |
jmaessen |
Fully-working version of File library (cleaned up the imports and made
the …
|
|
|
|
@919
|
[919]
|
2 years |
jmaessen |
Initial version of mutable Skip Lists, courtesy of Michael Spiegel.
|
|
|
|
@918
|
[918]
|
2 years |
jmaessen |
Fixed comment grammar.
|
|
|
|
@916
|
[916]
|
2 years |
jmaessen |
Minor bug fixes in libraries, plus a workaround to import problem
(simply …
|
|
|
|
@907
|
[907]
|
2 years |
jmaessen |
Added ReadStream, which should replace the BufferedReader wrapper that …
|
|
|
|
@906
|
[906]
|
2 years |
dr2chase |
Changes to get functional methods working properly from generic types
|
|
|
|
@899
|
[899]
|
2 years |
jmaessen |
Fixed some bugs in array contention management (we were aborting
null …
|
|
|
|
@897
|
[897]
|
2 years |
jmaessen |
Fixed bugs (type-incorrect map, missing type information on map calls) …
|
|
|
|
@888
|
[888]
|
2 years |
jmaessen |
New and completely different implementation of transactional arrays.
Uses …
|
|
|
|
@885
|
[885]
|
2 years |
jmaessen |
Applied Set patch from Michael Spiegel, with minor tweak to fix type …
|
|
|
|
@884
|
[884]
|
2 years |
jmaessen |
Marked stuff that'll need to be changed from typecase to overloading
in …
|
|
|
|
