Context Navigation

Timeline

21:57 Changeset [1195] by jdn: Fortress syntax
19:59 Changeset [1194] by jmaessen: Fix some bugs and plumb some types.
19:29 Changeset [1193] by jmaessen: A* search example (half-baked and deliberately inefficient to shake down …
18:04 Changeset [1192] by jdn: Desugaring escapes
17:46 Changeset [1191] by jdn: Desugaring escapes
15:46 Changeset [1190] by EricAllen: Implemented TypeAnalyzer?.Env, which lets the TypeAnalyzer? get handles on …
13:09 Changeset [1189] by dr2chase: Ooops, forgot to commit at the top level
12:40 Changeset [1188] by dr2chase: bin/fortress and unit tests now use the syntax transforming front end
10:29 Changeset [1187] by sukyoungryu: Deleted unused productions.
09:24 Changeset [1186] by jdn: Fixed copyrights
09:14 Changeset [1185] by jmaessen: Refactored FValue, FConstructedValue, Fcn, and FObject to make type …

20:02 Changeset [1184] by jdn: Now implemented various symbols and new production syntax
14:19 Changeset [1183] by jmaessen: List and Set comprehensions. Caveat emptor: comprehensions whose result …
13:37 Ticket #61 (Empty comprehensions give bogus results) created by jmaessen: Consider the following comprehension: […] Rather than yielding a …
13:32 Ticket #60 (Ordering on sets and maps) created by jmaessen: See summary. For that matter, lists could use some of these operators as …
13:30 Ticket #59 (Make boolean guards work) created by jmaessen: Either by fixing desugaring or making Boolean a Generator. cf …
12:41 Changeset [1182] by sukyoungryu: Implemented the revised big enclosing operator declaration syntax.
11:45 Changeset [1181] by sukyoungryu: Implemented the native bit of a compilation unit.

20:30 Changeset [1177] by jdn: ups one more file :)
20:29 Changeset [1176] by jdn: More syntax abstraction stuff
15:09 Changeset [1175] by EricAllen: Added more cases to the type checker. Added supporting facilities in …
11:33 Ticket #58 (Implement Map comprehensions) created by jmaessen: We're all ready to go; see …
11:30 Ticket #57 (Update ProjectStatus) created by jmaessen: The ProjectStatus page (and probably also the README) are terribly out of …
11:08 Changeset [1174] by chf: Copyright updates

14:54 Changeset [1173] by dlsmith: Renamed Types to TypeAnalyzer?; improved integration with type checker
12:06 Changeset [1172] by jdn: Syntax abstractions now ignores components which do not import apis with …
11:34 Ticket #41 (Make exponentiation intuitive) closed by sukyoungryu: fixed
11:31 Changeset [1171] by sukyoungryu: 1. It is a static error if a function argument is immediately followed by …
09:40 Changeset [1170] by sukyoungryu: 1. It is a static error if an exponentiation is immediately followed by a …
08:49 Changeset [1169] by sukyoungryu: 2³2 is now rejected as a static error.
07:53 Changeset [1168] by chf: Updated Copyright Notices

23:57 Ticket #56 (Explicitly specify java interpreter in trunk/bin/fortress) created by apthorpe: The trunk/bin/fortress script relies on the java interpreter found from …
14:58 Changeset [1167] by dr2chase: Fixed cache to be smarter about error messages and relative path names
08:25 Changeset [1166] by dr2chase: Added precise transitive batch caching FortressRepository?; used in unit …

22:03 Changeset [1164] by sukyoungryu: Implemented the revised tight juxtaposition rules and the revised syntax …

17:16 Changeset [1163] by jmaessen: Removed spurious asArray() method.
17:14 Changeset [1162] by jmaessen: Copied "Depracated" comment across from List.fss. I'd like to make this …

15:35 Changeset [1161] by dlsmith: Added initial subtyping/type inference code. A few modifications to the …
13:28 Changeset [1160] by dr2chase: Replaced Path with String so fss will work

21:07 Changeset [1159] by sukyoungryu: Preparing for the revised tight juxtaposition rules
10:42 Changeset [1158] by sukyoungryu: Towards the revised tight juxtaposition rules.

15:31 Changeset [1157] by EricAllen: Added more cases to the type checker. Added a Types class to hold static …

18:10 Changeset [1156] by sukyoungryu: More example files in the spec.
14:02 Changeset [1155] by EricAllen: Added another type environment variant for handling declared function …
13:03 Changeset [1154] by sukyoungryu: Added the nolib attribute to the FortressTask?.
12:06 Changeset [1153] by sukyoungryu: Added library examples in the spec.
11:43 Ticket #55 ("fortress" executable script uses "egrep -q", unavailable on some ...) closed by dr2chase: fixed: Replace with "egrep CYGWIN > /dev/null"
11:33 Changeset [1152] by chf: Small hack to work around a bug for now
11:17 Changeset [1151] by dr2chase: Fixed scripts for Solaris; fixed -nolib option of interpreter; add …
10:39 Changeset [1150] by chf: Improved Test

09:13 Changeset [1149] by dr2chase: Intepreter now runs from caching fortress repository; file names and …

22:31 Changeset [1148] by sukyoungryu: Made the file names match the component names.
17:26 Changeset [1147] by sukyoungryu: Fixed parsing parallel blocks.
11:51 Ticket #55 ("fortress" executable script uses "egrep -q", unavailable on some ...) created by GuySteele: $FORTRESS_HOME/bin/fortress (a bash script) contains a line if (uname …

20:11 Changeset [1146] by sukyoungryu: Library examples in the spec.
12:46 Changeset [1145] by chf: Small change to transactional semantics
10:16 Changeset [1144] by dr2chase: Further static-interpreter integration
07:31 Changeset [1143] by dr2chase: This patch might fix the circular dependence bug in demos/Lambda on a …

21:00 Changeset [1142] by sukyoungryu: New syntax for enclosing operators
12:26 Changeset [1141] by dr2chase: Modified interpreter to use FortressRepository? as source of trees
11:16 Changeset [1140] by sukyoungryu: ProjectFortress?/not_passing_yet/examples.fss is replaced by …

09:37 Changeset [1139] by dr2chase: More reorg in prep for interpreter run by compiler -- cleaned up property …

09:21 Ticket #54 (Install fails to work) created by Russel: I followed the instructions on the website to load and install Fortress -- …
08:46 Changeset [1136] by sukyoungryu: Minor clean up

Note: See TracTimeline for information about the timeline view.