|
|
|
@1826
|
[1826]
|
18 months |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@1816
|
[1816]
|
18 months |
dr2chase |
Added test for bug #126, fixed bug #126
|
|
|
|
@1775
|
[1775]
|
18 months |
jmaessen |
Fix for #125, and uses of // operator where appropriate (and
appropriately …
|
|
|
|
@1762
|
[1762]
|
18 months |
dr2chase |
Added subtype-result-type test to overloading consistency check
|
|
|
|
@1729
|
[1729]
|
18 months |
dr2chase |
Added test for method inference, made static-checker switchable with a …
|
|
|
|
@1716
|
[1716]
|
18 months |
jmaessen |
Spent a while trying to hunt down stuff related to bug #116. Didn't …
|
|
|
|
@1704
|
[1704]
|
18 months |
jmaessen |
Fixed some more type signature messups.
|
|
|
|
@1703
|
[1703]
|
18 months |
jmaessen |
Test case that reproduces #115.
|
|
|
|
@1702
|
[1702]
|
18 months |
sukyoungryu |
Overloading of local functions is not implemented. (Ticket #113)
|
|
|
|
@1665
|
[1665]
|
19 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1659
|
[1659]
|
19 months |
jmaessen |
Bug fixes and performance improvements. Make sure we allocate …
|
|
|
|
@1597
|
[1597]
|
19 months |
jmaessen |
Refactored libraries to move arithmetic operators from top level into
the …
|
|
|
|
@1486
|
[1486]
|
20 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1474
|
[1474]
|
20 months |
jmaessen |
Some code cleanups in SkipList? (occasioned by mention of the code in …
|
|
|
|
@1419
|
[1419]
|
20 months |
sukyoungryu |
Replaced the settable modifier with var.
|
|
|
|
@1400
|
[1400]
|
20 months |
jmaessen |
Renamed ArrayList? to List.
|
|
|
|
@1394
|
[1394]
|
20 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1386
|
[1386]
|
20 months |
dr2chase |
Added -test and -debug flags to new fortress command; also partial …
|
|
|
|
@1358
|
[1358]
|
21 months |
jmaessen |
Fixes to exception behavior of Set and Map. Map now supports disjoint …
|
|
|
|
@1331
|
[1331]
|
21 months |
sukyoungryu |
Fixed copyright notices.
|
|
|
|
@1328
|
[1328]
|
21 months |
dr2chase |
Changed generic-overloading semantics -- ambiguity is removed
|
|
|
|
@1321
|
[1321]
|
21 months |
jmaessen |
Fixed ordering of Comparisons (!), which were causing RangeTest? to
fail …
|
|
|
|
@1304
|
[1304]
|
22 months |
sukyoungryu |
Fixed copyright notices and did some clean up.
|
|
|
|
@1303
|
[1303]
|
22 months |
dr2chase |
Moved now-passing test into tests
|
|
|
|
@1282
|
[1282]
|
22 months |
EricAllen |
Added checks on dimensions and units to disambiguator. Added a top-level …
|
|
|
|
@1277
|
[1277]
|
22 months |
sukyoungryu |
Separated DimDecl? and UnitDecl? from DimUnitDecl?.
|
|
|
|
@1272
|
[1272]
|
22 months |
dr2chase |
Static checker now on by default
|
|
|
|
@1232
|
[1232]
|
22 months |
jmaessen |
asif now works. Lots of code cleanup to the function application
code, …
|
|
|
|
@1206
|
[1206]
|
22 months |
jmaessen |
Commented-out fix for bug #62, along with test case. Does not affect …
|
|
|
|
@1140
|
[1140]
|
23 months |
sukyoungryu |
ProjectFortress?/not_passing_yet/examples.fss is replaced by …
|
|
|
|
@1128
|
[1128]
|
2 years |
sukyoungryu |
Fixed a bug: reduction expressions were parsed as operator applications.
|
|
|
|
@1121
|
[1121]
|
2 years |
jmaessen |
Replace a lot of uses of .generate by an appopriate reduction. This
does …
|
|
|
|
@1120
|
[1120]
|
2 years |
jmaessen |
Incorrectly parses "SUM x" as an OprExpr?.
|
|
|
|
@1113
|
[1113]
|
2 years |
sukyoungryu |
Fixed a bug handling QualifiedName? in import statements.
|
|
|
|
@1112
|
[1112]
|
2 years |
sukyoungryu |
Implemented the new import-statement syntax.
|
|
|
|
@1110
|
[1110]
|
2 years |
sukyoungryu |
1. Implemented the new where-clause syntax.
2. SUM and PROD are …
|
|
|
|
@1108
|
[1108]
|
2 years |
jmaessen |
BIG operator desugaring. You should now be able to defined BIG
operators …
|
|
|
|
@1104
|
[1104]
|
2 years |
jmaessen |
More tweaking in preparation for desugaring comprehensions. Most of
the …
|
|
|
|
@1103
|
[1103]
|
2 years |
jmaessen |
Some test tinkering in preparation for implementing Accumulator …
|
|
|
|
@1095
|
[1095]
|
2 years |
jmaessen |
Fiddled with reductions (particularly Sum reduction) in effort to get …
|
|
|
|
@1079
|
[1079]
|
2 years |
jmaessen |
Sukyoung found a bug in generic overloading, which has been worked
around …
|
|
|
|
@1077
|
[1077]
|
2 years |
jmaessen |
Rather a grab bag:
Improved testing of Lists to shake down equality. This …
|
|
|
|
@1074
|
[1074]
|
2 years |
jmaessen |
Removed exclusion workarounds from overload tests. Added somewhat
more …
|
|
|
|
@1030
|
[1030]
|
2 years |
sukyoungryu |
Fixed a parser bug: Tightly juxtaposed chaining fails during Resolve …
|
|
|
|
@1027
|
[1027]
|
2 years |
sukyoungryu |
A top-level array declaration is not working.
|
|
|
|
@1021
|
[1021]
|
2 years |
sukyoungryu |
Object trait types are not allowed to appear in extends clauses.
|
|
|
|
@1015
|
[1015]
|
2 years |
dr2chase |
Moved passing test, into tests
|
|
|
|
@1014
|
[1014]
|
2 years |
dr2chase |
Check output for correctness
|
|
|
|
@1004
|
[1004]
|
2 years |
jmaessen |
Fixed by r999.
|
|
|
|
@1002
|
[1002]
|
2 years |
jmaessen |
Tightly juxtaposed chaining fails during Resolve.
|
|
|
|
@999
|
[999]
|
2 years |
dr2chase |
Fixed buggy import of singleton objects
|
|
|
|
@996
|
[996]
|
2 years |
jmaessen |
The spec actually says this should left-associate, so I guess this
test …
|
|
|
|
@995
|
[995]
|
2 years |
jmaessen |
Corrected to be in line with the spec: no loose juxtaposition of ^
(this …
|
|
|
|
@994
|
[994]
|
2 years |
jmaessen |
Non-parametric objects are not being imported at all. This may mean
in …
|
|
|
|
@993
|
[993]
|
2 years |
jmaessen |
We can parse the first binding "x = 232" in this file, though I
think we …
|
|
|
|
@992
|
[992]
|
2 years |
dr2chase |
Fixed an overloading 'misunderstanding'; opr= is now a functional method
|
|
|
|
@989
|
[989]
|
2 years |
sukyoungryu |
Added a test file for non-working array pasting.
|
|
|
|
@988
|
[988]
|
2 years |
jmaessen |
Conditional operators.
|
|
|
|
@985
|
[985]
|
2 years |
jmaessen |
Generated expressions. Very straightforward, they desugar just like …
|
|
|
|
@977
|
[977]
|
2 years |
sukyoungryu |
Added a non-working test for generated expressions.
|
|
|
|
@973
|
[973]
|
2 years |
sukyoungryu |
Added a non-working test for conditional operators.
|
|
|
|
@916
|
[916]
|
2 years |
jmaessen |
Minor bug fixes in libraries, plus a workaround to import problem
(simply …
|
|
|
|
@914
|
[914]
|
2 years |
chf |
Nested Transactions
|
|
|
|
@898
|
[898]
|
2 years |
chf |
Temporarily move tennisRanking.fss to not_passing_yet until we fix import …
|
|
|
|
@873
|
[873]
|
2 years |
sukyoungryu |
Moved SubscriptedExpr?.fss from not_passing_yet to tests.
|
|
|
|
@853
|
[853]
|
2 years |
dr2chase |
Fixed bug #15; see bug for details, but it involved making overloaded …
|
|
|
|
@849
|
[849]
|
2 years |
chf |
Moved PureListQuick?.fss to not_passing_yet
|
|
|
|
@845
|
[845]
|
2 years |
dr2chase |
Fix for bug #13.
|
|
|
|
@837
|
[837]
|
2 years |
dr2chase |
Fixed Bug #12
|
|
|
|
@835
|
[835]
|
2 years |
dr2chase |
Made single functions implement HasAt? (helps with locating things). …
|
|
|
|
@824
|
[824]
|
2 years |
jmaessen |
List in ArrayList? now extends Indexable.
Had trouble with reference to …
|
|
|
|
@820
|
[820]
|
2 years |
jmaessen |
Two failing tests, each of which prevents us from using functional
methods …
|
|
|
|
@807
|
[807]
|
2 years |
chf |
Implementing fair threads, fixing a bug with wrapping error messages, …
|
|
|
|
@772
|
[772]
|
2 years |
jmaessen |
Added NativeMeth? class and did some simple cleanup of extant native …
|
|
|
|
@770
|
[770]
|
2 years |
sukyoungryu |
Added parsing big operators.
|
|
|
|
@761
|
[761]
|
2 years |
jmaessen |
Commented out code that will never be correct, leaving the code that …
|
|
|
|
@759
|
[759]
|
2 years |
chf |
Atomic arrays
|
|
|
|
@708
|
[708]
|
2 years |
jmaessen |
Moved four tests out of not_passing_yet after minor tweaks. Removed
some …
|
|
|
|
@706
|
[706]
|
2 years |
jmaessen |
Updated information on outstanding errors.
|
|
|
|
@700
|
[700]
|
2 years |
jmaessen |
Null pointer exception was due to passing uninstantiated type to
function …
|
|
|
|
@699
|
[699]
|
2 years |
jmaessen |
Null pointer exception while summing list.
|
|
|
|
@698
|
[698]
|
2 years |
jmaessen |
Can't overload equality across a module boundary, when equality is
defined …
|
|
|
|
@697
|
[697]
|
2 years |
jmaessen |
Tweaked to make sure both examples are well-formed.
|
|
|
|
@693
|
[693]
|
2 years |
sukyoungryu |
Dimensions and units are parsed but not yet interpreted. Moved the test …
|
|
|
|
@690
|
[690]
|
2 years |
dr2chase |
First cut at opr parameters, including tests. Fixed wrong package names …
|
|
|
|
@689
|
[689]
|
2 years |
jmaessen |
More refactoring; found bug in type imports (TypeImportBug?.fss) whose …
|
|
|
|
@684
|
[684]
|
2 years |
dr2chase |
Steps towards Opr parameters; also cleaned up many minor Eclipse-warnings
|
|
|
|
@683
|
[683]
|
2 years |
sukyoungryu |
Implemented syntax and parsing of static arguments.
|
|
|
|
@682
|
[682]
|
2 years |
sukyoungryu |
Implemented syntax and parsing of unit expressions.
|
|
|
|
@678
|
[678]
|
2 years |
sukyoungryu |
Fixed bugs in handling bindings in typecase expressions. Moved …
|
|
|
|
@663
|
[663]
|
2 years |
dr2chase |
Intermediate step in adding opr parameters -- some debugging printlns, …
|
|
|
|
@601
|
[601]
|
2 years |
chf |
Removed use of DSTM2 Adapters.
|
|
|
|
@598
|
[598]
|
2 years |
dr2chase |
Improvements to type inference:
- observes "A extends GroundType?" in …
|
|
|
|
@583
|
[583]
|
2 years |
dr2chase |
Fixed (?) doubled overloading bug; general cleanup to remove various field …
|
|
|
|
@580
|
[580]
|
2 years |
sukyoungryu |
Now, this program can be parsed.
|
|
|
|
@428
|
[428]
|
2 years |
jmaessen |
Removed a tonne of gratuitous type parameters now that we support …
|
|
|
|
@427
|
[427]
|
2 years |
jmaessen |
This seems to be the minimal code which will reproduce the bug David
was …
|
|
|
|
@426
|
[426]
|
2 years |
jmaessen |
We ought to spot this bad overloading. I've tried to make it as easy
and …
|
|
|
|
@414
|
[414]
|
2 years |
dr2chase |
Made method initialization a bit lazier, except at the top level (for …
|
|
|
|
@412
|
[412]
|
2 years |
sukyoungryu |
The rhs of a typecase clause should be a block.
|
|
|
|
