|
|
|
@2271
|
[2271]
|
17 months |
jmaessen |
Fixed demos to use the grand new typing regime for ZZ32.
|
|
|
|
@2167
|
[2167]
|
17 months |
nbeckman |
[demos] All four of these files has disambiguation errors.
|
|
|
|
@2166
|
[2166]
|
17 months |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@2164
|
[2164]
|
17 months |
jmaessen |
[Libraries]
Changed Integral to be a parametric type Integral[\I\]. This …
|
|
|
|
@2155
|
[2155]
|
17 months |
jmaessen |
Fixed bug / oversight in bounds checking and narrowing of partial
ranges …
|
|
|
|
@2041
|
[2041]
|
17 months |
sukyoungryu |
[tests] 1. Fixed unparenthesized equality testing expressions.
2. Fixed …
|
|
|
|
@1969
|
[1969]
|
18 months |
sukyoungryu |
[tests] Added a control flow analyzer for core Fortress programs in the …
|
|
|
|
@1827
|
[1827]
|
18 months |
jmaessen |
Fixed generator (the fix only got partially migrated)
|
|
|
|
@1825
|
[1825]
|
18 months |
jmaessen |
New comprehension/reduction desugaring (part I). Big operators now
take …
|
|
|
|
@1786
|
[1786]
|
18 months |
jmaessen |
New Reduction type hierarchy, in preparation for the new comprehension …
|
|
|
|
@1778
|
[1778]
|
18 months |
jmaessen |
Minor fixes to demos.
|
|
|
|
@1775
|
[1775]
|
18 months |
jmaessen |
Fix for #125, and uses of // operator where appropriate (and
appropriately …
|
|
|
|
@1771
|
[1771]
|
18 months |
jmaessen |
Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||,
BIG …
|
|
|
|
@1712
|
[1712]
|
18 months |
dr2chase |
Getting rid of some dead classes identified in the bootcamp
|
|
|
|
@1700
|
[1700]
|
18 months |
jmaessen |
Fixed embarassing errors in result types of some methods.
|
|
|
|
@1693
|
[1693]
|
18 months |
dr2chase |
Made build-and-test immune to incorrectly set FORTRESS_HOME
|
|
|
|
@1659
|
[1659]
|
19 months |
jmaessen |
Bug fixes and performance improvements. Make sure we allocate …
|
|
|
|
@1638
|
[1638]
|
19 months |
jmaessen |
Mostly performance tweaking, but includes a speculative fix to …
|
|
|
|
@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. …
|
|
|
|
@1561
|
[1561]
|
19 months |
chf |
More data files for wordcount demo
|
|
|
|
@1560
|
[1560]
|
19 months |
chf |
Use absolute pathnames in word count demos
|
|
|
|
@1555
|
[1555]
|
19 months |
chf |
Updating J1 demo files
|
|
|
|
@1542
|
[1542]
|
19 months |
jmaessen |
Fixed bug in Set that was causing sudoku to fail.
|
|
|
|
@1540
|
[1540]
|
19 months |
jmaessen |
Modified Map, Set, and Heap to use a consistent api for …
|
|
|
|
@1537
|
[1537]
|
19 months |
chf |
embiggen demo
|
|
|
|
@1535
|
[1535]
|
19 months |
jmaessen |
Give an idea of how the embiggen function can be used to embiggen an …
|
|
|
|
@1533
|
[1533]
|
19 months |
chf |
first cut at j1 demo
|
|
|
|
@1506
|
[1506]
|
20 months |
jmaessen |
Foolishly failed to change *all* occurrences of BufferedWriter? to …
|
|
|
|
@1502
|
[1502]
|
20 months |
jmaessen |
New numerics story required inserting an "asif" in one place.
|
|
|
|
@1496
|
[1496]
|
20 months |
jmaessen |
Re-nativized Char, and ripped out all mention of FTypeChar. Changed
the …
|
|
|
|
@1493
|
[1493]
|
20 months |
jmaessen |
Eliminated BufferedWriter? and replaced with FileReadStream? in the File …
|
|
|
|
@1489
|
[1489]
|
20 months |
jmaessen |
Chunked sparse array implementation that maintains a bitmap of
explicitly …
|
|
|
|
@1488
|
[1488]
|
20 months |
jmaessen |
Quick half-hour hack based on "Computing Science" column in recent …
|
|
|
|
@1487
|
[1487]
|
20 months |
sukyoungryu |
Use the new generalized if expressions even more!
|
|
|
|
@1482
|
[1482]
|
20 months |
jmaessen |
Fixed a couple of mis-translations
|
|
|
|
@1481
|
[1481]
|
20 months |
jmaessen |
Binding maybe values in if. This touched far more files than I was …
|
|
|
|
@1476
|
[1476]
|
20 months |
jmaessen |
Nativized String. TODO: Remove FTypeString and its ken.
|
|
|
|
@1474
|
[1474]
|
20 months |
jmaessen |
Some code cleanups in SkipList? (occasioned by mention of the code in …
|
|
|
|
@1471
|
[1471]
|
20 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1467
|
[1467]
|
20 months |
sukyoungryu |
Implemented the generalized if expression proposal:
if generators
…
|
|
|
|
@1463
|
[1463]
|
20 months |
jmaessen |
Depracate size() in favor of |self|, which is much more elegant on the …
|
|
|
|
@1419
|
[1419]
|
20 months |
sukyoungryu |
Replaced the settable modifier with var.
|
|
|
|
@1418
|
[1418]
|
20 months |
chf |
Fixed a copyright notice
|
|
|
|
@1417
|
[1417]
|
20 months |
sukyoungryu |
Fixed broken demo tests by providing more type information.
|
|
|
|
@1402
|
[1402]
|
20 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1400
|
[1400]
|
20 months |
jmaessen |
Renamed ArrayList? to List.
|
|
|
|
@1374
|
[1374]
|
21 months |
jmaessen |
Fixed sequential generator code for Set and Map (we recursed to the
wrong …
|
|
|
|
@1369
|
[1369]
|
21 months |
jmaessen |
Fixed references to generic singleton Concat[\...\].
|
|
|
|
@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 …
|
|
|
|
@1249
|
[1249]
|
22 months |
jmaessen |
Made several demos pass static checking. Only tennisRanking remains,
see …
|
|
|
|
@1239
|
[1239]
|
22 months |
jmaessen |
Tons of random changes to library, including final depracation of …
|
|
|
|
@1232
|
[1232]
|
22 months |
jmaessen |
asif now works. Lots of code cleanup to the function application
code, …
|
|
|
|
@1216
|
[1216]
|
22 months |
jmaessen |
Added some timing code, to show just how slow this stuff runs in the …
|
|
|
|
@1211
|
[1211]
|
22 months |
jmaessen |
Eliminated race condition, and better compartmentalized updates to
cands …
|
|
|
|
@1206
|
[1206]
|
22 months |
jmaessen |
Commented-out fix for bug #62, along with test case. Does not affect …
|
|
|
|
@1204
|
[1204]
|
22 months |
jmaessen |
Reasonably efficient aStar implementation. Solves one square at a
time …
|
|
|
|
@1200
|
[1200]
|
22 months |
jmaessen |
Some A* changes, plus a bug fix (bad type information given) in …
|
|
|
|
@1197
|
[1197]
|
22 months |
jmaessen |
Version with some more fixes. This hopefully ought to work, and is
less …
|
|
|
|
@1194
|
[1194]
|
22 months |
jmaessen |
Fix some bugs and plumb some types.
|
|
|
|
@1193
|
[1193]
|
22 months |
jmaessen |
A* search example (half-baked and deliberately inefficient to shake
down …
|
|
|
|
@1183
|
[1183]
|
22 months |
jmaessen |
List and Set comprehensions. Caveat emptor: comprehensions whose
result …
|
|
|
|
@1168
|
[1168]
|
23 months |
chf |
Updated Copyright Notices
|
|
|
|
@1152
|
[1152]
|
23 months |
chf |
Small hack to work around a bug for now
|
|
|
|
@1149
|
[1149]
|
23 months |
dr2chase |
Intepreter now runs from caching fortress repository; file names and …
|
|
|
|
@1121
|
[1121]
|
2 years |
jmaessen |
Replace a lot of uses of .generate by an appopriate reduction. This
does …
|
|
|
|
@1113
|
[1113]
|
2 years |
sukyoungryu |
Fixed a bug handling QualifiedName? in import statements.
|
|
|
|
@1112
|
[1112]
|
2 years |
sukyoungryu |
Implemented the new import-statement syntax.
|
|
|
|
@1095
|
[1095]
|
2 years |
jmaessen |
Fiddled with reductions (particularly Sum reduction) in effort to get …
|
|
|
|
@1066
|
[1066]
|
2 years |
jmaessen |
Equality, partial ordering, and total ordering.
Right now things are …
|
|
|
|
@1009
|
[1009]
|
2 years |
jmaessen |
Accidentally deleted one line of code too many! Fixed.
|
|
|
|
@1008
|
[1008]
|
2 years |
jmaessen |
I've done what every functional programmer does when handed a new …
|
|
|
|
@1007
|
[1007]
|
2 years |
jmaessen |
Fixed bug in generating sequential tuple ranges (#43). Added parsing
and …
|
|
|
|
@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
|
|
|
|
@955
|
[955]
|
2 years |
jmaessen |
Fixed parallelism bug in a way that tries to maximize available …
|
|
|
|
@947
|
[947]
|
2 years |
jmaessen |
Heaps (priority queues). Right now we just have pairing heaps. There
may …
|
|
|
|
@923
|
[923]
|
2 years |
jmaessen |
Fully-working version of File library (cleaned up the imports and made
the …
|
|
|
|
@916
|
[916]
|
2 years |
jmaessen |
Minor bug fixes in libraries, plus a workaround to import problem
(simply …
|
|
|
|
@905
|
[905]
|
2 years |
jmaessen |
Fixed two bugs introduced by library changes.
|
|
|
|
@898
|
[898]
|
2 years |
chf |
Temporarily move tennisRanking.fss to not_passing_yet until we fix import …
|
|
|
|
@883
|
[883]
|
2 years |
jmaessen |
Stable version with tons of library changes, and a few transction
changes: …
|
|
|
|
@866
|
[866]
|
2 years |
jmaessen |
More minor tweaks to make functional method transition easier.
|
|
|
|
@819
|
[819]
|
2 years |
jmaessen |
Swapped argument order to array put so that th index comes first.
Made all …
|
|
|
|
@816
|
[816]
|
2 years |
jmaessen |
Fixed bug due to generator refactoring.
|
|
|
|
@812
|
[812]
|
2 years |
jmaessen |
Fixed bugs in demos due to library refactoring.
|
|
|
|
@768
|
[768]
|
2 years |
jmaessen |
Fiddled with error reporting. We now get additional contextual …
|
|
|
|
@762
|
[762]
|
2 years |
jmaessen |
ArrayList? created for a bake-off with PureList?. Seems to have scaling …
|
|
|
|
@708
|
[708]
|
2 years |
jmaessen |
Moved four tests out of not_passing_yet after minor tweaks. Removed
some …
|
|
|
|
@695
|
[695]
|
2 years |
dr2chase |
Applied refactoring from r687
|
|
|
|
@689
|
[689]
|
2 years |
jmaessen |
More refactoring; found bug in type imports (TypeImportBug?.fss) whose …
|
|
|
|
@643
|
[643]
|
2 years |
jmaessen |
Generator-ified Set (except that the api does not reflect this fact
due to …
|
|
|
|
@642
|
[642]
|
2 years |
jmaessen |
Changed ".empty()" to ".isEmpty()" everywhere appropriate. This makes …
|
|
|
|
@636
|
[636]
|
2 years |
jmaessen |
Added zip, filter and range indexing to PureList?.
Failed to add equality …
|
|
|
|
@613
|
[613]
|
2 years |
jmaessen |
Fixed bug (missed identifier renaming) which I thought I'd already
fixed …
|
|
|
|
@603
|
[603]
|
2 years |
jmaessen |
Mid-point revision to PureList?, because stuff keeps breaking due to …
|
|
|
|
@598
|
[598]
|
2 years |
dr2chase |
Improvements to type inference:
- observes "A extends GroundType?" in …
|
|
|
|
@562
|
[562]
|
2 years |
jmaessen |
No longer necessary to keep two copies of conjGrad code around; the
one …
|
|
|
|
@529
|
[529]
|
2 years |
jmaessen |
Checking in version which actually runs out of resources on my laptop,
at …
|
|
|
|