Overview Repositories
69
 Projects Packages Public Activity Starred Repositories
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
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 13:26:45 +01:00
ea94bb84dd Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
f55cd56fde Clean other tries
012131e035 Solve C warnings and support renaming outputs of functions
b58b250532 WIP to remove C warnings
78e096d2f4 Add support for returning multiple variables but generate C errors, as we keep returning variables for void functions
Compare 7 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 09:27:50 +01:00
7c2c43fe24 Precise to what extent considering integers work fine with working with floats instead
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 00:05:00 +01:00
b4ae058bf6 Remove unused variable new_locvars in src/passes.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 00:00:13 +01:00
0c8da12afe Correct typo in verification that nodes always have arguments and make the main having such a verification too, as in Lustre
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 23:22:33 +01:00
bfca80bb8b Avoid crashes that can occur when using when with a statement that may crash if the when condition doesn't hold
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 23:21:47 +01:00
424957c430 For instance
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 21:05:23 +01:00
bc8c752649 Add a comment concerning pp_resvars to avoid declaring multiple times two arrays while two would be enough
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 20:13:20 +01:00
ca271eaf66 Correct typos in src/passes.ml and src/test.node