- https://github.com/Benjamin-Loison
- Joined on
2022-10-16
Block a user
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 17:49:00 +01:00
10838d3f2d
Remove
TODO
in src/passes.ml:automaton_translation
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 16:33:44 +01:00
e63123d8f6
Move from the
x reset y
syntax to reset x every y
one
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 14:06:21 +01:00
9a0bfd468c
Correct some typos
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-19 13:58:00 +01:00
609870755c
Remove debugging symbols in
failwith
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
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:50:59 +01:00
02130cf57c
Rename
maybeprint
to print_if_any
to precise the purpose of this function
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:45:26 +01:00
273a868162
Simplify
cp_value
for boolean constants in src/cprint.ml
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:42:28 +01:00
37dfcdda35
Remove unneeded node prototypes, as Lustre only allows to call already defined nodes
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:42:19 +01:00
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:42:09 +01:00
b82ae0bec2
Remove unneeded node prototypes, as Lustre only allows to call already defined nodes
Benjamin_Loison
pushed to ast2C_proposition at Benjamin_Loison/Synchronous_reactive_systems
2022-12-18 14:32:02 +01:00
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
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
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