Timeline


and .

10/29/08:

20:29 Changeset [2997] by black
Balancing code passes two tests; invariants still in code.
13:59 Changeset [2996] by dr2chase
[interpreter] more annotations on environment references; some dead code …
12:32 Ticket #248 (Implement the new tests story) closed by chf
fixed
12:30 ClosureConversionProgress edited by sukyoungryu
(diff)
12:08 Changeset [2995] by jmaessen
Midpoint checkin, some subarray cleanup and some new range indexing code …
12:07 Ticket #291 (Indexed setters appear to use the same naming as indexed getters.) created by jmaessen
It appears that indexed setters are not clearly distinguished from indexed …
11:31 Changeset [2994] by dr2chase
Turned on compiled top-level environments and added initial scaffolding …
11:14 Changeset [2993] by sukyoungryu
[spec data] For now, commented out a spec example which is not working and …
10:38 Ticket #290 (Can't import File interface) created by black
I added […] into FortressLibrary.fsi because I wanted to use a …
08:50 Changeset [2992] by jmaessen
Support striding in subarray indexing.
08:44 ClosureConversionProgress edited by angelee
(diff)
07:11 ClosureConversionProgress edited by sukyoungryu
(diff)

10/28/08:

19:57 Changeset [2991] by sukyoungryu
[tool] The api tool reports multiple errors.
19:15 Changeset [2990] by sukyoungryu
[tool] The api tool reports an error when a declaration in the given …
14:30 Changeset [2989] by black
Balancing routines written, but as yet not tested.
12:29 Ticket #289 (Static analysis uses name of static opr parameter as (functional) method ...) created by dr2chase
Run: […] It fails with: […] The cause of the problem is that the …
11:02 Changeset [2988] by steve.heller
trips: bagged intOrNothing in favor of perfectSqrt ... gotta stop this
11:00 ComprehendingComprehensions edited by steve.heller
changed to perfectSqrt (diff)
09:13 Changeset [2987] by sukyoungryu
[desugarer] Small cleanups including replacing nulls with options.
04:44 ComprehendingComprehensions edited by steve.heller
cleanup (diff)

10/27/08:

19:39 Changeset [2986] by steve.heller
trips: bagged intOrNothing in favor of ISQRTorNothing
19:38 ComprehendingComprehensions edited by steve.heller
added the cutsie ternary comparison … (diff)
19:32 ComprehendingComprehensions edited by steve.heller
replaced intORnothing with ISQRTorNothing and cleanup. (diff)
14:21 Changeset [2985] by jmaessen
[Library] Bug fix for sequential generate method in FileSupport?.
12:01 ComprehendingComprehensions edited by steve.heller
<| x | x <- 1:3 |> is always in order ... more changes to come ... . (diff)
10:44 Changeset [2984] by dr2chase
[interpreter] removed excess environment layering; removed deprecated …
07:58 Changeset [2983] by jmaessen
added simplestRationalBetween.

10/26/08:

21:55 Changeset [2982] by skilpat
[scortress] expr -> term
21:19 Changeset [2981] by skilpat
[scortress] Now it's really been added.
21:08 Changeset [2980] by skilpat
Well that didn't work as I intended.
21:05 Changeset [2979] by skilpat
[scortress] Initial data structures for new Scala-based interpreter for …
19:47 Changeset [2978] by steve.heller
trips: bagged hypotenuse fnction in favor of intOrNothing
19:44 ComprehendingComprehensions edited by steve.heller
restructured introducing maybe through intOrNothing --- still needs … (diff)

10/25/08:

18:31 ComprehendingComprehensions edited by steve.heller
hypotenuse, a generator of 0 or 1 value (diff)
18:30 Changeset [2977] by steve.heller
trips: added hypotenuse, a generator of 0 or 1 value (thanks Victor)
17:27 ComprehendingComprehensions edited by steve.heller
floor -> round for better numerical stability (diff)
17:22 Changeset [2976] by steve.heller
trips: replaced floor by round
15:21 Ticket #288 (can't round RR64) closed by jmaessen
fixed
15:09 Changeset [2975] by jmaessen
Rounding now available for all numeric types.
12:31 ComprehendingComprehensions edited by steve.heller
small cleanups (diff)
10:39 ComprehendingComprehensions edited by steve.heller
First complete pass at Victor's suggestions (and a few more things). (diff)
10:05 Ticket #288 (can't round RR64) created by steve.heller
In the following code, an error is produced in trying to call round
09:54 ComprehendingComprehensions edited by steve.heller
more Victorification (diff)
08:59 Changeset [2974] by steve.heller
spelling tweak
07:58 ComprehendingComprehensions edited by steve.heller
begin revisions suggested by Victor (diff)

10/24/08:

12:40 Changeset [2973] by dr2chase
[interpreter] tagging environment references with levels; some dead code …

10/23/08:

07:46 FortressFormalism edited by jdn
(diff)

10/22/08:

14:26 Changeset [2972] by EricAllen
Added explicit return types to seq declarations in FortressLibrary.fsi.
06:15 Changeset [2971] by sukyoungryu
[tests] Fixed copyright notices.

10/21/08:

14:13 Changeset [2970] by skilpat
[typechecker] Comprehensions now pass in the typechecker. To achieve this, …
14:02 Changeset [2969] by dr2chase
[interpreter] cleanup to environment references; removing dead code
13:28 Changeset [2968] by jrhil47
[Typechecker] Checks bounds of static params.
06:48 ClosureConversionProgress edited by sukyoungryu
(diff)

10/20/08:

20:15 ClosureConversionProgress edited by sukyoungryu
(diff)
12:59 ClosureConversionProgress edited by sukyoungryu
(diff)
12:40 ClosureConversionProgress edited by sukyoungryu
(diff)
10:36 Changeset [2967] by dr2chase
[interpreter] I think this fixes an init-order bug, where traits were …

10/17/08:

23:33 Changeset [2966] by sukyoungryu
[disambiguator] An exit expression without any enclosing label expressions …
14:04 Ticket #287 (static param declared by nested FnDef not recognized by type checker) created by angelee
When I have a static parameter declared by the inner FnDef? (enclosed by …
14:00 Changeset [2965] by angelee
Typechecker does not recognize the static param declared by the inner …
13:12 Changeset [2964] by sukyoungryu
[tests] Added a test exiting across an object expression.
12:50 Changeset [2963] by sukyoungryu
[library/interpreter] Misuse of label/exit throws a Fortress exception …
08:17 ComprehendingComprehensions edited by steve.heller
(diff)
07:32 ComprehendingComprehensions edited by black
A little syntactic cleanup and a little more explanation (diff)
03:43 Changeset [2962] by sukyoungryu
[tests] Renamed and added a copyright notice to a test.

10/16/08:

21:02 Changeset [2961] by black
Started constructing long concats as a test case for balancing
19:21 FortressByExample edited by steve.heller
Added ComprehendingComprehensions (diff)
18:38 WikiStart edited by sukyoungryu
(diff)
17:45 Changeset [2960] by jmaessen
A little library for doing timing.
12:39 MenloClassOct edited by chf
(diff)
12:33 Changeset [2959] by black
Added case-insensitive compare
12:02 MenloClassOct edited by chf
(diff)
11:04 Changeset [2958] by sukyoungryu
[syntax abstraction] Cleaning up test files.
10:22 Changeset [2957] by sukyoungryu
[syntax abstraction] Cleaning up the syntax abstraction tests.
10:05 Changeset [2956] by sukyoungryu
[tests] Fixed a test to use String instead of the old CordedString?.
08:50 Changeset [2955] by black
String comparison tests now pass. Renamed cordedStrings to Strings

10/15/08:

21:11 Changeset [2954] by jon
[syntax] add Or and Label tests
20:20 Changeset [2953] by jon
[demos] add comment about tictactoe
20:17 Changeset [2952] by jon
[syntax] grammar composition tests work
14:16 Changeset [2951] by black
More string debugging
14:00 Ticket #286 (Use of a "naked" getter not rejected by disambigutor) created by black
I was puzzled by the following output […] This was generated by the …
13:46 Changeset [2950] by black
Added a test to reveal problem with use of a naked getter.
13:00 ComprehendingComprehensions edited by steve.heller
added a bit of structure at Andrew's suggestion (diff)
11:24 Changeset [2949] by jon
[syntax] CaseUse? can be tested
11:05 Changeset [2948] by jon
[syntax] add ForUse? back to tests
08:30 MenloClassOct edited by jmaessen
(diff)

10/14/08:

14:47 Changeset [2947] by black
More debugging of CordedStrings?. Some tests still failing.
14:05 Changeset [2946] by skilpat
[debug] String representations for intersection and union types have been …
13:35 MenloClassOct edited by jmaessen
(diff)
13:19 MenloClassOct edited by jmaessen
(diff)
13:15 MenloClassOct edited by jmaessen
(diff)
13:06 MenloClassOct edited by jmaessen
(diff)
13:02 MenloClassOct edited by jmaessen
(diff)
12:56 MenloClassOct edited by jmaessen
(diff)
12:56 MenloClassOct edited by jmaessen
(diff)
12:06 MenloClassOct edited by dr2chase
(diff)
12:04 WikiStart edited by dr2chase
(diff)
11:20 Changeset [2945] by sukyoungryu
[operators] The operators #, :, and :: are left associative and they have …
10:54 Changeset [2944] by jmaessen
Fix for range size bug (including updated tests).

10/13/08:

20:19 Changeset [2943] by sukyoungryu
[ant task] Parse intead of compile the library examples in the spec.
14:30 Changeset [2942] by dr2chase
[interpreter] moved the pre-rewrite phase under the caching guard
14:14 FortressLibrary created by black
13:48 Ticket #285 (Apparent ambiguity between binding and equality test) created by black
I tried to use this ensures clause — other is the name of the parameter to …
13:30 Ticket #284 (CalleeViolation provides insufficient information) created by black
The error raised when a callee violation occurs is not much help in …
13:07 Ticket #283 (Unintelligible error message from :#) created by black
I accidentally typed […] The error is typing 1:#4 instead of …
12:35 Ticket #282 (multi-dimensional arrays) created by sra
Hi I am in process of converting a Fortran code to Fortress and have run …
08:05 Changeset [2941] by dr2chase
[interpreter] added caching of rewritten AST

10/12/08:

12:54 Changeset [2940] by sukyoungryu
[shell] Andrew's clean up in Shell.java
05:41 Changeset [2939] by sukyoungryu
[library] Fixed a shadowing bug.

10/11/08:

17:46 Changeset [2938] by sukyoungryu
[shadow detector] Fixed a bug: type parameters should not shadow other …
11:04 ComprehendingComprehensions edited by steve.heller
added example of a constant list and did code cleanup (diff)
11:01 Changeset [2937] by steve.heller
trips: more code cleanup

10/10/08:

18:43 ComprehendingComprehensions edited by steve.heller
tweaks and buglet fixes (diff)
15:10 Changeset [2936] by steve.heller
trips: code cleanup
14:28 Ticket #281 (Ensures clause ignored in api) created by black
I'm not sure if an ensures clause (for a contract) is allowed in an …
13:37 Changeset [2935] by sukyoungryu
[AST] Deleted obsolete nodes: AbsExternalSyntax? and ExternalSyntax?
12:40 Changeset [2934] by jon
[syntax] dont rename template pattern variables
12:06 Changeset [2933] by black
Changed error handling — for Sukyoung
12:05 Changeset [2932] by angelee
[desugarer] adding the test case for testing shadowing
12:04 Changeset [2931] by angelee
[desugarer] Fixed the bug in FreeNameCollector?.isDeclaredInObjExpr and …
10:22 FortressQuestions edited by sukyoungryu
(diff)
07:48 FortressQuestions edited by marcinzalewski
(diff)
07:48 FortressQuestions edited by marcinzalewski
(diff)
03:16 ComprehendingComprehensions edited by steve.heller
striding wording tweak … (diff)
03:14 Changeset [2930] by steve.heller
trips: comment cleanup

10/09/08:

19:49 Changeset [2929] by steve.heller
trips: more striding
19:38 Changeset [2928] by steve.heller
use strided ranges
13:51 Changeset [2927] by dr2chase
[interpreter] Pushing compilationindex in to interpreter so modified date …
10:10 Changeset [2926] by dr2chase
[interpreter] making better distinction between Components and Apis in …
06:42 Changeset [2925] by sukyoungryu
[library] Fixed library comments to be LaTeX compatible. Added a …

10/08/08:

20:03 Changeset [2924] by jmaessen
Constructors for strided ranges. You should now be able to use strided …
13:01 Changeset [2923] by dr2chase
[interpreter] Renamed a class more accurately, checking in before reuse of …
09:08 Changeset [2922] by jmaessen
Should fix bugs in demos by cleaning up missing method printing and fixing …

10/07/08:

14:03 Changeset [2921] by jmaessen
Omitted from last commit!
13:30 Changeset [2920] by jmaessen
Cut over to new range implementation. Strided ranges are not yet …
13:05 Changeset [2919] by sukyoungryu
[tests] Deleted printing messages from test functions. They can be shown …
12:48 Ticket #280 (fortress test -verbose) closed by sukyoungryu
fixed: Fixed in r2917 and r2918 with Andrew.
12:48 Changeset [2918] by sukyoungryu
[tests] Fixed running twice for the fortress test command with -verbose.
12:26 Ticket #279 (-test flag to fortress command is silently ignored) closed by sukyoungryu
fixed: Fixed in r2917 with Andrew.
12:26 Changeset [2917] by sukyoungryu
[tests] Invalid flags to fortress commands are detected. Added the …
10:50 Ticket #280 (fortress test -verbose) created by black
It would be handy if fortress test had a -verbose flag, whereby …
10:28 Ticket #279 (-test flag to fortress command is silently ignored) created by black
The -test flag to ../bin/fortress has been replaced by the test

10/06/08:

19:04 Ticket #274 (api reader can't cope with var keyword?) closed by sukyoungryu
fixed: Fixed in r2916.
19:04 Changeset [2916] by sukyoungryu
[API generator] The 'var' modifier on a field declaration in a component …
18:56 ComprehendingComprehensions edited by steve.heller
(diff)
18:28 ComprehendingComprehensions edited by steve.heller
(diff)
17:35 Ticket #273 (api extraction yields ugly output) closed by sukyoungryu
fixed: Fixed in r2915.
17:35 Changeset [2915] by sukyoungryu
[API generator] Add vertical space between sections of trait/object …
16:54 ComprehendingComprehensions edited by steve.heller
(diff)
15:05 Changeset [2914] by sukyoungryu
[API generator] Don't add vertical space in empty trait declarations. …
11:48 Ticket #278 (Misusing trait name as constructor points to def site of trait) created by jmaessen
Take a random call to a constructor, and replace it with the name of one …
11:34 Ticket #277 (Use exprString/debugString/asString instead of toString.) created by sukyoungryu
The exprString for an array would be the Fortress expression which, when …
10:29 Changeset [2913] by jmaessen
Minor tweaks to Quicksort to give a nicer interface: allowing you to pass …
09:14 Changeset [2912] by dr2chase
[interpreter] cleaning up in preparation for caching rewrites, moving to …
06:50 Ticket #275 (local function illegally shadows top level function) closed by sukyoungryu
fixed: Fixed in r2911.
06:50 Changeset [2911] by sukyoungryu
[shadow detector] Local functions should not shadow functionals declared …

10/05/08:

09:50 ComprehendingComprehensions edited by steve.heller
(diff)
09:21 ComprehendingComprehensions edited by steve.heller
(diff)
06:37 Ticket #276 (Fortress caching not robust to timestamp and name collisions) created by jmaessen
Pick a Fortress program, any Fortress program. Load it into your editor. …

10/04/08:

17:00 ComprehendingComprehensions edited by steve.heller
(diff)
16:43 ComprehendingComprehensions edited by steve.heller
(diff)
16:42 ComprehendingComprehensions edited by steve.heller
(diff)
16:41 ComprehendingComprehensions edited by steve.heller
(diff)
16:35 ComprehendingComprehensions edited by steve.heller
Initial code and comments. Restricted to List comprehensions. (diff)
16:10 ComprehendingComprehensions edited by steve.heller
(diff)
15:25 Ticket #272 (api extraction does not correctly distinguish concrete and abstract ...) closed by sukyoungryu
fixed: Fixed in r2910.
15:14 ComprehendingComprehensions edited by steve.heller
(diff)
15:07 ComprehendingComprehensions created by steve.heller
Create file to inroduce list, set, and map comprehensions.
11:50 PressList edited by jon
(diff)
11:50 PressList edited by jon
(diff)
07:38 Changeset [2910] by sukyoungryu
[tool] The 'abstract' keyword is now added to methods where necessary by …

10/03/08:

16:10 Changeset [2909] by angelee
[desugarer] implemented code to handle the case where object expr declares …
16:05 Fibonacci edited by sukyoungryu
Most of "Memoization" is commented out because it is not run by the … (diff)
16:00 FortressByExample edited by sukyoungryu
Factorial page is not yet ready to be open: they are not yet run by the … (diff)
15:12 RevisingExceptionsProposal edited by black
Added title (diff)
15:10 ProjectStatus edited by black
(diff)
15:08 PressList edited by black
(diff)
15:03 HowToParticipate edited by black
Normalized Headings (diff)
14:52 HowToDownload edited by black
(diff)
14:46 FortressLanguageSpecificationErrata edited by black
(diff)
14:44 DefineAGenerator edited by black
(diff)
14:38 UseAGenerator created by black
Copied from the "Define a Generator" page
14:38 ClosureConversionProgress edited by angelee
(diff)
14:37 FortressHowTos edited by black
Split "Use" and "Define" for Generators (diff)
14:33 FortressFormalism edited by black
(diff)
14:31 Changeset [2908] by angelee
added a test file that should fail by type checker but not currently
14:30 Ticket #275 (local function illegally shadows top level function) created by angelee
the following code is illegal but went undetected: (i.e. fortress …
14:24 FortressDocumentation edited by black
(diff)
14:24 FortressByExample edited by black
added Factorial (diff)
14:22 FileReadWrite edited by black
(diff)
14:21 Factorial created by black
Moved form the Fibonacci page; some comments added
14:16 Fibonacci edited by black
(diff)
14:12 Fibonacci edited by black
Made headings uniform with other pages. Fixed miss-matched parens which … (diff)
13:51 Changeset [2907] by jon
[syntax] hygiene for if clause
13:49 DisambiguationRewrite edited by black
(diff)
13:48 Defortify edited by black
(diff)
13:46 Changeset [2906] by jmaessen
Formatting changes to FortressAstToConcrete? (plus necessary tweaks to …
13:41 Changeset [2905] by jon
[syntax] hygiene for while loops
13:38 arrowmania edited by black
(diff)
10:39 Changeset [2904] by dr2chase
[interpreter/ast] minor temp hacks to permit better caching of modified …
08:07 AnySizeArrays edited by jmaessen
(diff)
08:03 FortressHowTos edited by jmaessen
(diff)
07:47 Changeset [2903] by jmaessen
Fixed bug in bounds for strided full ranges.

10/02/08:

15:07 Changeset [2902] by jon
[unparser] indent declarations in an abstract trait
14:49 Changeset [2901] by jmaessen
Split RangePrototype? into library and test.
13:45 Changeset [2900] by jmaessen
Working checkpoint of 2-D Generators.
13:40 Ticket #274 (api reader can't cope with var keyword?) created by Crink
Running "fortress api" on the following code […] yields the following …
13:13 Ticket #273 (api extraction yields ugly output) created by jmaessen
The indentation and formatting of an extracted api is badly indented and …
13:10 Changeset [2899] by EricAllen
Minor edits to ErrorMsgMaker? to improve some error messages.
13:04 Ticket #272 (api extraction does not correctly distinguish concrete and abstract ...) created by jmaessen
The abstract keyword is not added to methods where necessary by …
10:31 Changeset [2898] by dr2chase
[ast] temporarily added a field to Component, so that interpreter …

10/01/08:

10:28 FortressByExample edited by sukyoungryu
(diff)
10:27 FortressByExample edited by sukyoungryu
(diff)
10:26 Changeset [2897] by sukyoungryu
[tests/demos] Made small changes.
10:18 fj-fortress.tests.png attached to FeatherweightJava by sukyoungryu
10:06 FeatherweightJava edited by sukyoungryu
(diff)
09:51 fj-fortress.evaluationInvk.png attached to FeatherweightJava by sukyoungryu
09:48 fj-fortress.subtyping.png attached to FeatherweightJava by sukyoungryu
09:40 fj-fortress.evaluation.png attached to FeatherweightJava by sukyoungryu
09:28 fj-toplas.evaluation.png attached to FeatherweightJava by sukyoungryu
06:18 Ticket #271 (using break in parallel loops) closed by jmaessen
worksforme: You want to use the label/exit notation. In a parallel for loop, this …
05:19 Ticket #271 (using break in parallel loops) created by sra
Hi, I am wondering if it is possible to break a parallel loop using a …

09/30/08:

19:25 FeatherweightJava edited by sukyoungryu
(diff)
19:24 FeatherweightJava edited by sukyoungryu
(diff)
19:19 fj-toplas.methodLookup.png attached to FeatherweightJava by sukyoungryu
19:18 fj-toplas.fieldLookup.png attached to FeatherweightJava by sukyoungryu
18:40 Changeset [2896] by sukyoungryu
[interpreter] Fixed running tests with the -debug flag and made the …
18:28 fj-toplas.subtyping.png attached to FeatherweightJava by sukyoungryu
18:28 FeatherweightJava edited by sukyoungryu
(diff)
16:21 Changeset [2895] by dr2chase
[interpreter driver] fixed environment problem runnin non-main tests
15:00 fj-toplas.syntax.png attached to FeatherweightJava by sukyoungryu
14:55 FeatherweightJava created by sukyoungryu
14:19 Changeset [2894] by sukyoungryu
[parser] Improved some syntax error messages.
12:52 Changeset [2893] by jmaessen
Test file for last checkin.
12:50 Changeset [2892] by jmaessen
Fix of Victor's bug: if we add a Ratio and an RR64, we got an error …
10:39 CodeSamples edited by black
(diff)
10:38 CatString edited by black
(diff)
10:38 BuffonsNeedle edited by black
(diff)
10:34 BuffonsNeedle edited by black
(diff)
10:33 BuffonsNeedle edited by black
(diff)
10:13 WikiStart edited by black
(diff)
10:09 FortressDocumentation edited by black
(diff)
10:08 FortressDocumentation edited by black
(diff)

09/29/08:

18:21 Changeset [2891] by jon
[syntax] actually update syntax environment for recently added cases. …
17:42 Changeset [2890] by jon
[unparser] print a newline after try and indent the body
17:31 Changeset [2889] by jon
[syntax] rename catch variable
17:18 Changeset [2888] by jon
[syntax] rename typecase variables. add test for hygienic typecase
17:09 Changeset [2887] by jon
[syntax] rename label identifiers
14:09 WikiStart edited by black
(diff)
14:06 WikiStart edited by black
(diff)
14:04 WikiStart edited by black
(diff)
13:33 WikiStart edited by black
(diff)
13:09 Ticket #270 (Combining -debug and test on the command line does not work as expected) closed by sukyoungryu
fixed: Fixed in r2886.
13:09 Changeset [2886] by sukyoungryu
[shell] Fixed the runTests method to handle command-line flags correctly …
13:03 TOC edited by black
(diff)
12:25 Ticket #270 (Combining -debug and test on the command line does not work as expected) created by dr2chase
The commands […] or […] produce the output […] If I say […] …
11:32 Ticket #268 (labels allow shadowing) closed by sukyoungryu
fixed: Fixed in r2885.
11:32 Changeset [2885] by sukyoungryu
[disambiguator] Fixed a shadowing detector bug handling labels. Closed …
11:29 Changeset [2884] by dr2chase
[svnprops] added a statistics directory to ignore.
10:35 Ticket #269 (Grammar for static arguments does not handle the operator ...) created by sukyoungryu
Jon pointed out that the grammar for static arguments using operators …
06:56 Changeset [2883] by sukyoungryu
[tests] Small fixes.
Note: See TracTimeline for information about the timeline view.