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