root/trunk/ProjectFortress/compiler_tests

Name Size Rev Age Last Change
../
XXXMissinglink.test 0.7 KB 3600 8 months sukyoungryu: [Compiled2] Implemented better error messages for unbalanced comments. …
XXXMissingcompile.test 0.7 KB 3600 8 months sukyoungryu: [Compiled2] Implemented better error messages for unbalanced comments. …
XXXApplicationErrors.test 2.0 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
XXX11b.test 0.9 KB 4332 13 days skilpat: [type checker] Added new type checking rules for If expressions.
XXX10s.test 1.1 KB 4311 3 weeks sukyoungryu: [self type] Introduced SelfType? and its immediate subclasses, …
XXX10q.test 1.1 KB 4286 4 weeks sukyoungryu: [self type idiom] Added more tests. [type checker] Moved the …
XXX10p.test 0.9 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
XXX10o.test 1.2 KB 4281 5 weeks sukyoungryu: [type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
XXX10n.test 0.9 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
XXX10k.test 1.8 KB 4311 3 weeks sukyoungryu: [self type] Introduced SelfType? and its immediate subclasses, …
XXX10j.test 1.1 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
XXX10i.test 0.9 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX10h.test 1.1 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
XXX10g.test 0.9 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
XXX10f.test 1.1 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX10e.test 0.8 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX10d.test 0.9 KB 4311 3 weeks sukyoungryu: [self type] Introduced SelfType? and its immediate subclasses, …
XXX10c.test 1.1 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
XXX10b.test 1.0 KB 4341 7 days jmaessen: [libraries, codegen] ZZ32 now coerces IntLiteral? as described in the spec. …
XXX10a.test 1.1 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
XXX9z.test 1.1 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
XXX9x.test 0.9 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
XXX9w.test 0.9 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
XXX9v.test 0.9 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
XXX9s.test 1.1 KB 4185 2 months sukyoungryu: [ast] Replaced List<Expr> with Block for the body of LetExpr?.
XXX9r.test 1.1 KB 4214 8 weeks sukyoungryu: [type checker] Implemented type checking of case expressions. It should …
XXX9q.test 1.8 KB 4179 2 months sukyoungryu: [tests] Added more static tests.
XXX9n.test 1.1 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
XXX9i.test 0.9 KB 4274 5 weeks skilpat: [type checker] Fixed bug that prevented expected types from propagating in …
XXX9h.test 0.9 KB 4179 2 months sukyoungryu: [tests] Added more static tests.
XXX9f.test 0.9 KB 4161 2 months sukyoungryu: [disambiguator] More fix in ExprDisambiguator?. Added more tests.
XXX9d.test 1.0 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
XXX9c.test 3.8 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
XXX9ag.test 1.3 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX9af.test 1.1 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX9ae.test 1.3 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX9ad.test 1.1 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX9aa.test 0.9 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
XXX7h.test 1.6 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
XXX7e.test 1.0 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
XXX7d.test 0.9 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
XXX7c.test 0.9 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
XXX7b.test 0.9 KB 4114 3 months sukyoungryu: [overloading checker] Implementing overloading with renamed imports. (Work …
XXX7a.test 1.1 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
XXX6z.test 1.1 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX6y.test 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX6x.test 1.1 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX6q.test 0.9 KB 3796 6 months sukyoungryu: [static checker] Implemented type well-formedness check. Finished …
XXX6p.test 0.9 KB 4211 8 weeks skilpat: [coercions] Added lifting of coercion declarations and definitions!! (Look …
XXX6o.test.NYI 0.9 KB 3789 6 months sukyoungryu: [static checker] Implemented some static checks for the coercion …
XXX6n.test 1.2 KB 3789 6 months sukyoungryu: [static checker] Implemented some static checks for the coercion …
XXX6m.test 0.9 KB 4066 3 months sukyoungryu: [static checker] Implemented that object expressions should not define any …
XXX6l.test 0.9 KB 4159 2 months sukyoungryu: [disambiguator] Moved static checks from IndexBuilder? to …
XXX6k.test 0.9 KB 3784 6 months sukyoungryu: [static checker] Implemented checking that getters and setters should not …
XXX6j.test 0.9 KB 4159 2 months sukyoungryu: [disambiguator] Moved static checks from IndexBuilder? to …
XXX6i.test 0.9 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
XXX6h.test 0.9 KB 3766 6 months sukyoungryu: [static checker] Implemented checking that the parameter type of a setter …
XXX6g.test 0.9 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
XXX6f.test 1.1 KB 3759 6 months sukyoungryu: [syntax checker] Implemented checking that 1) no two import statements …
XXX6e.test 1.1 KB 3757 6 months sukyoungryu: [export checker] Improved the error message format from the export …
XXX6d.test 0.9 KB 3756 6 months sukyoungryu: [disambiguator] Implemented checking whether imported names are indeed …
XXX6c.test 0.9 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX6bz.test 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX6by.test 1.1 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX6bx.test 0.8 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bw.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bv.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bu.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bt.test 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bs.test 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6br.test 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bq.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bp.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bo.test 1.0 KB 4156 2 months sukyoungryu: [disambiguator] Replaced ExprDisambiguator? in Java with one in Scala. …
XXX6bn.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bm.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bl.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bk.test 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bj.test 0.8 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
XXX6bi.test 1.0 KB 4087 3 months dr2chase: Jan's RR64 patches, plus fixes required to make the rest of the system …
XXX6bh.test 0.8 KB 4082 3 months sukyoungryu: [parser] Fixed the import collector to handle underscores. [compiler …
XXX6b.test 0.9 KB 3754 6 months sukyoungryu: [syntax checker] Implemented checking that all hidden field declarations …
XXX6au.test 1.0 KB 4092 3 months sukyoungryu: [parser] Backed off an error production.
XXX6at.test 1.8 KB 4100 3 months jrhil47: [Typechecker] Fixed bug that drops arguments.
XXX6an.test 1.2 KB 4329 2 weeks jmaessen: [compiler] In the middle of refactoring method access in the Scala code; I …
XXX6ak.test 1.1 KB 4062 4 months sukyoungryu: [overloading checker] Check that a functional which takes a single …
XXX6aj.test 0.9 KB 4057 4 months sukyoungryu: [parser] Implemented the new function expression syntax.
XXX6ab.test 0.9 KB 4052 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
XXX6aa.test 1.0 KB 4052 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
XXX6a.test 0.9 KB 3737 6 months sukyoungryu: [compiler test] Improved error messages for typecase expressions without …
XXX5z.test 0.9 KB 3866 5 months sukyoungryu: [static checker] Check that singleton objects must not have contracts. …
XXX5y.test 1.0 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
XXX5x.test 0.9 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
XXX5w.test 0.9 KB 3862 5 months sukyoungryu: [parser] Provides a clear error message when the caret operator is used as …
XXX5v.test 0.9 KB 3862 5 months sukyoungryu: [parser] Provides a clear error message when the caret operator is used as …
XXX5u.test 0.9 KB 3860 5 months sukyoungryu: [parser] Provides a clear error message when is used as a nofix …
XXX5t.test 0.9 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
XXX5s.test 0.9 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
XXX5r.test 0.9 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
XXX5p.test 0.9 KB 3863 5 months jrhil47: [typechecker] Cleaned up some of the Typecase code; changed an error …
XXX5n.test 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
XXX5k.test 0.8 KB 3814 6 months sukyoungryu: [parser] Provides better syntax error messages for top-level mutable …
XXX5j.test 1.0 KB 3875 5 months sukyoungryu: [overloading checker] Fixed the implementation of identifying the …
XXX5f.test 1.3 KB 3822 6 months sukyoungryu: [parser] Report better error messages when operator names are used as type …
XXX5bt.test 1.5 KB 3996 4 months jrhil47: [type checker] Now properly inferring types for component-level variable …
XXX5bq.test 1.1 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
XXX5bp.test 0.9 KB 4251 6 weeks jrhil47: [Type Analyzer] Turned on the new type analyzer.
XXX5bo.test 1.4 KB 3985 4 months jrhil47: [type checker] Fixed bug in checking VarDecls?. Parameter types of FnExprs? …
XXX5bn.test 1.0 KB 3996 4 months jrhil47: [type checker] Now properly inferring types for component-level variable …
XXX5bl.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX5be.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX5bd.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX5bb.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX5az.test 0.9 KB 3904 5 months sukyoungryu: [parser] Implemented the static check that if a return type is given in a …
XXX5aw.test 2.0 KB 3903 5 months sukyoungryu: [parser] Implemented static checks: 1) The object equivalence operator, …
XXX5av.test 0.9 KB 3899 5 months sukyoungryu: [parser] Implemented checking that 1) operator declarations not allowed in …
XXX5au.test 0.9 KB 3899 5 months sukyoungryu: [parser] Implemented checking that 1) operator declarations not allowed in …
XXX5at.test 1.4 KB 3899 5 months sukyoungryu: [parser] Implemented checking that 1) operator declarations not allowed in …
XXX5aq.test 1.2 KB 3887 5 months sukyoungryu: [static checker] Fixed a bug handling symmetric exclusion relationship. …
XXX5ap.test 0.9 KB 3887 5 months sukyoungryu: [static checker] Fixed a bug handling symmetric exclusion relationship. …
XXX5ao.test 1.3 KB 3879 5 months sukyoungryu: [static checker] Implemented checking that a naked type variable must not …
XXX5an.test 1.3 KB 4086 3 months jrhil47: [ast] Added a MethodInfo? object to ArrowType? so that we can keep track of …
XXX5ag.test 0.9 KB 3878 5 months sukyoungryu: [type checker] Fixed type checking blocks. Added tests.
XXX5af.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX5ae.test 1.2 KB 4341 7 days jmaessen: [libraries, codegen] ZZ32 now coerces IntLiteral? as described in the spec. …
XXX5ad.test 1.6 KB 4214 8 weeks sukyoungryu: [type checker] Implemented type checking of case expressions. It should …
XXX5ac.test 1.1 KB 3877 5 months sukyoungryu: [type checker] Implemented type checking of local variable declarations. …
XXX5ab.test 0.9 KB 3866 5 months sukyoungryu: [static checker] Check that singleton objects must not have contracts. …
XXX5aa.test 0.9 KB 3866 5 months sukyoungryu: [static checker] Check that singleton objects must not have contracts. …
XXX5a.twice.test 1.2 KB 3876 5 months EricAllen: Added API linker and associated hooks (work in progress). Added some …
XXX5a.test 1.2 KB 3715 7 months sukyoungryu: [export checker] Improved error messages. Added a test.
XXX4c.test 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX4b.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX4a.test 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
XXX3w.test 1.1 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX3u.test 1.0 KB 4087 3 months dr2chase: Jan's RR64 patches, plus fixes required to make the rest of the system …
XXX3s.test 0.9 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
XXX3r.test 0.9 KB 3650 7 months sukyoungryu: [static checker] Implemented comprises relationship checking.
XXX3q.test 1.0 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
XXX3o.test 1.0 KB 3639 7 months sukyoungryu: [static checker] Implemented declared exclusion relationships. Added …
XXX3n.test 1.0 KB 3639 7 months sukyoungryu: [static checker] Implemented declared exclusion relationships. Added …
XXX3l.test 1.0 KB 3639 7 months sukyoungryu: [static checker] Implemented declared exclusion relationships. Added …
XXX3g.test 1.1 KB 3634 8 months sukyoungryu: [test] Fixed the wrong expected result in XXX3g.test.
XXX3a.test 0.8 KB 3610 8 months sukyoungryu: [parser] Report better syntax error messages for invalid top-level …
XXX2s.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2r.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2q.test 1.0 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2p.test 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
XXX2o.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2n.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2m.test 0.9 KB 3598 8 months sukyoungryu: [Compiled2] Added 9 Compiled2 family tests with syntax errors.
XXX2l.test 0.8 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2k.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX2j.test 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
XXX2i.test 1.0 KB 3598 8 months sukyoungryu: [Compiled2] Added 9 Compiled2 family tests with syntax errors.
XXX2h.test 0.9 KB 3600 8 months sukyoungryu: [Compiled2] Implemented better error messages for unbalanced comments. …
XXX2f.test 1.0 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
XXX2e.test 1.3 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX2d.test 1.1 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX2c.test 1.1 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX2b.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX2a.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX1z.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1y.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1x.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1w.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1v.test 0.9 KB 4159 2 months sukyoungryu: [disambiguator] Moved static checks from IndexBuilder? to …
XXX1u.test 0.9 KB 4159 2 months sukyoungryu: [disambiguator] Moved static checks from IndexBuilder? to …
XXX1t.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1s.test 0.9 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1r.test 0.8 KB 4174 2 months jmaessen: [tests] Instated true and false constants (no actual testing of them in …
XXX1q.test 1.1 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX1p.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1o.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1n.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1m.test 0.8 KB 4156 2 months sukyoungryu: [disambiguator] Replaced ExprDisambiguator? in Java with one in Scala. …
XXX1l.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1k.test 0.9 KB 3835 6 months sukyoungryu: [type checker] Fixed small things in the Scala type checker. Matched some …
XXX1j.test 0.8 KB 3835 6 months sukyoungryu: [type checker] Fixed small things in the Scala type checker. Matched some …
XXX1i.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX1h.test 1.1 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX1g.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX1f.test 1.1 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX1e.test 1.1 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX1d.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX1c.test 0.8 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX1b.test 1.0 KB 3604 8 months sukyoungryu: [compiler tests] Moved Compiled1.b to Compiled3.a.
XXX1ar.test 0.9 KB 3846 6 months sukyoungryu: [parser] Reports a NYI message when matrix unpasting is used. Added a …
XXX1aq.test 0.9 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1ap.test 0.9 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1ao.test 1.0 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1an.test 1.4 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1am.test 0.9 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1al.test 0.9 KB 3842 6 months sukyoungryu: [type checker] Actually run the added tests in r3841. Added the return …
XXX1af.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1ae.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1ad.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1ac.test 0.8 KB 4093 3 months jmaessen: [library] Counted loops using # (but not : for now due to testing …
XXX1ab.test 0.8 KB 4174 2 months jmaessen: [tests] Instated true and false constants (no actual testing of them in …
XXX1aa.test 0.8 KB 3836 6 months sukyoungryu: [type checker] Moved all XXX tests in not_working_static_tests to …
XXX1a.test 0.9 KB 3597 8 months sukyoungryu: [preparser] Implemented an alternative preparser using the Rats! stateful …
XXX0y.test 0.9 KB 3834 6 months sukyoungryu: [type checker] Fixed small things in the Scala type checker. Moved three …
XXX0x.test 0.9 KB 3834 6 months sukyoungryu: [type checker] Fixed small things in the Scala type checker. Moved three …
XXX0w.test 0.9 KB 3834 6 months sukyoungryu: [type checker] Fixed small things in the Scala type checker. Moved three …
XXX0v.test 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
XXX0u.test 0.8 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0t.test 1.0 KB 3894 5 months EricAllen: Implemented compound APIs.
XXX0s.test 0.9 KB 3597 8 months sukyoungryu: [preparser] Implemented an alternative preparser using the Rats! stateful …
XXX0r.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX0q.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX0p.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX0o.test 0.9 KB 4041 4 months jrhil47: [errors] Major overhaul of application expression error messages. Fixed …
XXX0n.test 0.9 KB 3829 6 months sukyoungryu: [typechecker] Implemented type checking TupleExpr? (without varargs …
XXX0m.test 1.1 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0l.test 1.1 KB 3597 8 months sukyoungryu: [preparser] Implemented an alternative preparser using the Rats! stateful …
XXX0k.test 1.0 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0j.test 0.9 KB 3597 8 months sukyoungryu: [preparser] Implemented an alternative preparser using the Rats! stateful …
XXX0i.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0h.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0g.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0f.test 0.9 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0e.test 0.8 KB 3672 7 months sukyoungryu: [delimiter checker] Reports a better error message for unmatching labels. …
XXX0d.test 0.9 KB 3597 8 months sukyoungryu: [preparser] Implemented an alternative preparser using the Rats! stateful …
XXX0c.test 0.9 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
XXX0b.test 0.9 KB 3600 8 months sukyoungryu: [Compiled2] Implemented better error messages for unbalanced comments. …
XXX0a.test 1.0 KB 3585 8 months jmaessen: [compiler] Usability improvements: After last checkin, that caused us to …
WCIEQ.test 0.7 KB 3547 9 months dr2chase: [compiler test harness] enhanced checking options, _equals and _WCIequals
TypesInAPI.fsi 1.0 KB 4113 3 months sukyoungryu: [overloading checker] Implementing overloading with renamed imports. (Work …
TreapAndTest.test 7.5 KB 4305 3 weeks jmaessen: [codegen, testing] Tweaked ManglingClassWriter to try to recover …
TreapAndTest.fss 12.7 KB 4318 3 weeks jmaessen: [compiler, tests] Some refactoring on TreapAndTest. Fixed #362 and …
SingletonImportAndUse.fss 0.8 KB 4231 7 weeks jmaessen: [testing] Test that exhibits a bug in naming that causes type checking to …
SingletonExportAndReference.fss 0.9 KB 4231 7 weeks jmaessen: [testing] Test that exhibits a bug in naming that causes type checking to …
SingletonExportAndReference.fsi 0.8 KB 4231 7 weeks jmaessen: [testing] Test that exhibits a bug in naming that causes type checking to …
SingleInheritanceNotUsed.test 0.7 KB 4200 2 months EricAllen: Added some inheritance tests.
SingleInheritanceAbstract.fss 1.0 KB 4248 6 weeks jmaessen: [codegen] Abstract dotted methods in trait declarations, first cut.
SingleInheritance.test 0.7 KB 4300 3 weeks jmaessen: [codegen, typechecking] Single inheritance of methods. Uses java …
SingleInheritance.fss 1.1 KB 4300 3 weeks jmaessen: [codegen, typechecking] Single inheritance of methods. Uses java …
SimpleOverriding.test 0.7 KB 4206 2 months EricAllen: Added simple overriding test.
RedundantOverriding.test 0.7 KB 4209 8 weeks EricAllen: Added overriding tests.
Print17.test 0.7 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
parse.test 0.7 KB 3909 5 months sukyoungryu: [parser] Implemented some simple ASCII conversion. Added a test.
ParametricFields.test 0.7 KB 4197 2 months EricAllen: Added more tests for fields and field accesses.
Overriding.test 0.7 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
Operators.fsi 0.8 KB 4187 2 months sukyoungryu: [static checker] Implemented static checks for operator imports. Fixed …
ObjectFromInterface.fsi 0.8 KB 3838 6 months sukyoungryu: [copyright] Fixed copyright notices of syntactic abstraction tests.
NYI.Compiled5.n.fss 0.8 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Names.a.fsi 0.9 KB 4161 2 months sukyoungryu: [disambiguator] More fix in ExprDisambiguator?. Added more tests.
MyOwnLiterals.fsi 0.8 KB 3879 5 months sukyoungryu: [static checker] Implemented checking that a naked type variable must not …
MultipleOverriding.test 0.7 KB 4209 8 weeks EricAllen: Added overriding tests.
MultipleInheritanceAbstract.fss 1.1 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
Hellos.test 0.7 KB 3818 6 months sukyoungryu: [compiler tests] Fixed Compiled2PreTest.fss and moved it from …
ForLoops.test 0.7 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
EmptyDoEnd.test 0.7 KB 4318 3 weeks jmaessen: [compiler, tests] Some refactoring on TreapAndTest. Fixed #362 and …
EmptyDoEnd.fss 1.0 KB 4318 3 weeks jmaessen: [compiler, tests] Some refactoring on TreapAndTest. Fixed #362 and …
DXXmatchingFnDecls.fsi 0.8 KB 3841 6 months sukyoungryu: [compiler tests] Moved six tests from not_working_static_tests to …
DXXmatchingDecls.fsi 0.8 KB 3841 6 months sukyoungryu: [compiler tests] Moved six tests from not_working_static_tests to …
DiamondOverriding.test 0.7 KB 4209 8 weeks EricAllen: Added overriding tests.
DiamondInheritanceAbstract.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance6.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance5.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance4.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance3.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance2.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
DiamondInheritance1.fss 1.2 KB 4249 6 weeks jmaessen: [testing] Moved thorough tests of abstract dotted methods into mainline of …
Comprehensions1.test 1.3 KB 4167 2 months sukyoungryu: [tests] Added more tests.
CompilerLibraryComponent.test 0.7 KB 3561 8 months sukyoungryu: [compiler tests] Compiler tests now use the new test scheme except one: …
CompilerLibraryAPI.test 0.7 KB 3561 8 months sukyoungryu: [compiler tests] Compiler tests now use the new test scheme except one: …
CompilerBuiltinComponent.test 0.7 KB 3561 8 months sukyoungryu: [compiler tests] Compiler tests now use the new test scheme except one: …
CompilerBuiltinAPI.test 0.7 KB 3561 8 months sukyoungryu: [compiler tests] Compiler tests now use the new test scheme except one: …
Compiled280.fss 1.9 KB 4214 8 weeks sukyoungryu: [type checker] Implemented type checking of case expressions. It should …
Compiled270.fss 1.3 KB 4213 8 weeks sukyoungryu: [Compiled9] Removed tuples from Compiled9.fss. Renamed Compiled9.fss to …
Compiled260.fss 1.5 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled250.fss 2.2 KB 4054 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled240.fss 0.9 KB 4054 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled230.fss 0.8 KB 4053 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled220.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled210.fss 1.0 KB 4052 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled200.fss 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled190.fss 0.8 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled180.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled170.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled160.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled150.fss 0.9 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled140.fss 1.1 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled130.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled120.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled110.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled100.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled90.fss 1.1 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled80.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled70.fss 1.0 KB 4037 4 months EricAllen: Renumbered CompiledX programs to make room for wordcount-related tasks.
Compiled18.fss 2.9 KB 4195 2 months jmaessen: [library] Use getters in compiled code (and fix up some getter references …
Compiled17.fss 1.2 KB 4133 3 months sukyoungryu: [compiler tests] Added compiler tests for generics.
Compiled16.fss 1.2 KB 4133 3 months sukyoungryu: [compiler tests] Added compiler tests for generics.
Compiled15.fss 1.2 KB 4133 3 months sukyoungryu: [compiler tests] Added compiler tests for generics.
Compiled14.fss 1.1 KB 4133 3 months sukyoungryu: [compiler tests] Added compiler tests for generics.
Compiled13.fss 1.2 KB 4133 3 months sukyoungryu: [compiler tests] Added compiler tests for generics.
Compiled12.inherit.test 0.7 KB 4309 3 weeks jmaessen: [static checks] Fixed massive bugs in the AbstractMethodChecker (tested …
Compiled12.inherit.fss 1.9 KB 4309 3 weeks jmaessen: [static checks] Fixed massive bugs in the AbstractMethodChecker (tested …
Compiled12.fss 1.1 KB 4208 8 weeks jmaessen: [tests] Tweaked Compiled11 to be type correct, made sure type checker is …
Compiled11.test 0.7 KB 4335 10 days dr2chase: Compiled11 fixed, for all (?) values of Compiled11
Compiled11.fss 1.1 KB 4335 10 days dr2chase: Compiled11 fixed, for all (?) values of Compiled11
Compiled11.c.fss 1.1 KB 4332 13 days skilpat: [type checker] Added new type checking rules for If expressions.
Compiled11.b.fss 1.1 KB 4332 13 days skilpat: [type checker] Added new type checking rules for If expressions.
Compiled11.a.fss 1.1 KB 4332 13 days skilpat: [type checker] Added new type checking rules for If expressions.
Compiled10.test 0.7 KB 4273 5 weeks jmaessen: [library, tests] Added simple Treap library that is non-parametric in the …
Compiled10.s.fss 0.9 KB 4292 4 weeks sukyoungryu: [self type idiom] Added another self-type idiom test. [overloading …
Compiled10.r.fss 0.9 KB 4286 4 weeks sukyoungryu: [self type idiom] Added more tests. [type checker] Moved the …
Compiled10.q.fss 0.9 KB 4286 4 weeks sukyoungryu: [self type idiom] Added more tests. [type checker] Moved the …
Compiled10.pAPI.fss 0.8 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
Compiled10.pAPI.fsi 0.8 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
Compiled10.p.fss 0.8 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
Compiled10.o.fss 1.1 KB 4281 5 weeks sukyoungryu: [type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
Compiled10.n.fss 0.9 KB 4279 5 weeks sukyoungryu: [self type idiom] Implemented checking of whether a type mentioned in a …
Compiled10.m.fss 1.1 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.l.fss 1.0 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.k.fss 1.7 KB 4286 4 weeks sukyoungryu: [self type idiom] Added more tests. [type checker] Moved the …
Compiled10.j.fss 1.0 KB 4277 5 weeks sukyoungryu: [self type idiom] A trait with a comprises ... should not be extended. …
Compiled10.i.fss 1.4 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.h.fss 1.3 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.g.fss 1.3 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.fss 1.1 KB 4331 2 weeks dr2chase: Fixed runtime instantiation to not be confused by Scott's patch …
Compiled10.f.fss 1.4 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.e.fss 1.1 KB 4275 5 weeks sukyoungryu: [self type idiom] Implemented the new self-type idiom proposal.
Compiled10.d.fss 0.9 KB 4259 6 weeks sukyoungryu: [self-type idiom] Implemented the new self type. Rewrote …
Compiled10.Comprehensions4.fss 3.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled10.Comprehensions3.fss 2.8 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled10.Chain.test 0.7 KB 4238 7 weeks jmaessen: [compiler] Put new ChainExpr? desugaring in place. Needed some minor …
Compiled10.Chain.fss 1.0 KB 4341 7 days jmaessen: [libraries, codegen] ZZ32 now coerces IntLiteral? as described in the spec. …
Compiled10.c.fss 1.1 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
Compiled10.b.fss 0.8 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
Compiled10.a.fss 0.8 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
Compiled9.z.fss 1.0 KB 4198 2 months sukyoungryu: [static checker] Fixed static checks for comprises clauses with generic …
Compiled9.y.fss 0.9 KB 4187 2 months sukyoungryu: [static checker] Implemented static checks for operator imports. Fixed …
Compiled9.x.fss 0.9 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
Compiled9.w.fss 0.9 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
Compiled9.v.fss 1.0 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
Compiled9.u.fss 1.1 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
Compiled9.test 0.7 KB 4223 7 weeks sukyoungryu: [Compiled9] Compiled9 is done.
Compiled9.t.fss 1.5 KB 4186 2 months sukyoungryu: [type checker] Implemented type checking of label and exit expressions. …
Compiled9.SingleInheritanceNotUsed.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled9.SimpleOverriding.fss 1.0 KB 4206 2 months EricAllen: Added simple overriding test.
Compiled9.s.fss 1.0 KB 4184 2 months sukyoungryu: [test] Moved one static test from not_working_static_tests/ to …
Compiled9.RedundantOverriding.fss 1.0 KB 4209 8 weeks EricAllen: Added overriding tests.
Compiled9.r.fss 0.8 KB 4179 2 months sukyoungryu: [tests] Added more static tests.
Compiled9.q.fss 1.3 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.ParametricFields.fss 0.8 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled9.p.fss 1.1 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.Overriding.fss 0.9 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
Compiled9.o.fss 0.9 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.n.fss 0.9 KB 4225 7 weeks sukyoungryu: [type checker] Implemented type checking of contracts and fixed type …
Compiled9.MultipleOverriding.fss 0.9 KB 4209 8 weeks EricAllen: Added overriding tests.
Compiled9.m.fss 1.1 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.l.fss 0.9 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.k.fss 0.9 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.j.fss 0.9 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.i.fss 0.9 KB 4274 5 weeks skilpat: [type checker] Fixed bug that prevented expected types from propagating in …
Compiled9.h.fss 0.9 KB 4178 2 months sukyoungryu: [tests] Moved 10 static tests from not_working_static_tests/ to …
Compiled9.g.fss 1.0 KB 4167 2 months sukyoungryu: [tests] Added more tests.
Compiled9.fss 1.1 KB 4223 7 weeks sukyoungryu: [Compiled9] Compiled9 is done.
Compiled9.f.fss 1.3 KB 4162 2 months sukyoungryu: [parser] Clean up.
Compiled9.e.fss 1.3 KB 4161 2 months sukyoungryu: [disambiguator] More fix in ExprDisambiguator?. Added more tests.
Compiled9.DiamondOverriding.fss 1.0 KB 4209 8 weeks EricAllen: Added overriding tests.
Compiled9.d.fsi 0.9 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
Compiled9.CompiledCoercions.test 0.7 KB 4212 8 weeks sukyoungryu: [Compiled9] Made the Compiled9.CompiledCoercions? test actually run the …
Compiled9.CompiledCoercions.fss 0.9 KB 4212 8 weeks sukyoungryu: [Compiled9] Made the Compiled9.CompiledCoercions? test actually run the …
Compiled9.c.fss 4.3 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
Compiled9.b.fss 1.4 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
Compiled9.AsString.fss 0.9 KB 4189 2 months sukyoungryu: [tests] Tests refactoring.
Compiled9.aj.fss 0.8 KB 4216 7 weeks sukyoungryu: [type checker] Implemented type checking of array expressions. Tested by …
Compiled9.ai.fss 0.9 KB 4215 8 weeks skilpat: [type checker] Fixed error message issue preventing CaseExpr from being …
Compiled9.ah.fss 1.5 KB 4214 8 weeks sukyoungryu: [type checker] Implemented type checking of case expressions. It should …
Compiled9.ag.fss 1.1 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.af.fss 1.0 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.ae.fss 1.0 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.ad.fss 1.0 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.ac.fss 1.0 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.AbstractDottedMethods.test 0.9 KB 4250 6 weeks jmaessen: [testing] Pruned redundant tests, renamed abstract dotted method tests for …
Compiled9.ab.fss 1.0 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.aa.fss 0.8 KB 4204 2 months sukyoungryu: [type checker] Implemented type checking of 'try' and 'throw'. Added …
Compiled9.a.fsi 1.1 KB 4160 2 months sukyoungryu: [disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
Compiled7.test 0.7 KB 4203 2 months jmaessen: [codegen, rts] Fixes to top-level bindings to handle parallelism found …
Compiled7.Print17.fss 1.0 KB 4195 2 months jmaessen: [library] Use getters in compiled code (and fix up some getter references …
Compiled7.h.fss 1.0 KB 4123 3 months sukyoungryu: [disambiguator] Implemented static checks for the new namespace story.
Compiled7.g.fss 1.0 KB 4122 3 months sukyoungryu: [static checker] An abstract method can be implemented by concrete methods …
Compiled7.fss 4.0 KB 4205 2 months jmaessen: [codegen] Complete rewrite of top-level binding handling. Previously top …
Compiled7.ForLoops.fss 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled7.f.fss 1.1 KB 4117 3 months sukyoungryu: [static checker] Abstract method checker handles functional methods too.
Compiled7.e.fss 0.8 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled7.d.fss 0.8 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
Compiled7.Comprehensions1.fss 1.2 KB 4234 7 weeks jmaessen: [codegen, library] Consolidated all generator-related mockups into …
Compiled7.c.fss 0.8 KB 4116 3 months sukyoungryu: [overloading checker] Implemented overloading with renamed imports.
Compiled7.b.fss 0.8 KB 4114 3 months sukyoungryu: [overloading checker] Implementing overloading with renamed imports. (Work …
Compiled7.ApplicationErrors.fss 1.3 KB 4188 2 months sukyoungryu: [tests] Fixed a .test file to include 'link'. Added a .test file for the …
Compiled7.a.fss 0.9 KB 4113 3 months sukyoungryu: [overloading checker] Implementing overloading with renamed imports. (Work …
Compiled6.z.fss 1.5 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.y.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.x.fss 1.3 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.u.fss 1.7 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.test 0.7 KB 4090 3 months jmaessen: [testing] Uncomment second test in Compiled6.fss, proving that at least …
Compiled6.r.fss 1.1 KB 4051 4 months sukyoungryu: [compiler test] Fixed the accidental renaming of a compiler test.
Compiled6.q.fss 0.8 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.p.fss 0.9 KB 4211 8 weeks skilpat: [coercions] Added lifting of coercion declarations and definitions!! (Look …
Compiled6.o.fss 0.9 KB 4211 8 weeks skilpat: [coercions] Added lifting of coercion declarations and definitions!! (Look …
Compiled6.n.fss 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.m.fss 0.9 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
Compiled6.l.fss 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.k.fss 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.j.fss 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.i.fss 0.9 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
Compiled6.h.fss 0.9 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
Compiled6.g.fss 0.8 KB 3851 5 months jrhil47: [typechecker] Added Typecase, As, AsIf? to Scala type checker; it now …
Compiled6.fss 1.3 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.f.fss 0.9 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.e.fss 0.8 KB 3757 6 months sukyoungryu: [export checker] Improved the error message format from the export …
Compiled6.d.fss 0.8 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled6.c.fss 0.9 KB 4259 6 weeks sukyoungryu: [self-type idiom] Implemented the new self type. Rewrote …
Compiled6.bz.fss 1.3 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.by.fss 1.5 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.bx.fss 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bw.fss 0.8 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bv.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bu.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bt.fss 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bs.fss 1.0 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.br.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bq.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bp.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bo.fss 1.1 KB 4156 2 months sukyoungryu: [disambiguator] Replaced ExprDisambiguator? in Java with one in Scala. …
Compiled6.bn.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bm.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bl.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bk.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bj.fss 0.9 KB 4091 3 months sukyoungryu: [compiler tests] Moved more static tests from not_working_static_tests/ to …
Compiled6.bi.fss 0.9 KB 4082 3 months sukyoungryu: [parser] Fixed the import collector to handle underscores. [compiler …
Compiled6.bh.fss 0.9 KB 4082 3 months sukyoungryu: [parser] Fixed the import collector to handle underscores. [compiler …
Compiled6.bg.fss 1.0 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.bf.fss 0.8 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.be.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.bd.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.bc.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.bb.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.ba.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.b.fss 1.0 KB 3754 6 months sukyoungryu: [syntax checker] Implemented checking that all hidden field declarations …
Compiled6.az.fss 0.8 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.ay.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.ax.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.aw.fss 0.9 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.av.fss 1.2 KB 4081 3 months sukyoungryu: [compiler tests] Moved some static tests from not_working_static_tests to …
Compiled6.au.fss 1.0 KB 4092 3 months sukyoungryu: [parser] Backed off an error production.
Compiled6.at.fss 1.2 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.as.fss 0.9 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.ar.fss 1.1 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.aq.fss 1.0 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.ap.fss 0.9 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.ao.fss 1.2 KB 4073 3 months jrhil47: [type checker] Implemented type checking of Assignment expressions.
Compiled6.an.fss 0.9 KB 4066 3 months sukyoungryu: [static checker] Implemented that object expressions should not define any …
Compiled6.al.fss 0.8 KB 4062 4 months sukyoungryu: [overloading checker] Check that a functional which takes a single …
Compiled6.ak.fss 0.9 KB 4062 4 months sukyoungryu: [overloading checker] Check that a functional which takes a single …
Compiled6.aj.fss 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.ai.fss 1.2 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.ah.fss 1.0 KB 4055 4 months sukyoungryu: [compiler tests] Moved some of now working static tests to the …
Compiled6.ag.fss 1.0 KB 4055 4 months sukyoungryu: [compiler tests] Moved some of now working static tests to the …
Compiled6.af.fss 1.1 KB 4056 4 months sukyoungryu: [compiler tests] Moved some of now working static tests to the …
Compiled6.ae.fss 0.8 KB 4056 4 months sukyoungryu: [compiler tests] Moved some of now working static tests to the …
Compiled6.ad.fss 0.9 KB 4056 4 months sukyoungryu: [compiler tests] Moved some of now working static tests to the …
Compiled6.ac.test 0.7 KB 4053 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled6.ac.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled6.ab.fss 1.0 KB 4052 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled6.aa.fss 1.0 KB 4052 4 months sukyoungryu: [compiler tests] Cleaning up compiler tests.
Compiled6.a.fss 1.0 KB 3736 6 months sukyoungryu: [compiler tests] Added malformed compiler tests. Not yet working.
Compiled5.z.fss 0.8 KB 3866 5 months sukyoungryu: [static checker] Check that singleton objects must not have contracts. …
Compiled5.y.fss 0.9 KB 3865 5 months sukyoungryu: [static checker] Check that if the comprises clause of trait T includes …
Compiled5.y.fsi 0.8 KB 3865 5 months sukyoungryu: [static checker] Check that if the comprises clause of trait T includes …
Compiled5.x.fsi 0.8 KB 3865 5 months sukyoungryu: [static checker] Check that if the comprises clause of trait T includes …
Compiled5.w.fss 0.8 KB 3862 5 months sukyoungryu: [parser] Provides a clear error message when the caret operator is used as …
Compiled5.v.fss 0.8 KB 3862 5 months sukyoungryu: [parser] Provides a clear error message when the caret operator is used as …
Compiled5.u.fss 0.8 KB 3860 5 months sukyoungryu: [parser] Provides a clear error message when is used as a nofix …
Compiled5.timing.not 89 bytes 4181 2 months sukyoungryu: [timing test] Turn off the timing test of Compiled5 again.
Compiled5.test 0.7 KB 4227 7 weeks jmaessen: [codegen] multiple value definitions in code---but only if the rhs is a …
Compiled5.t.fss 1.0 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
Compiled5.seq.test 0.7 KB 4000 4 months jmaessen: [codegen] Local variable bindings. No mutability yet, but we attempt to …
Compiled5.seq.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.s.fss 0.9 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
Compiled5.r.fss 0.9 KB 3856 5 months sukyoungryu: [type checker] Added more tests for type checking typecase expressions.
Compiled5.q.fss 0.9 KB 3855 5 months sukyoungryu: [type checker] Added more type checking of typecase expressions: multiple …
Compiled5.p.fss 0.9 KB 3855 5 months sukyoungryu: [type checker] Added more type checking of typecase expressions: multiple …
Compiled5.o.fss 0.9 KB 3855 5 months sukyoungryu: [type checker] Added more type checking of typecase expressions: multiple …
Compiled5.k.fss 0.8 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled5.j.fss 1.2 KB 3871 5 months sukyoungryu: [overloading checker] Implemented identifying the intersection of types …
Compiled5.h.test 0.7 KB 3810 6 months EricAllen: Added more testing of function calls and local variables.
Compiled5.h.fss 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.fss 0.9 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.f.fss 1.1 KB 3840 6 months jrhil47: [Typechecker] Added the return types to some tests because the scala …
Compiled5.Elif.test 0.7 KB 4011 4 months jmaessen: [codegen] elif now works.
Compiled5.Elif.fss 1.0 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.e.fss 1.2 KB 3871 5 months sukyoungryu: [overloading checker] Implemented identifying the intersection of types …
Compiled5.bu.fss 1.0 KB 4017 4 months jrhil47: [type checker] Now inferring parameter types of FnExprs? that are arguments …
Compiled5.bt.fss 1.1 KB 3996 4 months jrhil47: [type checker] Now properly inferring types for component-level variable …
Compiled5.bs.fss 0.9 KB 3996 4 months jrhil47: [type checker] Now properly inferring types for component-level variable …
Compiled5.br.fss 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.br.fsi 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.br.A.fsi 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bq.fss 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bq.fsi 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bq.A.fsi 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bp.fss 0.9 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bp.fsi 0.8 KB 3986 4 months sukyoungryu: [static checker] Implemented the static check that every type listed in a …
Compiled5.bo.fss 1.0 KB 3985 4 months jrhil47: [type checker] Fixed bug in checking VarDecls?. Parameter types of FnExprs? …
Compiled5.bn.fss 0.9 KB 3985 4 months jrhil47: [type checker] Fixed bug in checking VarDecls?. Parameter types of FnExprs? …
Compiled5.bm.fss 0.9 KB 3985 4 months jrhil47: [type checker] Fixed bug in checking VarDecls?. Parameter types of FnExprs? …
Compiled5.bl.fss 1.0 KB 3972 4 months sukyoungryu: [static tests] Moved one test from not_working_static_tests/ to …
Compiled5.bk.fss 1.1 KB 4113 3 months sukyoungryu: [overloading checker] Implementing overloading with renamed imports. (Work …
Compiled5.bj.fss 1.0 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.Binding.fss 1.1 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.bi.fss 0.9 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.bh.fss 0.9 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.bg.fss 0.9 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.bfs.fss 1.1 KB 4298 4 weeks jmaessen: [testing] This file proves that Compiled5.bf.fss wasn't *really* …
Compiled5.bf.fss 1.1 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.be.fss 0.8 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.bd.fss 0.9 KB 3962 4 months sukyoungryu: [static tests] Moved 7 static tests from not_working_static_tests/ to …
Compiled5.bc.fss 0.8 KB 3957 4 months sukyoungryu: [export checker] Implemented export checking of abstract function …
Compiled5.bb.fss 1.0 KB 3913 5 months sukyoungryu: [parser] Fixed preparsing compound operators. Added a test. [spec …
Compiled5.ba.fss 0.8 KB 3910 5 months sukyoungryu: [demos] Fixed demos/newtictactoe.fss to bail out when an exception occurs.
Compiled5.az.fss 0.8 KB 3904 5 months sukyoungryu: [parser] Implemented the static check that if a return type is given in a …
Compiled5.ay.fss 0.8 KB 3941 4 months EricAllen: Incrementally committed some recent changes that are unrelated to the …
Compiled5.ax.A.test 0.7 KB 3978 4 months EricAllen: Threaded through dependencies properly, so that compound APIs work as …
Compiled5.ax.A.fss 0.8 KB 4254 6 weeks jmaessen: [testing] eliminate printlnZZ32 in favor of overloaded println. This …
Compiled5.ax.A.fsi 0.8 KB 3941 4 months EricAllen: Incrementally committed some recent changes that are unrelated to the …
Compiled5.ax.A4.fsi 0.8 KB 3997 4 months EricAllen: Fixed all plumbing of components and APIs through compiler phases.
Compiled5.ax.A3.fsi 0.8 KB 3941 4 months EricAllen: Incrementally committed some recent changes that are unrelated to the …