root/trunk/ProjectFortress


Mode:

Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @2936 [2936] 10/10/08 15:10:37 steve.heller trips: code cleanup
(edit) @2935 [2935] 10/10/08 13:37:05 sukyoungryu [AST] Deleted obsolete nodes: AbsExternalSyntax? and ExternalSyntax?
(edit) @2934 [2934] 10/10/08 12:40:14 jon [syntax] dont rename template pattern variables
(edit) @2932 [2932] 10/10/08 12:05:17 angelee [desugarer] adding the test case for testing shadowing
(edit) @2931 [2931] 10/10/08 12:04:30 angelee [desugarer] Fixed the bug in FreeNameCollector?.isDeclaredInObjExpr …
(edit) @2930 [2930] 10/10/08 03:14:02 steve.heller trips: comment cleanup
(edit) @2929 [2929] 10/09/08 19:49:44 steve.heller trips: more striding
(edit) @2928 [2928] 10/09/08 19:38:55 steve.heller use strided ranges
(edit) @2927 [2927] 10/09/08 13:51:45 dr2chase [interpreter] Pushing compilationindex in to interpreter so modified date …
(edit) @2926 [2926] 10/09/08 10:10:25 dr2chase [interpreter] making better distinction between Components and Apis in …
(edit) @2924 [2924] 10/08/08 20:03:37 jmaessen Constructors for strided ranges. You should now be able to use strided …
(edit) @2923 [2923] 10/08/08 13:01:08 dr2chase [interpreter] Renamed a class more accurately, checking in before reuse of …
(edit) @2922 [2922] 10/08/08 09:08:20 jmaessen Should fix bugs in demos by cleaning up missing method printing and fixing …
(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) @2918 [2918] 10/07/08 12:48:00 sukyoungryu [tests] Fixed running twice for the fortress test command with -verbose.
(edit) @2917 [2917] 10/07/08 12:26:12 sukyoungryu [tests] Invalid flags to fortress commands are detected. Added the …
(edit) @2916 [2916] 10/06/08 19:04:10 sukyoungryu [API generator] The 'var' modifier on a field declaration in a component …
(edit) @2915 [2915] 10/06/08 17:35:42 sukyoungryu [API generator] Add vertical space between sections of trait/object …
(edit) @2914 [2914] 10/06/08 15:05:11 sukyoungryu [API generator] Don't add vertical space in empty trait declarations. …
(edit) @2912 [2912] 10/06/08 09:14:38 dr2chase [interpreter] cleaning up in preparation for caching rewrites, moving to …
(edit) @2911 [2911] 10/06/08 06:50:13 sukyoungryu [shadow detector] Local functions should not shadow functionals declared …
(edit) @2910 [2910] 10/04/08 07:38:35 sukyoungryu [tool] The 'abstract' keyword is now added to methods where necessary by …
(edit) @2909 [2909] 10/03/08 16:10:35 angelee [desugarer] implemented code to handle the case where object expr declares …
(edit) @2908 [2908] 10/03/08 14:31:26 angelee added a test file that should fail by type checker but not currently
(edit) @2907 [2907] 10/03/08 13:51:41 jon [syntax] hygiene for if clause
(edit) @2906 [2906] 10/03/08 13:46:37 jmaessen Formatting changes to FortressAstToConcrete? (plus necessary tweaks …
(edit) @2905 [2905] 10/03/08 13:41:03 jon [syntax] hygiene for while loops
(edit) @2904 [2904] 10/03/08 10:39:55 dr2chase [interpreter/ast] minor temp hacks to permit better caching of modified …
(edit) @2903 [2903] 10/03/08 07:47:36 jmaessen Fixed bug in bounds for strided full ranges.
(edit) @2902 [2902] 10/02/08 15:07:00 jon [unparser] indent declarations in an abstract trait
(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) @2899 [2899] 10/02/08 13:10:59 EricAllen Minor edits to ErrorMsgMaker? to improve some error messages.
(edit) @2898 [2898] 10/02/08 10:31:28 dr2chase [ast] temporarily added a field to Component, so that interpreter …
(edit) @2897 [2897] 10/01/08 10:26:42 sukyoungryu [tests/demos] Made small changes.
(edit) @2896 [2896] 09/30/08 18:40:53 sukyoungryu [interpreter] Fixed running tests with the -debug flag and made the …
(edit) @2895 [2895] 09/30/08 16:21:03 dr2chase [interpreter driver] fixed environment problem runnin non-main tests
(edit) @2894 [2894] 09/30/08 14:19:36 sukyoungryu [parser] Improved some syntax error messages.
(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) @2891 [2891] 09/29/08 18:21:08 jon [syntax] actually update syntax environment for recently added cases. …
(edit) @2890 [2890] 09/29/08 17:42:38 jon [unparser] print a newline after try and indent the body
(edit) @2889 [2889] 09/29/08 17:31:57 jon [syntax] rename catch variable
(edit) @2888 [2888] 09/29/08 17:18:12 jon [syntax] rename typecase variables. add test for hygienic typecase
(edit) @2887 [2887] 09/29/08 17:09:17 jon [syntax] rename label identifiers
(edit) @2886 [2886] 09/29/08 13:09:00 sukyoungryu [shell] Fixed the runTests method to handle command-line flags correctly …
(edit) @2885 [2885] 09/29/08 11:32:17 sukyoungryu [disambiguator] Fixed a shadowing detector bug handling labels. Closed …
(edit) @2883 [2883] 09/29/08 06:56:31 sukyoungryu [tests] Small fixes.
(edit) @2882 [2882] 09/28/08 21:59:41 jon [syntax] use a function to generate new ids
(edit) @2881 [2881] 09/28/08 21:57:58 jon [tests] add a test for multiple labels
(edit) @2880 [2880] 09/26/08 13:18:37 angelee [desugarer] object closure conversion does not handle this test …
(edit) @2879 [2879] 09/26/08 13:14:14 sukyoungryu [build] Use the ProjectFortress?/test-tmp directory for dumping temporary …
(edit) @2878 [2878] 09/26/08 12:27:28 sukyoungryu [JUTest] Reverted the changes in r2874 about the way …
(edit) @2877 [2877] 09/26/08 10:29:48 angelee Bug fixed in interpreter.
(edit) @2876 [2876] 09/26/08 10:24:39 jon [syntax] update todo
(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) @2873 [2873] 09/26/08 08:39:12 sukyoungryu [desugar] The getter/setter desugarer generates abstract getter/setter …
(edit) @2872 [2872] 09/26/08 01:15:23 jon [parser] ignore template gaps and ellipses nodes when checking for a valid …
(edit) @2871 [2871] 09/26/08 00:12:13 jon [parser] if the node being printed is an _Ellipses then do not print all …
(edit) @2870 [2870] 09/25/08 20:47:45 sukyoungryu [desugar] Fixed several issues with the getter/setter desugarer.
(edit) @2869 [2869] 09/24/08 20:10:15 sukyoungryu [syntax] Implemented more renaming for the syntax abstraction.
(edit) @2868 [2868] 09/24/08 08:53:10 sukyoungryu [parser] Fixed parsing numerals according to the spec 1.0b.
(edit) @2864 [2864] 09/22/08 21:08:15 sukyoungryu [demos] Added Eric's Featherweight Java implementation with small changes.
(edit) @2863 [2863] 09/22/08 20:43:32 sukyoungryu [build] Use the ProjectFortress?/test-tmp directory for building template …
(edit) @2862 [2862] 09/22/08 20:17:14 jon [syntax] add comment about which nodes bind variables
(edit) @2861 [2861] 09/22/08 13:27:54 jon [tests] fix syntax errors in syntax abstraction tests
(edit) @2860 [2860] 09/22/08 13:13:17 jon [copyright] add copyrights
(edit) @2859 [2859] 09/22/08 13:09:17 jon [merge] svn merge -r2850:HEAD …
(edit) @2858 [2858] 09/22/08 11:48:49 jon [tests] add syntax test that fails due to a lack of hygiene
(edit) @2856 [2856] 09/22/08 07:25:14 sukyoungryu [parser] Cleanup
(edit) @2855 [2855] 09/21/08 19:49:55 sukyoungryu [parser] Cleanup
(edit) @2849 [2849] 09/19/08 15:11:11 EricAllen Removed a creation of a singleton intersection type. Improved printing of …
(edit) @2848 [2848] 09/19/08 12:34:36 sukyoungryu [typechecker] Reverted unintended changes in the type checker.
(edit) @2847 [2847] 09/19/08 12:10:52 chf Closure.java was wrapping abortedexceptions and causing transactions to …
(edit) @2846 [2846] 09/18/08 18:33:30 sukyoungryu [parser] Made more productions transient to avoid a heap overflow while …
(edit) @2845 [2845] 09/18/08 17:46:09 sukyoungryu [parser] Made more productions transient to avoid a heap overflow while …
(edit) @2844 [2844] 09/18/08 13:17:19 chf Remove an accidentally left in println
(edit) @2843 [2843] 09/18/08 12:52:39 jrhil47 [TypeChecker?] Fixed the infinite loop in ConstaintFormula?.solve() that was …
(edit) @2842 [2842] 09/18/08 12:19:06 chf Tests no longer require run methods. You can run multiple tests at once …
(edit) @2841 [2841] 09/18/08 12:15:53 skilpat [typechecker] Add in more functionality for finding inference variables …
(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) @2834 [2834] 09/17/08 17:17:20 jon [demos] make tictactoe ai smarter
(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) @2828 [2828] 09/15/08 17:24:57 jmaessen Fix to type signature in Set.fss and Set.fsi, plus minor doc fixes to …
(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) @2825 [2825] 09/15/08 14:20:33 jmaessen Bug #261
(edit) @2824 [2824] 09/15/08 11:55:26 sukyoungryu [unparser] Emit a space before type annotation to avoid syntax errors for …
(edit) @2823 [2823] 09/14/08 12:48:41 jon [demos] use list comprehension for generating empty board
(edit) @2822 [2822] 09/14/08 07:11:17 jmaessen Minor code changes to support recent tickets. No interpreter changes to …
(edit) @2821 [2821] 09/14/08 06:01:08 steve.heller Pythagorean trips: cleanup for FBE: possible inclusion in Fortress By …
(edit) @2820 [2820] 09/13/08 21:04:44 sukyoungryu [demos] Revised big operator applications.
(edit) @2819 [2819] 09/13/08 17:31:47 steve.heller Pythagorean trips: trueDat fun, planning for strided ranges, and thinking …
Note: See TracRevisionLog for help on using the revision log.