35 Commits
Author SHA1 Message Date
dsac 2da1fac66f [passes] linearization of when 2023-01-09 22:51:30 +01:00
dsac ad74146396 [passes] linearization of merge (untested) 2023-01-09 22:23:00 +01:00
dsac 30f9c71294 [equation ordering] comments added 2023-01-05 16:36:45 +01:00
dsac f8c673632e [c printer] protects the names of node states 2023-01-03 23:05:55 +01:00
dsac 1491e279f7 [ast2C] printer: ok. 2022-12-18 13:38:40 +01:00
dsac ce686f6c9a [ast2C] merge ok (needs linearization) 2022-12-18 10:41:36 +01:00
dsac 1d4e1820e4 [ast2C] Applications to values 2022-12-18 09:41:22 +01:00
dsac 007c5b2862 [c printer] Ok. 2022-12-18 00:26:51 +01:00
dsac 243e8f245a [ast2C] adding the (->) construct 2022-12-18 00:11:02 +01:00
dsac 791af71913 [ast2C] print all basic operators 2022-12-17 23:58:45 +01:00
dsac 233b385608 missing 'state->' added + print +,-,*,... 2022-12-17 23:46:39 +01:00
dsac 7a32d474d4 [ast2C] support for some basic operations (exemple in test.node) 2022-12-17 23:36:07 +01:00
dsac cbc834b32a [ast2C] constants, simple assignations, variables (+ one fix about pre storage) 2022-12-17 22:36:42 +01:00
dsac a877501cca [general] renaming: done. 2022-12-17 21:37:37 +01:00
dsac 3cbfaeb2a8 [general] renaming (pp -> lustre_pp ; c_* -> intermediate_*) 2022-12-17 21:26:32 +01:00
dsac 916c7f544b [ast2C] initialize states of auxiliary nodes. 2022-12-17 18:34:11 +01:00
dsac 6291957be5 [ast2C] init or not init (field added to the state of the node) 2022-12-17 16:35:49 +01:00
dsac bb99a5882b [ast2C] store old values of variables used in the pre construct 2022-12-17 16:30:10 +01:00
dsac 0da0f58b22 [ast2C] proposition initiale 2022-12-17 16:01:48 +01:00
dsac 9987922e0f [passes] linearization of pre (wip) 2022-12-16 07:47:20 +01:00
dsac 74f8a3c3e1 [parser] functions other that main → args required 2022-12-15 22:14:59 +01:00
dsac 0d5e045671 [parser] foirbid calling auxiliary nodes with no arguments 2022-12-15 22:07:16 +01:00
dsac 97c6020414 [parser] avoid conflicts between local, input and output variables 2022-12-15 21:42:21 +01:00
dsac eceeb3c157 [fix] identation error 2022-12-15 20:37:05 +01:00
dsac e84a6e387d [beamer] proto 0 2022-12-15 11:40:29 +01:00
dsac ed5f94f821 [simu] wip 2022-12-15 09:13:59 +01:00
dsac e75d525a6d [passes] linearisation des équations 2022-12-15 09:13:28 +01:00
dsac 73d5ed7726 [parser] avoid redefinition of nodes 2022-12-14 18:41:59 +01:00
dsac 3c811c6128 Merge remote-tracking branch 'origin/master' 2022-12-10 00:00:28 +01:00
dsac eb469bc960 Cleanning after last merge + parser factorisation 2022-12-10 00:00:17 +01:00
dsac 6308dc893f [cli] support for basic arguments 2022-12-08 11:40:05 +01:00
dsac 232624abac renaming 2022-12-07 22:08:38 +01:00
dsac 839f7b77af [parser] adding support for expressions 2022-12-07 21:56:38 +01:00
dsac e9e5cdcf4d [parser] parses and dumps content (without expressions) 2022-12-07 16:45:55 +01:00
dsac 4d304d8e9a README 2022-12-04 16:19:25 +01:00