Arnaud_Daby-Seesaram
0 Followers · 0 Following
  • Joined on 2022-11-26
Repositories Projects Packages Public Activity Starred Repositories
9987922e0f [passes] linearization of pre (wip)
74f8a3c3e1 [parser] functions other that main → args required
0d5e045671 [parser] foirbid calling auxiliary nodes with no arguments
97c6020414 [parser] avoid conflicts between local, input and output variables
be0422710d [parser] part 2 du commit précédent
3542d04bc3 [parser] avoid conflicts between local, input and output variables
eceeb3c157 [fix] identation error
8582337774 [passes] pass to check the typing tags of the program / expressions
db5c584435 [passes] fix for the equation ordering pass
6459c54159 [passes] ordering equations
9151a6e29a [tests] adding the -test option to duplicate sanity checks
Compare 2 commits »
19fd3bc1b9 Merge remote-tracking branch 'origin/master'
38a7325097 [beamer] slide 7
Compare 2 commits »
e84a6e387d [beamer] proto 0
ed5f94f821 [simu] wip
Compare 2 commits »
Arnaud_Daby-Seesaram created branch simu in Benjamin_Loison/Synchronous_reactive_systems 2022-12-15 09:18:00 +01:00
ed5f94f821 [simu] wip
e75d525a6d [passes] linearisation des équations
73d5ed7726 [parser] avoid redefinition of nodes
Compare 2 commits »
79f0c7d223 [passes] never redefine an input
f3416582be [passes] correction of the check not re-init of variables
e5ac9a719d [passes] check unicity of the assignations for each var
69b963c305 [gitfix] rebase fix
ad1f529863 [typo] adding newline