|
|
|
@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 |
|
|
|
@2931
|
[2931]
|
10/10/08 12:04:30 |
angelee |
[desugarer] Fixed the bug in FreeNameCollector?.isDeclaredInObjExpr … |
|
|
|
@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 … |
|
|
|
@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 … |
|
|
|
@2902
|
[2902]
|
10/02/08 15:07:00 |
jon |
[unparser] indent declarations in an abstract trait |
|
|
|
@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 … |
|
|
|
@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. |
|
|
|
@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 … |
|
|
|
@2882
|
[2882]
|
09/28/08 21:59:41 |
jon |
[syntax] use a function to generate new ids |
|
|
|
@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 … |
|
|
|
@2876
|
[2876]
|
09/26/08 10:24:39 |
jon |
[syntax] update todo |
|
|
|
@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. |
|
|
|
@2862
|
[2862]
|
09/22/08 20:17:14 |
jon |
[syntax] add comment about which nodes bind variables |
|
|
|
@2859
|
[2859]
|
09/22/08 13:09:17 |
jon |
[merge] svn merge -r2850:HEAD … |
|
|
|
@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. … |
|
|
|
@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 … |
|
|
|
@2826
|
[2826]
|
09/15/08 15:26:41 |
sukyoungryu |
[delete] Eliminated the transient modifier. |
|
|
|
@2824
|
[2824]
|
09/15/08 11:55:26 |
sukyoungryu |
[unparser] Emit a space before type annotation to avoid syntax errors for … |
|
|
|
@2815
|
[2815]
|
09/13/08 05:29:37 |
sukyoungryu |
[interpreter] Signals an error with an informative message instead of a … |
|
|
|
@2810
|
[2810]
|
09/12/08 08:44:44 |
sukyoungryu |
[parser] Fixed handling semicolons in case expressions. |
|
|
|
@2808
|
[2808]
|
09/12/08 04:52:59 |
sukyoungryu |
[parser] We can comingle type-annotated and un-annotated variable … |
|
|
|
@2804
|
[2804]
|
09/10/08 16:11:00 |
jmaessen |
Some cleanups, checked in working test-passing version of strided
range … |
|
|
|
@2800
|
[2800]
|
09/09/08 12:04:59 |
dr2chase |
Deleted dead reflective visitors |
|
|
|
@2798
|
[2798]
|
09/09/08 11:36:18 |
dr2chase |
Desugarer has been converted to a non-reflective visitor pattern |
|
|
|
@2794
|
[2794]
|
09/05/08 11:42:27 |
chf |
Don't let orphaned transactions return values, various cleanups, dial back … |
|
|
|
@2792
|
[2792]
|
09/04/08 15:53:00 |
jmaessen |
Created type Contains[\T\] which is extended by Range[\T\] and … |
|
|
|
@2791
|
[2791]
|
09/04/08 12:52:51 |
dr2chase |
Replaced OprInstantiator? reflection-visitor with a NodeUpdateVisitor? |
|
|
|
@2790
|
[2790]
|
09/04/08 11:32:56 |
sukyoungryu |
[util] Fixed a node constructor call with wrong arguments. |
|
|
|
@2789
|
[2789]
|
09/04/08 10:20:22 |
sukyoungryu |
[parser] Transient object parameters must not be mutable. |
|
|
|
@2786
|
[2786]
|
09/02/08 09:46:47 |
sukyoungryu |
[parser] 1. A single field declaration can declare multiple names in an … |
|
|
|
@2784
|
[2784]
|
08/31/08 11:35:08 |
sukyoungryu |
[parser] Character literals must not include LINE SEPARATOR and PARAGRAPH … |
|
|
|
@2782
|
[2782]
|
08/30/08 19:12:09 |
sukyoungryu |
[parser] Ampersands do not appear in inappropriate places. Fixed Ticket … |
|
|
|
@2781
|
[2781]
|
08/30/08 18:21:17 |
sukyoungryu |
[parser] Prime characters may be used in identifiers. LINE SEPARATOR … |
|
|
|
@2780
|
[2780]
|
08/30/08 07:15:12 |
sukyoungryu |
[parser] It is a static error for a Fortress program to contain any … |
|
|
|
@2779
|
[2779]
|
08/30/08 04:35:47 |
sukyoungryu |
[parser] Characters allowed only within comments and string and character … |
|
|
|
@2775
|
[2775]
|
08/29/08 08:37:19 |
mspiegel |
[repository] We used to be throwing away static analysis for libraries … |
|
|
|
@2774
|
[2774]
|
08/29/08 07:48:01 |
sukyoungryu |
[parser] No forbidden whitespace character appears in a Fortress program … |
|
|
|
@2773
|
[2773]
|
08/29/08 06:38:31 |
mspiegel |
[environments] refactoring (renamed variables) and some code comments. |
|
|
|
@2772
|
[2772]
|
08/28/08 17:20:56 |
mspiegel |
[interpreter] An attempt to reduce our memory footprint by replacing a … |
|
|
|
@2771
|
[2771]
|
08/28/08 14:56:44 |
ryanc |
[syntax abstraction]
removed ast type from extension syntax
added … |
|
|
|
@2767
|
[2767]
|
08/28/08 12:36:34 |
mspiegel |
[interpreter] An attempt to reduce our memory footprint by replacing a … |
|
|
|
@2766
|
[2766]
|
08/28/08 12:25:38 |
dr2chase |
Minor optimizations to overload cache, and comparator for many BASets |
|
|
|
@2764
|
[2764]
|
08/28/08 06:48:19 |
mspiegel |
[environments] Compiled environments now work with … |
|
|
|
@2763
|
[2763]
|
08/28/08 04:55:28 |
sukyoungryu |
[copyright] Fixed a copyright notice. |
|
|
|
@2761
|
[2761]
|
08/27/08 21:55:13 |
mspiegel |
[environments] added a microbenchmark to compiled environments. |
|
|
|
@2760
|
[2760]
|
08/27/08 21:55:00 |
mspiegel |
[environments] removed some debugging output |
|
|
|
@2759
|
[2759]
|
08/27/08 20:39:39 |
sukyoungryu |
[parser] Implemented some static checks on characgter literals. Closed … |
|
|
|
@2757
|
[2757]
|
08/27/08 13:18:56 |
mspiegel |
[environments] removed some uneccessary labels from the bytecode. |
|
|
|
@2756
|
[2756]
|
08/27/08 13:18:40 |
mspiegel |
[environments] replaced binary search with switch statements. |
