Overview Repositories
63
 Projects Packages Public Activity Starred Repositories
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
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 19:52:10 +01:00
72ba196142 Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems
1a06fc9a6a Add reset support in C
Compare 2 commits »
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 16:08:30 +01:00
342aba4426 Correct copy-pasted int and bool cases
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 15:57:06 +01:00
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 15:55:33 +01:00
58c17b688c Correct title rendering of slide 7 and correct copy-pasted int and bool cases
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-13 16:03:39 +01:00
c441f8b1a6 Correct typo in comment in src/config.ml
Benjamin_Loison opened issue Benjamin_Loison/YouTube_captions_search_engine#1 2022-12-13 03:00:41 +01:00
Add a license
Benjamin_Loison created repository Benjamin_Loison/YouTube_captions_search_engine 2022-12-12 00:08:57 +01:00
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 22:25:13 +01:00
298e88f1a5 Simplify ETriOp case in src/ast_to_c.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 20:07:30 +01:00
014110791d Remove useless prefix from pp_expression_aux and pp_expression_list functions in src/ast_to_c.ml
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:53:26 +01:00
cbddd63927 Format the code to make it shorter and more readable
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:49:25 +01:00
4000133b66 Format the code to make it shorter and more readable
Benjamin_Loison pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-11 19:28:44 +01:00
241f3dcbc0 Add pre support in C