Arnaud_Daby-Seesaram
0 Followers · 0 Following
  • Joined on 2022-11-26
Repositories Projects Packages Public Activity Starred Repositories
906a3d948b [oups] forgot a pattern matching
249ac37934 [general] renaming, comments and removal of unused function in [pass_linearization_pre]
1d39173e94 [general] useless fn removed in pass_linearization_app + comments + print_debug in ast_to_c
4ff193759b [passes] removal of constructs: seems ok
c52dce6c02 [passes] linearization: done for app, tuples (lvl 1 behind when) and pre
c344f125e5 [passes] linearization of tuple-equations + deletion of unused pass
a6a3b0e651 [passes] removing pre2var (no longer required)
aa7f7514d3 [Lustre -> intermediate] fix for the [pre] construct
77c865e360 [intermediate_ast] remove unused fields of i_nodes
1491e279f7 [ast2C] printer: ok.
ce686f6c9a [ast2C] merge ok (needs linearization)
1d4e1820e4 [ast2C] Applications to values
007c5b2862 [c printer] Ok.
dc42a80739 [c printer] Ok.
243e8f245a [ast2C] adding the (->) construct
791af71913 [ast2C] print all basic operators
233b385608 missing 'state->' added + print +,-,*,...
7a32d474d4 [ast2C] support for some basic operations (exemple in test.node)
cbc834b32a [ast2C] constants, simple assignations, variables (+ one fix about pre storage)