root/trunk/ProjectFortress/tests


Mode:

Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @2932 [2932] 10/10/08 12:05:17 angelee [desugarer] adding the test case for testing shadowing
(edit) @2924 [2924] 10/08/08 20:03:37 jmaessen Constructors for strided ranges. You should now be able to use strided …
(edit) @2920 [2920] 10/07/08 13:30:37 jmaessen Cut over to new range implementation. Strided ranges are not …
(edit) @2919 [2919] 10/07/08 13:05:18 sukyoungryu [tests] Deleted printing messages from test functions. They can be shown …
(edit) @2906 [2906] 10/03/08 13:46:37 jmaessen Formatting changes to FortressAstToConcrete? (plus necessary tweaks …
(edit) @2903 [2903] 10/03/08 07:47:36 jmaessen Fixed bug in bounds for strided full ranges.
(edit) @2901 [2901] 10/02/08 14:49:31 jmaessen Split RangePrototype? into library and test.
(edit) @2900 [2900] 10/02/08 13:45:05 jmaessen Working checkpoint of 2-D Generators.
(edit) @2897 [2897] 10/01/08 10:26:42 sukyoungryu [tests/demos] Made small changes.
(edit) @2893 [2893] 09/30/08 12:52:37 jmaessen Test file for last checkin.
(edit) @2892 [2892] 09/30/08 12:50:37 jmaessen Fix of Victor's bug: if we add a Ratio and an RR64, we got an …
(edit) @2885 [2885] 09/29/08 11:32:17 sukyoungryu [disambiguator] Fixed a shadowing detector bug handling labels. Closed …
(edit) @2875 [2875] 09/26/08 10:22:51 angelee removing some comments that are no longer correct.
(edit) @2874 [2874] 09/26/08 10:13:07 angelee [desugarer] - Changed the way ObjectExpressionVisitor? is tested: Instead …
(edit) @2868 [2868] 09/24/08 08:53:10 sukyoungryu [parser] Fixed parsing numerals according to the spec 1.0b.
(edit) @2847 [2847] 09/19/08 12:10:52 chf Closure.java was wrapping abortedexceptions and causing transactions to …
(edit) @2842 [2842] 09/18/08 12:19:06 chf Tests no longer require run methods. You can run multiple tests at once …
(edit) @2840 [2840] 09/18/08 08:39:12 sukyoungryu [language] Added the new syntax for big enclosing operator application. …
(edit) @2839 [2839] 09/17/08 22:52:14 sukyoungryu [parser] Implemented the new big operator application syntax: BIG Op Expr. …
(edit) @2836 [2836] 09/17/08 19:26:05 sukyoungryu [tests] Gave an explicit static argument to fix the broken build.
(edit) @2833 [2833] 09/17/08 13:41:31 jmaessen abort followed by exit appears to perform the exit rather than the abort.
(edit) @2832 [2832] 09/16/08 13:09:03 sukyoungryu [parser] To-the-end-of-line comments may be within a comment enclosed by …
(edit) @2830 [2830] 09/16/08 10:57:46 sukyoungryu [comment] Added the new to-the-end-of-line comments.
(edit) @2829 [2829] 09/16/08 10:06:16 sukyoungryu [language] Use 'outcome' instead of 'result' for an implicitly declared …
(edit) @2827 [2827] 09/15/08 17:14:25 sukyoungryu [library] Added explicit static arguments to some method invocations.
(edit) @2826 [2826] 09/15/08 15:26:41 sukyoungryu [delete] Eliminated the transient modifier.
(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) @2811 [2811] 09/12/08 12:37:32 angelee [desugarer] Update the test file to test object expression defined within …
(edit) @2810 [2810] 09/12/08 08:44:44 sukyoungryu [parser] Fixed handling semicolons in case expressions.
(edit) @2808 [2808] 09/12/08 04:52:59 sukyoungryu [parser] We can comingle type-annotated and un-annotated variable …
(edit) @2806 [2806] 09/11/08 05:54:16 jmaessen Slightly better exception EmptyReduction for BIG MIN, BIG MAX, and other …
(edit) @2804 [2804] 09/10/08 16:11:00 jmaessen Some cleanups, checked in working test-passing version of strided range …
(edit) @2794 [2794] 09/05/08 11:42:27 chf Don't let orphaned transactions return values, various cleanups, dial back …
(edit) @2792 [2792] 09/04/08 15:53:00 jmaessen Created type Contains[\T\] which is extended by Range[\T\] and …
(edit) @2789 [2789] 09/04/08 10:20:22 sukyoungryu [parser] Transient object parameters must not be mutable.
(edit) @2787 [2787] 09/03/08 07:11:53 sukyoungryu [library] Changed toString methods of arrays to drop '='.
(edit) @2782 [2782] 08/30/08 19:12:09 sukyoungryu [parser] Ampersands do not appear in inappropriate places. Fixed Ticket …
(edit) @2781 [2781] 08/30/08 18:21:17 sukyoungryu [parser] Prime characters may be used in identifiers. LINE SEPARATOR …
(edit) @2780 [2780] 08/30/08 07:15:12 sukyoungryu [parser] It is a static error for a Fortress program to contain any …
(edit) @2779 [2779] 08/30/08 04:35:47 sukyoungryu [parser] Characters allowed only within comments and string and character …
(edit) @2765 [2765] 08/28/08 10:53:08 black String comparison passes tests! This includes SubString?' …
(edit) @2759 [2759] 08/27/08 20:39:39 sukyoungryu [parser] Implemented some static checks on characgter literals. Closed …
(edit) @2755 [2755] 08/27/08 12:45:53 dr2chase Fixes for compiled environments -- mostly they work, but are switched off, …
(edit) @2752 [2752] 08/26/08 20:16:09 sukyoungryu [parser] Provides better error messages for unbalanced comments.
(edit) @2751 [2751] 08/26/08 19:51:33 sukyoungryu [copyright] Fixed a copyright notice.
(edit) @2750 [2750] 08/26/08 19:09:37 jmaessen Partial cleanup of getters and setters. …
(edit) @2743 [2743] 08/26/08 05:15:19 sukyoungryu [parser] The opening and closing marks of character literals 'match', …
(edit) @2742 [2742] 08/25/08 20:36:08 sukyoungryu [parser] The opening and closing marks of string literals 'match', i.e., …
(edit) @2740 [2740] 08/25/08 07:40:29 angelee [desugarer] implemented static type parameters captured by …
(edit) @2739 [2739] 08/25/08 07:23:17 black Next iteration of CordedStrings?, with substring nodes. Comparison of …
(edit) @2736 [2736] 08/23/08 04:09:29 sukyoungryu [copyright] Fixed a copyright notice.
(edit) @2732 [2732] 08/22/08 12:26:44 angelee [desugarer] implemented code for handling static type params captured …
(edit) @2713 [2713] 08/21/08 08:58:08 dr2chase The interpreter is no longer performing imports, and instead relies on …
(edit) @2706 [2706] 08/20/08 14:22:23 angelee [desugarer] added test cases for objExpr capturing immutable variables.
(edit) @2702 [2702] 08/20/08 10:51:06 sukyoungryu [disambiguator] Fixed handling typecase bindings in the shadow detector. …
(edit) @2698 [2698] 08/20/08 03:11:47 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2695 [2695] 08/19/08 14:09:13 nbeckman [disambiguator] We now report errors if a unqualified reference to a type …
(edit) @2682 [2682] 08/18/08 15:06:08 mspiegel [library] Added minimum() and maximum() methods to ZZ32 and ZZ64. These …
(edit) @2672 [2672] 08/18/08 09:34:47 angelee [desugarer] implemented code for handling mutable vars captured by …
(edit) @2669 [2669] 08/18/08 07:54:09 sukyoungryu [setter desugarer] Removed the atomic/var modifier from the generated …
(edit) @2667 [2667] 08/18/08 04:43:30 sukyoungryu [setter desugarer] Fixed a bug recognizing settable fields without …
(edit) @2665 [2665] 08/17/08 15:08:19 sukyoungryu [tests] Added a test file for the getter/setter desugarer.
(edit) @2664 [2664] 08/17/08 14:41:05 sukyoungryu [desugarer] Implemented setter desugaring.
(edit) @2660 [2660] 08/16/08 11:40:39 nbeckman [disambiguator, tests, bugfix] - This commit was primarily intended as a …
(edit) @2653 [2653] 08/15/08 15:08:35 EricAllen Brought automatic getter generation online. Moved the getter desugar to …
(edit) @2648 [2648] 08/15/08 09:13:23 mspiegel [library] Added the DIVIDES operator to trait Integral, with some test …
(edit) @2635 [2635] 08/14/08 09:03:40 jmaessen Can't reproduce Bug #160 anymore, so eliminated the workarounds. We'll see …
(edit) @2634 [2634] 08/14/08 08:03:34 jmaessen Added strToInt (convert String to ZZ32) to FortressLibrary?.fss. …
(edit) @2633 [2633] 08/14/08 04:09:16 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2631 [2631] 08/13/08 21:19:50 sukyoungryu [shell] Fixed the problem of failing only with JUnit tests.
(edit) @2628 [2628] 08/13/08 14:36:03 angelee [desugarer] implemented code for handling mutable varRefs captured by …
(edit) @2619 [2619] 08/13/08 07:57:18 black The great restructuring of the world consequent on turning String into a …
(edit) @2618 [2618] 08/13/08 07:00:59 jmaessen [interpreter] Permit unification of overloaded functions passed …
(edit) @2609 [2609] 08/12/08 15:40:14 EricAllen Turned on shadowing detection, after fixing remaining bugs in the detector …
(edit) @2606 [2606] 08/12/08 12:33:15 jmaessen [Interpreter] Bunches of whiatespace cleanup, primarily to tasks. Added …
(edit) @2603 [2603] 08/12/08 11:19:59 sukyoungryu [parser] Supports more Unicode characters in Fortress programs.
(edit) @2601 [2601] 08/12/08 10:29:44 sukyoungryu [parser] Implemented the following synonym operators: HYPHEN-MINUS …
(edit) @2598 [2598] 08/12/08 08:55:57 sukyoungryu [parser] Supports more Unicode characters in Fortress programs including …
(edit) @2582 [2582] 08/08/08 14:08:11 angelee [desugarer] Restructured the FreeNameVisitor? to traverse the entire …
(edit) @2571 [2571] 08/08/08 03:50:51 sukyoungryu [test] Fixed a JU test for the closure conversion. [copyright] Fixed a …
(edit) @2570 [2570] 08/07/08 19:19:13 dr2chase [interpreter] reference overloaded operators via rewritten nodes (ant …
(edit) @2550 [2550] 08/06/08 10:52:52 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2541 [2541] 08/05/08 20:11:43 sukyoungryu [test] Added a JUTest for the closure conversion of object expressions.
(edit) @2519 [2519] 08/04/08 10:48:06 jmaessen Fix shadowing problems in the libraries and tests. At this point …
(edit) @2517 [2517] 08/04/08 08:57:19 chf Removing nestedTransactions1.fss
(edit) @2512 [2512] 08/02/08 06:48:05 sukyoungryu [test] Fixed a missing open parenthesis.
(edit) @2511 [2511] 08/02/08 04:53:55 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2508 [2508] 08/01/08 18:42:11 chf move test to not_passing_yet
(edit) @2503 [2503] 08/01/08 14:11:00 EricAllen Implemented static shadowing detection. (But it is offline until all …
(edit) @2483 [2483] 08/01/08 09:35:46 chf Dial back nestedTransactons1
(edit) @2472 [2472] 07/31/08 14:11:36 nbeckman [test] Fixed the mondial.fss test.
(edit) @2452 [2452] 07/31/08 06:20:27 jon [tests] arise from your grave. bring back accidentally deleted 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) @2436 [2436] 07/30/08 05:03:55 sukyoungryu [tool] ast->concrete: more fixes
(edit) @2419 [2419] 07/29/08 09:56:07 jmaessen [Library, static analysis, tests] Added type Object
(edit) @2417 [2417] 07/29/08 09:42:59 jmaessen [tests] This test contained a rather obvious concurrency bug that made it …
(edit) @2373 [2373] 07/25/08 11:51:42 chf break up nested transaction tests
(edit) @2367 [2367] 07/24/08 21:36:48 EricAllen More extensions to automatic getter/setter generator. Modifications to …
Note: See TracRevisionLog for help on using the revision log.