Benjamin Loison ea94bb84dd Merge branch 'master' of https://gitea.lemnoslife.com/Benjamin_Loison/Synchronous_reactive_systems

2022-12-16 04:47:05 +01:00

..

ast_to_c.ml

Clean other tries

2022-12-16 04:46:48 +01:00

ast.ml

[passes] pass to check the typing tags of the program / expressions

2022-12-15 18:33:04 +01:00

config.ml

[parser] functions other that main → args required

2022-12-15 22:14:59 +01:00

lexer.mll

adding automaton

2022-12-13 11:51:46 +01:00

main.ml

[passes] linearisation: correction (10 -> pre (20 -> 30)) works

2022-12-16 09:44:50 +01:00

Makefile

renaming

2022-12-07 22:08:38 +01:00

parser.mly

Correct typo in verification that nodes always have arguments and make the main having such a verification too, as in Lustre

2022-12-16 00:00:11 +01:00

passes_utils.ml

Translation of automaton to lustre almost finished

2022-12-15 23:39:01 +01:00

passes.ml

[passes] linearisation: correction (10 -> pre (20 -> 30)) works

2022-12-16 09:44:50 +01:00

pp.ml

[passes] fix for the equation ordering pass

2022-12-15 17:40:15 +01:00

simulation.ml

Correct copy-pasted int and bool cases

2022-12-15 16:08:22 +01:00

test2.node

[passes] linearisation: correction (10 -> pre (20 -> 30)) works

2022-12-16 09:44:50 +01:00

test_pre.node

[pre propagation] done.

2022-12-13 14:25:48 +01:00

test.node

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

utils.ml

[parser] avoid conflicts between local, input and output variables

2022-12-15 21:42:21 +01:00