Arnaud_Daby-Seesaram
0 Followers · 0 Following
  • Joined on 2022-11-26
Repositories Projects Packages Public Activity Starred Repositories
a877501cca [general] renaming: done.
3cbfaeb2a8 [general] renaming (pp -> lustre_pp ; c_* -> intermediate_*)
916c7f544b [ast2C] initialize states of auxiliary nodes.
6291957be5 [ast2C] init or not init (field added to the state of the node)
bb99a5882b [ast2C] store old values of variables used in the pre construct
0da0f58b22 [ast2C] proposition initiale
54b1aae87a [ast2C] proposition initiale
ebba792c34 [ast2C] proposition initiale
Arnaud_Daby-Seesaram deleted branch simu from Benjamin_Loison/Synchronous_reactive_systems 2022-12-17 14:13:58 +01:00
Arnaud_Daby-Seesaram deleted branch wip from Benjamin_Loison/Synchronous_reactive_systems 2022-12-17 14:13:44 +01:00
fa052f70e2 [beamer] pause added
4054da7d47 [beamer]
b69b6998ec [passes] linearisation: update the local variables + lienarisation of tri ops
57dd9c1aa4 [passes] linearozation: avoir duplication of variables
3fa0f92233 [beamer] A few straight forward slides added
3417d75620 [passes] linearisation: correction (10 -> pre (20 -> 30)) works
c7a97f3305 [passes] linearization: merge fix
8d6349dd3f Merge remote-tracking branch 'origin/master' into wip
d7f0f148e9 [pre linearization] done, not tested
9987922e0f [passes] linearization of pre (wip)
Compare 3 commits »
Arnaud_Daby-Seesaram created branch wip in Benjamin_Loison/Synchronous_reactive_systems 2022-12-16 07:48:23 +01:00