|
|
|
@4346
|
[4346]
|
9 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]
|
7 days |
dr2chase |
Supports generic singleton objects, generic objects, at least a little bit
|
|
|
|
@4342
|
[4342]
|
7 days |
gls |
Bug fixes to comment rendering
|
|
|
|
@4341
|
[4341]
|
7 days |
jmaessen |
[libraries, codegen] ZZ32 now coerces IntLiteral? as described in the
spec. …
|
|
|
|
@4340
|
[4340]
|
8 days |
jmaessen |
[spec] Fix typo spotted by Jordan Slott.
|
|
|
|
@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]
|
9 days |
jmaessen |
More refactoring in the hopes of cleaning up code and making …
|
|
|
|
@4336
|
[4336]
|
9 days |
sukyoungryu |
[spec] Added Guy's proposal to extend Bracketmania to handle multiset …
|
|
|
|
@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]
|
2 weeks |
skilpat |
[type checker] Added new type checking rules for If expressions.
|
|
|
|
@4331
|
[4331]
|
2 weeks |
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 …
|
|
|
|
@4326
|
[4326]
|
2 weeks |
sukyoungryu |
[spec] Incorporated Victor's comments on some Expressions sections.
|
|
|
|
@4325
|
[4325]
|
2 weeks |
sukyoungryu |
[spec] Added the technical decisions since F1.0beta and the issues to …
|
|
|
|
@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
|
|
|
|
@4316
|
[4316]
|
3 weeks |
sukyoungryu |
[spec] Added the entire spec files. The next task is to integrate the …
|
|
|
|
@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.
|
|
|
|
@4313
|
[4313]
|
3 weeks |
sukyoungryu |
[spec] Added the Preliminaries part.
|
|
|
|
@4312
|
[4312]
|
3 weeks |
sukyoungryu |
[spec] Added the advanced part.
|
|
|
|
@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
|
|
|
|
@4307
|
[4307]
|
3 weeks |
sukyoungryu |
[spec] Added libraries.
|
|
|
|
@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 …
|
|
|
|
@4303
|
[4303]
|
3 weeks |
gls |
fortify.sty now includes package graphicsx
|
|
|
|
@4302
|
[4302]
|
3 weeks |
jmaessen |
[testing] failing test case for check that abstract methods are …
|
|
|
|
@4301
|
[4301]
|
3 weeks |
sukyoungryu |
[spec] Added Appendices.
|
|
|
|
@4300
|
[4300]
|
3 weeks |
jmaessen |
[codegen, typechecking] Single inheritance of methods. Uses java …
|
|
|
|
@4299
|
[4299]
|
4 weeks |
sukyoungryu |
[spec] Added the Functions and Exceptions chapters.
|
|
|
|
@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 …
|
|
|
|
@4284
|
[4284]
|
5 weeks |
gls |
Further bug fixes for tables and for verbatim blocks
|
|
|
|
@4283
|
[4283]
|
5 weeks |
jmaessen |
[codegen] Refactored forwarding method generation into …
|
|
|
|
@4282
|
[4282]
|
5 weeks |
gls |
Fortify tool with latest bug fixes to tables and images
|
|
|
|
@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 …
|
|
|
|
@4271
|
[4271]
|
5 weeks |
sukyoungryu |
[spec] Added copyright notices to the spec LaTeX files.
|
|
|
|
@4270
|
[4270]
|
5 weeks |
jrhil47 |
[TypeAnalyzer?] Added code to tell when two types cover the same tags.
|
|
|
|
@4269
|
[4269]
|
5 weeks |
sukyoungryu |
[spec] Added chapter headings.
|
|
|
|
@4268
|
[4268]
|
5 weeks |
sukyoungryu |
[spec] Added the master file, preamble, and some macros.
|
|
|
|
@4267
|
[4267]
|
5 weeks |
jrhil47 |
[Type Analyzer] Fixed the way that union and intersections interact with …
|
|
|
|
@4266
|
[4266]
|
5 weeks |
sukyoungryu |
[spec] Added scripts to generate some helper LaTeX files.
|
|
|
|
@4265
|
[4265]
|
5 weeks |
sukyoungryu |
[copyright] Fixed a copyright notice.
|
|
|
|
@4264
|
[4264]
|
5 weeks |
sukyoungryu |
[fortify] Commented out the old FortressDoc? again.
|
|
|
|
@4263
|
[4263]
|
6 weeks |
gls |
Fortify support for tables and images
|
|
|
|
@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
|
|
|
|
