|
|
|
@4346
|
[4346]
|
5 hours |
chf |
one step closer
|
|
|
|
@4345
|
[4345]
|
5 days |
dr2chase |
Generic objects with fields (of generic type, or not) work
|
|
|
|
@4344
|
[4344]
|
6 days |
skilpat |
[type checker] Fixed ordering of applicable overloadings to take coercion …
|
|
|
|
@4343
|
[4343]
|
6 days |
dr2chase |
Supports generic singleton objects, generic objects, at least a little bit
|
|
|
|
@4341
|
[4341]
|
7 days |
jmaessen |
[libraries, codegen] ZZ32 now coerces IntLiteral? as described in the
spec. …
|
|
|
|
@4339
|
[4339]
|
8 days |
dr2chase |
Tiny tests for generic objects
|
|
|
|
@4338
|
[4338]
|
8 days |
dr2chase |
Refactoring towards Compiled13; 2 of 3 microtests working
|
|
|
|
@4337
|
[4337]
|
8 days |
jmaessen |
More refactoring in the hopes of cleaning up code and making …
|
|
|
|
@4335
|
[4335]
|
10 days |
dr2chase |
Compiled11 fixed, for all (?) values of Compiled11
|
|
|
|
@4334
|
[4334]
|
11 days |
dr2chase |
Compiled11 working, for certain values of Compiled11 (problem with static …
|
|
|
|
@4333
|
[4333]
|
12 days |
jmaessen |
[compiler] Mid-re-refactoring of inheritedMethod code, checking in
working …
|
|
|
|
@4332
|
[4332]
|
13 days |
skilpat |
[type checker] Added new type checking rules for If expressions.
|
|
|
|
@4331
|
[4331]
|
13 days |
dr2chase |
Fixed runtime instantiation to not be confused by Scott's patch …
|
|
|
|
@4330
|
[4330]
|
2 weeks |
dr2chase |
Further refactoring towards Compiled13
|
|
|
|
@4329
|
[4329]
|
2 weeks |
jmaessen |
[compiler] In the middle of refactoring method access in the Scala
code; I …
|
|
|
|
@4328
|
[4328]
|
2 weeks |
dr2chase |
Added unambiguous generic functionsm in a blunt way
|
|
|
|
@4327
|
[4327]
|
2 weeks |
skilpat |
[coercions] Added checking for and desugaring of coercions from union …
|
|
|
|
@4324
|
[4324]
|
2 weeks |
jrhil47 |
[Type Checker] We now propagate the schema for overloaded functions.
|
|
|
|
@4323
|
[4323]
|
2 weeks |
jmaessen |
[runtime] More work on runtime startup (and yet another version of
jsr166y …
|
|
|
|
@4322
|
[4322]
|
2 weeks |
dr2chase |
Some refactoring, preparing for generic traits and objects
|
|
|
|
@4321
|
[4321]
|
2 weeks |
sukyoungryu |
[spec] Added a list of NYI features.
|
|
|
|
@4320
|
[4320]
|
2 weeks |
jmaessen |
[scheduling] Update to latest JSR166y, and switch BaseTask to use …
|
|
|
|
@4319
|
[4319]
|
2 weeks |
dr2chase |
Baby steps towards generic objects and traits
|
|
|
|
@4318
|
[4318]
|
3 weeks |
jmaessen |
[compiler, tests] Some refactoring on TreapAndTest. Fixed #362 and …
|
|
|
|
@4317
|
[4317]
|
3 weeks |
dr2chase |
Tweaked Treap Test to have names that would have collided, pre-jar-files
|
|
|
|
@4315
|
[4315]
|
3 weeks |
dr2chase |
Output classes are now stored in jar files, hooray
|
|
|
|
@4314
|
[4314]
|
3 weeks |
sukyoungryu |
[syntax tests] Fixed a phase order in the syntax tests.
|
|
|
|
@4311
|
[4311]
|
3 weeks |
sukyoungryu |
[self type] Introduced SelfType? and its immediate subclasses, …
|
|
|
|
@4310
|
[4310]
|
3 weeks |
sukyoungryu |
[demos] Fixed a phase order in the demos test.
|
|
|
|
@4309
|
[4309]
|
3 weeks |
jmaessen |
[static checks] Fixed massive bugs in the AbstractMethodChecker
(tested …
|
|
|
|
@4308
|
[4308]
|
3 weeks |
chf |
birdcount interesting regions
|
|
|
|
@4306
|
[4306]
|
3 weeks |
dr2chase |
Fixed bugs that were breaking cruiseControl
|
|
|
|
@4305
|
[4305]
|
3 weeks |
jmaessen |
[codegen, testing] Tweaked ManglingClassWriter to try to recover …
|
|
|
|
@4304
|
[4304]
|
3 weeks |
sukyoungryu |
[abstract method checker] Replaced yet another copy of the old, wrong …
|
|
|
|
@4302
|
[4302]
|
3 weeks |
jmaessen |
[testing] failing test case for check that abstract methods are …
|
|
|
|
@4300
|
[4300]
|
3 weeks |
jmaessen |
[codegen, typechecking] Single inheritance of methods. Uses java …
|
|
|
|
@4298
|
[4298]
|
4 weeks |
jmaessen |
[testing] This file proves that Compiled5.bf.fss wasn't *really* …
|
|
|
|
@4297
|
[4297]
|
4 weeks |
sukyoungryu |
[spec] Added the Expressions chapter.
|
|
|
|
@4296
|
[4296]
|
4 weeks |
dr2chase |
Looks like a fix for the interpreter; cleanup of compiler phase structure; …
|
|
|
|
@4295
|
[4295]
|
4 weeks |
sukyoungryu |
[spec] Added some sections in the Expressions chapter.
|
|
|
|
@4294
|
[4294]
|
4 weeks |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@4293
|
[4293]
|
4 weeks |
sukyoungryu |
[scala util] Scala code now use TypeAnalyzer? in Scala instead of one in …
|
|
|
|
@4292
|
[4292]
|
4 weeks |
sukyoungryu |
[self type idiom] Added another self-type idiom test.
[overloading …
|
|
|
|
@4291
|
[4291]
|
4 weeks |
dr2chase |
Unambiguous names enabled -- stack traces may look vile.
|
|
|
|
@4290
|
[4290]
|
4 weeks |
chf |
small prettifications
|
|
|
|
@4289
|
[4289]
|
4 weeks |
sukyoungryu |
[types util] Fixed the inheritedMethods to handle method overriding. …
|
|
|
|
@4288
|
[4288]
|
4 weeks |
chf |
Removing unused error rates
|
|
|
|
@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.
|
|
|
|
@4257
|
[4257]
|
6 weeks |
jmaessen |
[library] Made some methods abstract, mostly generator-y stuff in …
|
|
|
|
@4256
|
[4256]
|
6 weeks |
jmaessen |
[testing] Remove any file (like, say, Compiled10) from here if we
actually …
|
|
|
|
@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.
|
|
|
|
@4250
|
[4250]
|
6 weeks |
jmaessen |
[testing] Pruned redundant tests, renamed abstract dotted method tests
for …
|
|
|
|
@4249
|
[4249]
|
6 weeks |
jmaessen |
[testing] Moved thorough tests of abstract dotted methods into
mainline of …
|
|
|
|
@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.
|
|
|
|
@4240
|
[4240]
|
7 weeks |
EricAllen |
Added abstract method tests.
|
|
|
|
@4239
|
[4239]
|
7 weeks |
EricAllen |
Added overriding tests.
|
|
|
|
@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
|
|
|
|
@4231
|
[4231]
|
7 weeks |
jmaessen |
[testing] Test that exhibits a bug in naming that causes type checking
to …
|
|
|
|
@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.
|
|
|
|
@4223
|
[4223]
|
7 weeks |
sukyoungryu |
[Compiled9] Compiled9 is done.
|
|
|
|
@4222
|
[4222]
|
7 weeks |
dr2chase |
Another missing file
|
|
|
|
@4221
|
[4221]
|
7 weeks |
skilpat |
[coercions] Fixed coercion desugarer to include return types on FnExprs …
|
|
|
|
