- 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-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
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-11 18:45:33 +01:00
c0c29e1df7
Add assignement support for tuples
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-11 18:43:56 +01:00
639438e616
Add assignement support for tuples
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 21:17:34 +01:00
da823ac3c8
Add
->
support in C
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 21:15:39 +01:00
d0d4c81986
Add
->
support in C
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 20:52:07 +01:00
38f58f7558
Unitfy
pp_varlist
, pp_argvarlist
and pp_decvarlist
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 20:30:36 +01:00
eac8c6893c
Add support to multiple local variables in C
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 20:22:14 +01:00
363f5043a0
Add node call support in C
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:27:20 +01:00
5a54f897b1
Add indentation to
pp_equations
in src/ast_to_c.ml
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:24:36 +01:00
ac1eea42e9
Make
<=
, >=
and <>
work
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:24:05 +01:00
f128c7f9f5
Make
<=
, >=
and <>
work
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:21:18 +01:00
f6dc94e232
Make
<=
, >=
and <>
work
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:12:19 +01:00
a44c9288f5
Translate two expressions of the AST from French to English
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 19:07:21 +01:00
b2e3ec4dd8
Modify
src/ast_to_c.ml
as a first iteration
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 18:58:38 +01:00
a8e89854a4
Copy
src/pp.ml
to src/ast_to_c
and modify src/main.ml
accordingly
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 18:57:56 +01:00
Benjamin_Loison
pushed to master at Benjamin_Loison/Synchronous_reactive_systems
2022-12-10 18:57:45 +01:00
a61b2fa396
Copy
src/pp.ml
to src/ast_to_c
and modify src/main.ml
accordingly