|
|
|
@3756
|
[3756]
|
6 months |
sukyoungryu |
[disambiguator] Implemented checking whether imported names are indeed …
|
|
|
|
@3715
|
[3715]
|
7 months |
sukyoungryu |
[export checker] Improved error messages. Added a test.
|
|
|
|
@3648
|
[3648]
|
7 months |
sukyoungryu |
[static checker] Implemented a simple comprises clause check. Added a …
|
|
|
|
@3633
|
[3633]
|
8 months |
sukyoungryu |
[export checker] Fixed a bug checking trait/object members in APIs and …
|
|
|
|
@3604
|
[3604]
|
8 months |
sukyoungryu |
[compiler tests] Moved Compiled1.b to Compiled3.a.
|
|
|
|
@3553
|
[3553]
|
8 months |
sukyoungryu |
[syntactic abstraction] Fixed hygienic renaming. Added the LetCC example.
|
|
|
|
@3551
|
[3551]
|
9 months |
sukyoungryu |
[static overloading check] Implemented a very simple overloading check: …
|
|
|
|
@3518
|
[3518]
|
9 months |
sukyoungryu |
[export checker] Implemented the new static check: Multiple APIs exported …
|
|
|
|
@3179
|
[3179]
|
12 months |
sukyoungryu |
[library] The language and package bindings in native components should be …
|
|
|
|
@3034
|
[3034]
|
13 months |
sukyoungryu |
[parser] Simplified grammar for dimensions and units.
[copyright] Fixed …
|
|
|
|
@3029
|
[3029]
|
13 months |
jmaessen |
Add test for reporting of imported entities that are not present in
the …
|
|
|
|
@2633
|
[2633]
|
16 months |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@2609
|
[2609]
|
16 months |
EricAllen |
Turned on shadowing detection, after fixing remaining bugs in the detector …
|
|
|
|
@2193
|
[2193]
|
17 months |
angelee |
[compiler] more moving files around.
|
|
|
|
@2191
|
[2191]
|
17 months |
angelee |
[compiler] Just moving test files around.
|
|
|
|
@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 …
|
|
|
|
