root/trunk/ProjectFortress/not_passing_yet


Mode:

Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @2910 [2910] 10/04/08 07:38:35 sukyoungryu [tool] The 'abstract' keyword is now added to methods where necessary by …
(edit) @2908 [2908] 10/03/08 14:31:26 angelee added a test file that should fail by type checker but not currently
(edit) @2880 [2880] 09/26/08 13:18:37 angelee [desugarer] object closure conversion does not handle this test …
(edit) @2877 [2877] 09/26/08 10:29:48 angelee Bug fixed in interpreter.
(edit) @2847 [2847] 09/19/08 12:10:52 chf Closure.java was wrapping abortedexceptions and causing transactions to …
(edit) @2833 [2833] 09/17/08 13:41:31 jmaessen abort followed by exit appears to perform the exit rather than the abort.
(edit) @2827 [2827] 09/15/08 17:14:25 sukyoungryu [library] Added explicit static arguments to some method invocations.
(edit) @2825 [2825] 09/15/08 14:20:33 jmaessen Bug #261
(edit) @2822 [2822] 09/14/08 07:11:17 jmaessen Minor code changes to support recent tickets. No interpreter changes to …
(edit) @2815 [2815] 09/13/08 05:29:37 sukyoungryu [interpreter] Signals an error with an informative message instead of a …
(edit) @2812 [2812] 09/12/08 13:48:33 angelee Type checker assigns the wrong type to references to a field in object …
(edit) @2804 [2804] 09/10/08 16:11:00 jmaessen Some cleanups, checked in working test-passing version of strided range …
(edit) @2795 [2795] 09/05/08 19:57:36 black got all tests to run and terminate\!
(edit) @2794 [2794] 09/05/08 11:42:27 chf Don't let orphaned transactions return values, various cleanups, dial back …
(edit) @2765 [2765] 08/28/08 10:53:08 black String comparison passes tests! This includes SubString?' …
(edit) @2754 [2754] 08/27/08 11:59:56 black Added various printing functions and ilkName, for use in debugging.
(edit) @2744 [2744] 08/26/08 06:46:03 black Solved problem with overloadings of println not being recognized.
(edit) @2739 [2739] 08/25/08 07:23:17 black Next iteration of CordedStrings?, with substring nodes. Comparison of …
(edit) @2713 [2713] 08/21/08 08:58:08 dr2chase The interpreter is no longer performing imports, and instead relies on …
(edit) @2709 [2709] 08/21/08 07:15:08 nbeckman [shadowing,bugfix] Issue: 152, This error is now caught, thanks to Eric's …
(edit) @2708 [2708] 08/21/08 06:17:25 black Next iteration of CordedStrings?, with subrange and subscripting working, …
(edit) @2684 [2684] 08/18/08 16:35:53 black More string stuff
(edit) @2673 [2673] 08/18/08 11:10:47 black A start at implementing substring. Also committed a version that fails …
(edit) @2658 [2658] 08/16/08 06:40:04 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2647 [2647] 08/15/08 07:17:34 black Removed superfluous abstract definitions from trait String in …
(edit) @2517 [2517] 08/04/08 08:57:19 chf Removing nestedTransactions1.fss
(edit) @2508 [2508] 08/01/08 18:42:11 chf move test to not_passing_yet
(edit) @2472 [2472] 07/31/08 14:11:36 nbeckman [test] Fixed the mondial.fss test.
(edit) @2450 [2450] 07/30/08 20:30:03 jon [syntax] merge syntax branch to trunk. add support for nonterminal with …
(edit) @2444 [2444] 07/30/08 13:31:29 nbeckman [desugaring] Put in a new desugaring pass that goes before the …
(edit) @2419 [2419] 07/29/08 09:56:07 jmaessen [Library, static analysis, tests] Added type Object
(edit) @2360 [2360] 07/24/08 11:15:07 jon [shell] use the correct apiname for the file given on the command line and …
(edit) @2348 [2348] 07/23/08 12:24:15 dr2chase [test] moved passing tests into tests, upgraded them to be self-checking
(edit) @2345 [2345] 07/23/08 11:36:49 dr2chase [test] Renamed/repaired some tests
(edit) @2344 [2344] 07/23/08 11:12:55 dr2chase [tests] Minor test cleanup, part 1 (modifications now, renaming next)
(edit) @2304 [2304] 07/18/08 04:13:51 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2294 [2294] 07/17/08 09:58:26 nbeckman [tests] The ImportLocalCollision?.fss test is broken. I am not sure what it …
(edit) @2288 [2288] 07/16/08 12:49:17 angelee [tests] object expression can't be found when the method returning it …
(edit) @2287 [2287] 07/16/08 12:08:12 angelee [tests] use of static parameter in object expression causes an error. …
(edit) @2282 [2282] 07/16/08 07:21:54 angelee [tests] Adding a test case that misbehaves. New method defined in some …
(edit) @2275 [2275] 07/15/08 14:15:12 angelee [tests] This file contains an illegal shadowing of a local variable. …
(edit) @2263 [2263] 07/15/08 06:56:39 jmaessen IntLiteral? is now a subtype of ZZ32 (and thus of every other …
(edit) @2220 [2220] 07/10/08 03:31:27 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2215 [2215] 07/09/08 14:57:46 angelee [tests] this test case triggers a bug in the interpreter (?). It seems …
(edit) @2180 [2180] 07/03/08 14:13:34 jon [tests] move failing format test back
(edit) @2177 [2177] 07/03/08 13:46:57 jon [tests] move broken format test
(edit) @2165 [2165] 07/02/08 20:42:31 sukyoungryu [tests] Moved SyntaxRepetition? tests out of the nightly build for now. …
(edit) @2158 [2158] 07/01/08 11:10:49 jon [tests] the knuth stack overflows on solaris. moving the test to …
(edit) @2134 [2134] 06/29/08 18:37:00 jmaessen Code that manifests Bug #137 - Functional method operator lookup within …
(edit) @2048 [2048] 06/22/08 06:50:32 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2046 [2046] 06/21/08 22:12:50 sukyoungryu [tests] Fixed test programs.
(edit) @2043 [2043] 06/21/08 07:01:02 sukyoungryu [tests] Fixed some test programs. Moved working test programs to the …
(edit) @1826 [1826] 06/07/08 05:02:40 sukyoungryu [copyright] Fixed copyright notices.
(edit) @1816 [1816] 06/05/08 20:24:37 dr2chase Added test for bug #126, fixed bug #126
(edit) @1775 [1775] 06/03/08 08:32:07 jmaessen Fix for #125, and uses of // operator where appropriate (and appropriately …
(edit) @1762 [1762] 05/31/08 22:02:51 dr2chase Added subtype-result-type test to overloading consistency check
(edit) @1729 [1729] 05/28/08 04:15:57 dr2chase Added test for method inference, made static-checker switchable with a …
(edit) @1716 [1716] 05/26/08 18:32:49 jmaessen Spent a while trying to hunt down stuff related to bug #116. …
(edit) @1704 [1704] 05/23/08 05:41:09 jmaessen Fixed some more type signature messups.
(edit) @1703 [1703] 05/22/08 19:31:53 jmaessen Test case that reproduces #115.
(edit) @1702 [1702] 05/22/08 08:09:37 sukyoungryu Overloading of local functions is not implemented. (Ticket #113)
(edit) @1665 [1665] 05/17/08 12:17:19 sukyoungryu Fixed copyright notices.
(edit) @1659 [1659] 05/15/08 16:26:34 jmaessen Bug fixes and performance improvements. Make sure we …
(edit) @1597 [1597] 05/08/08 05:08:19 jmaessen Refactored libraries to move arithmetic operators from top level into the …
(edit) @1486 [1486] 04/09/08 06:34:00 sukyoungryu Fixed copyright notices.
(edit) @1474 [1474] 04/07/08 11:37:32 jmaessen Some code cleanups in SkipList? (occasioned by mention of the code …
(edit) @1419 [1419] 03/27/08 09:43:32 sukyoungryu Replaced the settable modifier with var.
(edit) @1400 [1400] 03/24/08 16:06:10 jmaessen Renamed ArrayList? to List.
(edit) @1394 [1394] 03/23/08 06:10:11 sukyoungryu Fixed copyright notices.
(edit) @1386 [1386] 03/20/08 12:54:03 dr2chase Added -test and -debug flags to new fortress command; also partial …
(edit) @1358 [1358] 03/10/08 14:29:30 jmaessen Fixes to exception behavior of Set and Map. Map now supports …
(edit) @1331 [1331] 03/04/08 06:51:06 sukyoungryu Fixed copyright notices.
(edit) @1328 [1328] 03/03/08 13:38:31 dr2chase Changed generic-overloading semantics -- ambiguity is removed
(edit) @1321 [1321] 02/28/08 18:15:05 jmaessen Fixed ordering of Comparisons (!), which were causing RangeTest? to fail …
(edit) @1304 [1304] 02/16/08 05:21:53 sukyoungryu Fixed copyright notices and did some clean up.
(edit) @1303 [1303] 02/15/08 17:26:50 dr2chase Moved now-passing test into tests
(edit) @1282 [1282] 02/08/08 15:02:40 EricAllen Added checks on dimensions and units to disambiguator. Added a top-level …
(edit) @1277 [1277] 02/08/08 04:06:15 sukyoungryu Separated DimDecl? and UnitDecl? from DimUnitDecl?.
(edit) @1272 [1272] 02/07/08 13:09:39 dr2chase Static checker now on by default
(edit) @1232 [1232] 01/30/08 12:17:39 jmaessen asif now works. Lots of code cleanup to the function application code, …
(edit) @1206 [1206] 01/25/08 11:48:22 jmaessen Commented-out fix for bug #62, along with test case. Does not …
(edit) @1140 [1140] 01/02/08 11:16:00 sukyoungryu ProjectFortress?/not_passing_yet/examples.fss is replaced by …
(edit) @1128 [1128] 12/20/07 07:21:43 sukyoungryu Fixed a bug: reduction expressions were parsed as operator applications.
(edit) @1121 [1121] 12/18/07 13:23:01 jmaessen Replace a lot of uses of .generate by an appopriate reduction. This does …
(edit) @1120 [1120] 12/18/07 12:41:49 jmaessen Incorrectly parses "SUM x" as an OprExpr?.
(edit) @1113 [1113] 12/15/07 19:19:30 sukyoungryu Fixed a bug handling QualifiedName? in import statements.
(edit) @1112 [1112] 12/15/07 14:09:21 sukyoungryu Implemented the new import-statement syntax.
(edit) @1110 [1110] 12/14/07 14:52:43 sukyoungryu 1. Implemented the new where-clause syntax. 2. SUM and PROD are …
(edit) @1108 [1108] 12/14/07 11:49:21 jmaessen BIG operator desugaring. You should now be able to defined BIG operators …
(edit) @1104 [1104] 12/14/07 10:20:43 jmaessen More tweaking in preparation for desugaring comprehensions. Most of the …
(edit) @1103 [1103] 12/14/07 06:44:59 jmaessen Some test tinkering in preparation for implementing Accumulator …
(edit) @1095 [1095] 12/13/07 05:19:37 jmaessen Fiddled with reductions (particularly Sum reduction) in effort to …
(edit) @1079 [1079] 12/10/07 13:32:05 jmaessen Sukyoung found a bug in generic overloading, which has been worked around …
(edit) @1077 [1077] 12/07/07 20:08:56 jmaessen Rather a grab bag: Improved testing of Lists to shake down equality. This …
(edit) @1074 [1074] 12/07/07 08:14:32 jmaessen Removed exclusion workarounds from overload tests. Added somewhat more …
(edit) @1030 [1030] 11/28/07 08:00:01 sukyoungryu Fixed a parser bug: Tightly juxtaposed chaining fails during Resolve …
(edit) @1027 [1027] 11/27/07 13:00:03 sukyoungryu A top-level array declaration is not working.
(edit) @1021 [1021] 11/19/07 12:42:12 sukyoungryu Object trait types are not allowed to appear in extends clauses.
(edit) @1015 [1015] 11/14/07 10:12:22 dr2chase Moved passing test, into tests
(edit) @1014 [1014] 11/14/07 08:57:08 dr2chase Check output for correctness
Note: See TracRevisionLog for help on using the revision log.