Context Navigation

Timeline

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

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

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

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

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

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 …