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