Antoine_Grimod
0 Followers · 0 Following
  • Joined on 2022-11-26
Repositories Projects Packages Public Activity Starred Repositories
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-10 00:38:10 +01:00
66de13fff2 added main to automaton.node
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-10 00:27:27 +01:00
17e2f93629 fix oversight in lustre_pp.ml
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-09 23:02:58 +01:00
a5f8c720f4 extended when once again
ad4f5e7962 clock unification now works if when is applied to a boolean comparison
Compare 2 commits »
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-09 21:20:54 +01:00
2f0b9a572e error catching
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-09 21:09:55 +01:00
42cbc6ddaf fix typo in code
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-09 21:08:19 +01:00
23e234732f code cleanup
ad97c6b627 first version of clock unification
Compare 2 commits »
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-05 18:31:34 +01:00
b2aa8bc6d5 [automaton] support for multiple output conditions
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-05 17:45:59 +01:00
094f403f5f finalizing automata translation
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2023-01-05 16:09:01 +01:00
fef64987de traduction des automates v2 mais cassé
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 16:41:21 +01:00
fc0a12fa12 beamer automaton pass
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 14:50:53 +01:00
aa84a07902 testing clock unification
ed54fd0114 clock unification added
Compare 2 commits »
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 01:03:17 +01:00
6af9ddf394 added pass to check validity of automata and disable flattening of automaton branch because of incorrect code resulting from it
1b3af051b3 adding automaton translation pass to list of executed passes
Compare 2 commits »
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 23:48:55 +01:00
21d2d0c9bb fix type error in code
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 23:38:37 +01:00
de294df84a Translation of automaton to lustre almost finished
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-13 15:57:05 +01:00
b4cc3ae756 "pretty" print for automaton
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-13 15:03:38 +01:00
bb017afe39 added automaton to ast
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-13 11:51:30 +01:00
e9d586dfe7 adding automaton
Antoine_Grimod pushed to master at Benjamin_Loison/Synchronous_reactive_systems 2022-12-09 17:01:23 +01:00
0c2341fa0b finished parser for now