Timeline


and

10/21/08:

19:42 Changeset [15235] by hritcu
Updated the README (slightly)
19:25 Changeset [15234] by hritcu
Adding PDF version of documentation files
18:28 Changeset [15229] by tarrach

10/09/08:

21:07 Changeset [14970] by tarrach
docs

10/06/08:

15:22 Ticket #40 (Code-generator markup confuses tools) closed by hritcu
fixed

10/03/08:

13:16 Changeset [14830] by tarrach
patterns are now comments and will not interfere with syntax highlighting

10/02/08:

17:41 Changeset [14817] by tarrach
syntax errors removed

09/30/08:

18:32 Changeset [14756] by tarrach
Can parse now so that name processes get not replaced

09/25/08:

07:27 Ticket #43 (ZK constructor confusing SPASS (Spass.parse_spass is evil)) closed by hritcu
fixed
07:27 Changeset [14616] by hritcu
Fixed Ticket #43 and cleaned up code a little.
07:11 Changeset [14614] by hritcu

09/24/08:

23:45 Changeset [14598] by hritcu
23:31 Changeset [14597] by hritcu
Serializing and then deserializing things in order to convert them is EVIL
22:00 Changeset [14589] by hritcu
Fixed built. Implemented create_form_from_stmt properly. This is still NOT …
18:07 Changeset [14574] by tarrach
fixed generation of functions.ml
16:07 Changeset [14559] by hritcu
Partial commit so that Thorsten can lend a hand. Breaks build. Some things …
13:28 Ticket #46 (There are too many duplicated string constants) created by hritcu
There are too many duplicated string constants, for instance there are …
11:56 Ticket #12 (Update the implementation of the statement compilation function) closed by hritcu
fixed
11:54 Changeset [14549] by hritcu
Statement compilation: we only call check_ys on the ys/types from l+1 to …
11:46 Changeset [14548] by hritcu
Updated compilation function. Passing around the relevant part of gamma …
10:57 Ticket #45 (Use "options?" in parser definition instead of expanding out all possible ...) closed by hritcu
wontfix: Looked at parser.mly and found no place where this idea could be applied.
10:19 Ticket #45 (Use "options?" in parser definition instead of expanding out all possible ...) created by hritcu
Avoid exponential blowup in the parser. See src/cg/configparser.mly …
10:07 Changeset [14542] by hritcu
Updated the implementation of the statement compilation function: equality …

09/22/08:

19:40 Changeset [14477] by tarrach
normal form
Note: See TracTimeline for information about the timeline view.