|
|
|
@4289
|
[4289]
|
4 weeks |
sukyoungryu |
[types util] Fixed the inheritedMethods to handle method overriding. …
|
|
|
|
@4287
|
[4287]
|
4 weeks |
chf |
birdcount0
|
|
|
|
@4286
|
[4286]
|
4 weeks |
sukyoungryu |
[self type idiom] Added more tests.
[type checker] Moved the …
|
|
|
|
@4285
|
[4285]
|
5 weeks |
jrhil47 |
[Constraint Formulas] Made scala constraints normalize types. Decoupled …
|
|
|
|
@4283
|
[4283]
|
5 weeks |
jmaessen |
[codegen] Refactored forwarding method generation into …
|
|
|
|
@4281
|
[4281]
|
5 weeks |
sukyoungryu |
[type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
|
|
|
|
@4280
|
[4280]
|
5 weeks |
jrhil47 |
[AST] Made the throws clause allow types that are not base types.
|
|
|
|
@4279
|
[4279]
|
5 weeks |
sukyoungryu |
[self type idiom] Implemented checking of whether a type mentioned in a …
|
|
|
|
@4278
|
[4278]
|
5 weeks |
jrhil47 |
[TypeAnalyzer?] cleaned up reduce product
|
|
|
|
@4277
|
[4277]
|
5 weeks |
sukyoungryu |
[self type idiom] A trait with a comprises ... should not be extended. …
|
|
|
|
@4276
|
[4276]
|
5 weeks |
jrhil47 |
[Type Analyzer] Fixed an infinite loop due to forgetting to return True …
|
|
|
|
@4275
|
[4275]
|
5 weeks |
sukyoungryu |
[self type idiom] Implemented the new self-type idiom proposal.
|
|
|
|
@4274
|
[4274]
|
5 weeks |
skilpat |
[type checker] Fixed bug that prevented expected types from propagating in …
|
|
|
|
@4273
|
[4273]
|
5 weeks |
jmaessen |
[library, tests] Added simple Treap library that is non-parametric in
the …
|
|
|
|
@4272
|
[4272]
|
5 weeks |
jmaessen |
[library] Added randomness (courtesy the jsr166y ThreadLocalRandom?) to …
|
|
|
|
@4270
|
[4270]
|
5 weeks |
jrhil47 |
[TypeAnalyzer?] Added code to tell when two types cover the same tags.
|
|
|
|
@4267
|
[4267]
|
5 weeks |
jrhil47 |
[Type Analyzer] Fixed the way that union and intersections interact with …
|
|
|
|
@4262
|
[4262]
|
6 weeks |
dr2chase |
Minor fix required to at least compile (incorrectly) Compiled11
|
|
|
|
@4261
|
[4261]
|
6 weeks |
sukyoungryu |
[index builder] Fixed handling the new self type in IndexBuilder?.
|
|
|
|
@4260
|
[4260]
|
6 weeks |
sukyoungryu |
[interpreter] Hacked handling of intersection types and union types in the …
|
|
|
|
@4259
|
[4259]
|
6 weeks |
sukyoungryu |
[self-type idiom] Implemented the new self type. Rewrote …
|
|
|
|
@4258
|
[4258]
|
6 weeks |
jrhil47 |
[Type analyzer] Fixed a bug in normalization.
|
|
|
|
@4255
|
[4255]
|
6 weeks |
jmaessen |
[testing] Fixed the bug in Compiled10 so that it now works! Added
some …
|
|
|
|
@4254
|
[4254]
|
6 weeks |
jmaessen |
[testing] eliminate printlnZZ32 in favor of overloaded println. This …
|
|
|
|
@4253
|
[4253]
|
6 weeks |
dr2chase |
Turned off noisy code generation for function expansion flag
|
|
|
|
@4252
|
[4252]
|
6 weeks |
dr2chase |
Generic function instantiation working; chain-equality not working
|
|
|
|
@4251
|
[4251]
|
6 weeks |
jrhil47 |
[Type Analyzer] Turned on the new type analyzer.
|
|
|
|
@4248
|
[4248]
|
6 weeks |
jmaessen |
[codegen] Abstract dotted methods in trait declarations, first cut.
|
|
|
|
@4247
|
[4247]
|
6 weeks |
dr2chase |
Generics now instantiate with Java type names, not Fortress type names
|
|
|
|
@4246
|
[4246]
|
6 weeks |
jmaessen |
[codegen] Refactoring of FnDecl? code generation, preparing support for …
|
|
|
|
@4245
|
[4245]
|
6 weeks |
jrhil47 |
[Type analyzer] Updated the type lattice to normalize using …
|
|
|
|
@4244
|
[4244]
|
6 weeks |
dr2chase |
Changed to single-level mangling; slightly rationalized naming of internal …
|
|
|
|
@4242
|
[4242]
|
7 weeks |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@4241
|
[4241]
|
7 weeks |
skilpat |
[coercions] More accurate overloadings for coercion invocation FnRefs.
|
|
|
|
@4238
|
[4238]
|
7 weeks |
jmaessen |
[compiler] Put new ChainExpr? desugaring in place. Needed some minor …
|
|
|
|
@4236
|
[4236]
|
7 weeks |
dr2chase |
Tweaked encoding of closures and generics
|
|
|
|
@4235
|
[4235]
|
7 weeks |
jrhil47 |
[Type Checker] New type analyzer (Not turned on yet). A test framework for …
|
|
|
|
@4234
|
[4234]
|
7 weeks |
jmaessen |
[codegen, library] Consolidated all generator-related mockups into …
|
|
|
|
@4233
|
[4233]
|
7 weeks |
dr2chase |
New mangling methods and tests
|
|
|
|
@4229
|
[4229]
|
7 weeks |
jmaessen |
[codegen] Parallel evaluation of tuple expressions in binding position …
|
|
|
|
@4228
|
[4228]
|
7 weeks |
dr2chase |
Additional cleanup (mostly making methods private, deprecating suspect …
|
|
|
|
@4227
|
[4227]
|
7 weeks |
jmaessen |
[codegen] multiple value definitions in code---but only if the rhs is
a …
|
|
|
|
@4225
|
[4225]
|
7 weeks |
sukyoungryu |
[type checker] Implemented type checking of contracts and fixed type …
|
|
|
|
@4224
|
[4224]
|
7 weeks |
jmaessen |
Minor tweaks cleaning up after debug session.
|
|
|
|
@4222
|
[4222]
|
7 weeks |
dr2chase |
Another missing file
|
|
|
|
@4221
|
[4221]
|
7 weeks |
skilpat |
[coercions] Fixed coercion desugarer to include return types on FnExprs …
|
|
|
|
@4220
|
[4220]
|
7 weeks |
dr2chase |
Missing class from last commit
|
|
|
|
@4219
|
[4219]
|
7 weeks |
skilpat |
[type checker] Overloadings are no longer dynamically applicable if they …
|
|
|
|
@4218
|
[4218]
|
7 weeks |
dr2chase |
Some steps towards Compiled10, but also some cleanups in anticipation of …
|
|
|
|
@4217
|
[4217]
|
7 weeks |
skilpat |
[type checker] Fixed type checking of applications involving a method with …
|
|
|
|
@4216
|
[4216]
|
7 weeks |
sukyoungryu |
[type checker] Implemented type checking of array expressions. Tested by …
|
|
|
|
@4215
|
[4215]
|
8 weeks |
skilpat |
[type checker] Fixed error message issue preventing CaseExpr from being …
|
|
|
|
@4214
|
[4214]
|
8 weeks |
sukyoungryu |
[type checker] Implemented type checking of case expressions. It should …
|
|
|
|
@4211
|
[4211]
|
8 weeks |
skilpat |
[coercions] Added lifting of coercion declarations and definitions!! (Look …
|
|
|
|
@4210
|
[4210]
|
8 weeks |
skilpat |
[coercions] Fixed coercion invocation functions. Canonicalized lifted …
|
|
|
|
@4207
|
[4207]
|
8 weeks |
jmaessen |
[rts] Tweak thread thresholds, fix join/helpJoin distinction based on
more …
|
|
|
|
@4205
|
[4205]
|
2 months |
jmaessen |
[codegen] Complete rewrite of top-level binding handling.
Previously top …
|
|
|
|
@4204
|
[4204]
|
2 months |
sukyoungryu |
[type checker] Implemented type checking of 'try' and 'throw'. Added …
|
|
|
|
@4203
|
[4203]
|
2 months |
jmaessen |
[codegen, rts] Fixes to top-level bindings to handle parallelism found …
|
|
|
|
@4201
|
[4201]
|
2 months |
skilpat |
[coercions] Added CoercionLifter to move coercion declarations to …
|
|
|
|
@4198
|
[4198]
|
2 months |
sukyoungryu |
[static checker] Fixed static checks for comprises clauses with generic …
|
|
|
|
@4196
|
[4196]
|
2 months |
skilpat |
[desugarer] Fixed some spans in the desugarers. Wrote a corrected …
|
|
|
|
@4194
|
[4194]
|
2 months |
jmaessen |
Make most fields final by default.
|
|
|
|
@4193
|
[4193]
|
2 months |
jmaessen |
[codegen] cross-component references to top-level variables.
|
|
|
|
@4192
|
[4192]
|
2 months |
sukyoungryu |
[environment] Fixed handling of operators with different fixities as …
|
|
|
|
@4191
|
[4191]
|
2 months |
skilpat |
[desugarer] Added ChainExprDesugarer after type checking. All …
|
|
|
|
@4190
|
[4190]
|
2 months |
sukyoungryu |
[environment] Reverted changes in r4187.
|
|
|
|
@4187
|
[4187]
|
2 months |
sukyoungryu |
[static checker] Implemented static checks for operator imports. Fixed …
|
|
|
|
@4186
|
[4186]
|
2 months |
sukyoungryu |
[type checker] Implemented type checking of label and exit expressions. …
|
|
|
|
@4185
|
[4185]
|
2 months |
sukyoungryu |
[ast] Replaced List<Expr> with Block for the body of LetExpr?.
|
|
|
|
@4183
|
[4183]
|
2 months |
skilpat |
[type checker] Fixed bug with error messages printing string format …
|
|
|
|
@4182
|
[4182]
|
2 months |
jmaessen |
[codegen] Fix infelicities in reporting of internal compiler errors.
|
|
|
|
@4180
|
[4180]
|
2 months |
jmaessen |
[testing] Correctly signal when nonexistent file is passed to fortress …
|
|
|
|
@4178
|
[4178]
|
2 months |
sukyoungryu |
[tests] Moved 10 static tests from not_working_static_tests/ to …
|
|
|
|
@4176
|
[4176]
|
2 months |
sukyoungryu |
[tests] Turned on Compiled5.timing.
[Copyright] Fixed copyright notices.
|
|
|
|
@4173
|
[4173]
|
2 months |
dr2chase |
Safe checkin, working towards generics, need a fresh checkout to get …
|
|
|
|
@4172
|
[4172]
|
2 months |
skilpat |
[indices] Cleaned up the code for determining if a Functional has a …
|
|
|
|
@4170
|
[4170]
|
2 months |
jmaessen |
[codegen] Dependency analysis for top-level value bindings (including …
|
|
|
|
@4169
|
[4169]
|
2 months |
jmaessen |
Tons of iterator cleanup.
|
|
|
|
@4166
|
[4166]
|
2 months |
jrhil47 |
[TypeChecker?] Fixed LetFns?
|
|
|
|
@4165
|
[4165]
|
2 months |
jmaessen |
Code cleanups encountered during bug hunting.
|
|
|
|
@4164
|
[4164]
|
2 months |
dr2chase |
Added increment to index within pair-of-lists-iterating loop. Fixes …
|
|
|
|
@4163
|
[4163]
|
2 months |
dr2chase |
Semi-fix for naming problem Jan found with Compiled7.Comprehensions1 …
|
|
|
|
@4162
|
[4162]
|
2 months |
sukyoungryu |
[parser] Clean up.
|
|
|
|
@4161
|
[4161]
|
2 months |
sukyoungryu |
[disambiguator] More fix in ExprDisambiguator?. Added more tests.
|
|
|
|
@4160
|
[4160]
|
2 months |
sukyoungryu |
[disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
|
|
|
|
@4159
|
[4159]
|
2 months |
sukyoungryu |
[disambiguator] Moved static checks from IndexBuilder? to …
|
|
|
|
@4158
|
[4158]
|
2 months |
sukyoungryu |
[disambiguator] Fixing ExprDisambiguator? (work in progress)
|
|
|
|
@4157
|
[4157]
|
2 months |
skilpat |
[type checker] Fixed type checking of function applications involving …
|
|
|
|
@4156
|
[4156]
|
2 months |
sukyoungryu |
[disambiguator] Replaced ExprDisambiguator? in Java with one in Scala. …
|
|
|
|
@4155
|
[4155]
|
2 months |
Crink |
[library] Reinstating r4150; everything works now.
|
|
|
|
@4154
|
[4154]
|
2 months |
jmaessen |
[codegen] Top-level bindings.
At present, we are restricted as follows:
* …
|
|
|
|
@4153
|
[4153]
|
3 months |
jmaessen |
[codegen] Fix Heisenbug that was causing some executions of Compiled7
to …
|
|
|
|
@4152
|
[4152]
|
3 months |
Crink |
Reverting: Seems my r4150 was broken. Hmmmm. Seemed to test ok at work.
|
|
|
|
@4150
|
[4150]
|
3 months |
Crink |
Library, interpreter glue: Added methods to ZZ to convert to ZZ32 or ZZ64. …
|
|
|
|
@4149
|
[4149]
|
3 months |
skilpat |
[ast] Split CoercionInvocation? node into three subnodes for traits, …
|
|
|
|
@4148
|
[4148]
|
3 months |
jrhil47 |
[Typechecker] Fixed a bug with inference of parameters on FnExprs?.
|
|
|
|
@4146
|
[4146]
|
3 months |
jmaessen |
[testing] Consolidated now-working Compiled7fo, Compiled7, and
Compiled8. …
|
|
|
|
@4145
|
[4145]
|
3 months |
dr2chase |
Fixed glitches in arrows of arrows, now allows Compiled8 to run (part of …
|
|
|
|
@4140
|
[4140]
|
3 months |
dr2chase |
Fixed naming glitches with empty parameter lists; also tweaked a couple of …
|
|
|
|
