10838d3f2d Remove TODO in src/passes.ml:automaton_translation
e63123d8f6 Move from the x reset y syntax to reset x every y one
9a0bfd468c Correct some typos
609870755c Remove debugging symbols in failwith
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-18 16:05:00 +01:00
ade62ba678 Use output_file to print to this file instead to stdout
02130cf57c Rename maybeprint to print_if_any to precise the purpose of this function
273a868162 Simplify cp_value for boolean constants in src/cprint.ml
37dfcdda35 Remove unneeded node prototypes, as Lustre only allows to call already defined nodes
b82ae0bec2 Remove unneeded node prototypes, as Lustre only allows to call already defined nodes
c3a64a2bae Correct some typos
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 16:03:50 +01:00
edfec42738 Add Git link to title slide of beamer
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 16:02:06 +01:00
d06fccf36b Add second slide concerning AST to C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 15:40:27 +01:00
7a0f54f291 Remove unused pp_loc from src/ast_to_c.ml which was copied from src/pp.ml but never used
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 15:33:42 +01:00
dbf1583ffd Complete first slide of AST to C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 15:07:50 +01:00
9e96697991 First slide of AST to C
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:32:45 +01:00
57dd9c1aa4 [passes] linearozation: avoir duplication of variables
21414e6461 Make last equation of a node potentially not ending with a semi column
c37e819f1a Add a title frame to the beamer
Compare 15 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:32:32 +01:00
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:32:09 +01:00
a0383dbf13 Make last equation of a node potentially not ending with a semi column be correctly parsed
Compare 2 commits »