- https://github.com/Benjamin-Loison
- Joined on
2022-10-16
Block a user
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
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
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
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
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
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
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