Overview Repositories
63
 Projects Packages Public Activity Starred Repositories
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
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
73b753bec2 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
530f6ddf51 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
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
73b753bec2 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
a0383dbf13 Make last equation of a node potentially not ending with a semi column be correctly parsed
Compare 2 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:31:01 +01:00
530f6ddf51 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
57dd9c1aa4 [passes] linearozation: avoir duplication of variables
c37e819f1a Add a title frame to the beamer
ea94bb84dd Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
3fa0f92233 [beamer] A few straight forward slides added
Compare 13 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:30:37 +01:00
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:30:13 +01:00
530f6ddf51 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
21414e6461 Make last equation of a node potentially not ending with a semi column
Compare 2 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 13:44:35 +01:00
c37e819f1a Add a title frame to the beamer