Overview Repositories
63
 Projects Packages Public Activity Starred Repositories
657fe7e6fa Add support for resets
25b3b97f2d Add support for resets
f1cad6f9be Merge branch 'ast2C_proposition' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems into ast2C_proposition
85e5d49e40 Add support for resets
Compare 2 commits »
9c27382a27 Correct a typo in src/ctranslation.ml
025d25a146 Replace nunmbers to numbers in two comments of src/parser.mly
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:53:34 +01:00
0175749296 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
b616bad07a Modify second slide concerning AST to C
Compare 2 commits »
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