Arnaud_Daby-Seesaram
  • Joined on 2022-11-26
2da1fac66f [passes] linearization of when
ad74146396 [passes] linearization of merge (untested)
30f9c71294 [equation ordering] comments added
f8c673632e [c printer] protects the names of node states
ff9da14379 [cprint] replace scanf to properly read an input line
e31af2c7b4 [cprint] replace scanf to properly read an input line
8c3e3d1eac [C] malloc->calloc + conditions merged in free_state_*
a673c447e3 [messages] better comment and errors
03def2ce1a [C] new lines in then output after each step
ffa8918330 [C] a few fixes
24108925fd [cprint] free the allocated memory (states).
52092b1480 [cprint] code reduction
f121f55432 [cprint] add a main function
42536df81c [parser] update of some error messages
c7edb27fb0 [lustre_pp] fix a typing error
3ad133344a [lustre_pp] precise error messages
f5daae824c [merge]
91ff654fc9 [passes] ensure that apps don't mix with operators
025d25a146 Replace nunmbers to numbers in two comments of src/parser.mly
Compare 3 commits »
91ff654fc9 [passes] ensure that apps don't mix with operators
9483f7df5e [c pass] merge neighbour conditionals (improved)