Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
104 Commits 2 Branches 0 Tags
dbf1583ffd44bebf656b60ab50adfcc4af5ecc36
Commit Graph
10 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Antoine Grimod aa84a07902 testing clock unification 2022-12-16 14:51:41 +01:00
Antoine Grimod ed54fd0114 clock unification added 2022-12-16 14:51:41 +01:00
Antoine Grimod 6af9ddf394 added pass to check validity of automata and disable flattening of automaton branch because of incorrect code resulting from it 2022-12-16 01:04:09 +01:00
Antoine Grimod 1b3af051b3 adding automaton translation pass to list of executed passes 2022-12-16 00:06:51 +01:00
Antoine Grimod 21d2d0c9bb fix type error in code 2022-12-15 23:48:02 +01:00
Antoine Grimod de294df84a Translation of automaton to lustre almost finished 2022-12-15 23:39:01 +01:00
Antoine Grimod b4cc3ae756 "pretty" print for automaton 2022-12-13 15:57:27 +01:00
Antoine Grimod bb017afe39 added automaton to ast 2022-12-13 15:03:41 +01:00
Antoine Grimod e9d586dfe7 adding automaton 2022-12-13 11:51:46 +01:00
Antoine Grimod 0c2341fa0b finished parser for now 2022-12-09 17:01:04 +01:00