Antoine Grimod
|
6af9ddf394
|
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 |
|
Antoine Grimod
|
1b3af051b3
|
adding automaton translation pass to list of executed passes
|
2022-12-16 00:06:51 +01:00 |
|
dsac
|
74f8a3c3e1
|
[parser] functions other that main → args required
|
2022-12-15 22:14:59 +01:00 |
|
Arnaud DABY-SEESARAM
|
8582337774
|
[passes] pass to check the typing tags of the program / expressions
|
2022-12-15 18:33:04 +01:00 |
|
Arnaud DABY-SEESARAM
|
db5c584435
|
[passes] fix for the equation ordering pass
|
2022-12-15 17:40:15 +01:00 |
|
Arnaud DABY-SEESARAM
|
9151a6e29a
|
[tests] adding the -test option to duplicate sanity checks
|
2022-12-15 17:11:19 +01:00 |
|
dsac
|
e75d525a6d
|
[passes] linearisation des équations
|
2022-12-15 09:13:28 +01:00 |
|
Arnaud DABY-SEESARAM
|
f3416582be
|
[passes] correction of the check not re-init of variables
|
2022-12-13 18:08:11 +01:00 |
|
Arnaud DABY-SEESARAM
|
e5ac9a719d
|
[passes] check unicity of the assignations for each var
|
2022-12-13 15:55:21 +01:00 |
|
Antoine Grimod
|
bb017afe39
|
added automaton to ast
|
2022-12-13 15:03:41 +01:00 |
|
Arnaud DABY-SEESARAM
|
ad1f529863
|
[typo] adding newline
|
2022-12-13 14:57:55 +01:00 |
|
Arnaud DABY-SEESARAM
|
51ed84504f
|
[pre propagation] done.
|
2022-12-13 14:25:48 +01:00 |
|
Arnaud DABY-SEESARAM
|
19be2200f3
|
Catch syntax errors
|
2022-12-13 11:43:23 +01:00 |
|
Arnaud DABY-SEESARAM
|
ef0effeb1f
|
improvement over error messages (with code ;) )
|
2022-12-13 10:26:55 +01:00 |
|
|
|
a8e89854a4
|
Copy src/pp.ml to src/ast_to_c and modify src/main.ml accordingly
Just `pp_ast` was renamed to `ast_to_c`.
|
2022-12-10 18:58:06 +01:00 |
|
|
|
97930ba85c
|
Correcting typos and using only English
|
2022-12-10 00:53:20 +01:00 |
|
Arnaud DABY-SEESARAM
|
347cb3a11d
|
[parser] ajout de fby (proposition alternative) + type checker (sera factorisé)
|
2022-12-09 23:18:13 +01:00 |
|
Arnaud DABY-SEESARAM
|
74c04a0e4e
|
[parser] new parser, no more pp (for now)
|
2022-12-09 14:26:28 +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 |
|
