Overview Repositories
69
 Projects Packages Public Activity Starred Repositories
4303dcd0e4 Correct a typo in src/main.ml disabling the compilation
9fbdb7000f Merge branch 'ast2C_proposition' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems into ast2C_proposition
e1de3e6829 Add support for resets
Compare 2 commits »
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