Léonard Gérard
0f2d046d59
Gros blop pour que Mlsc compile.
...
-* Séparation du fichier minils avec création de mls_utils
-* Lexer et Parser qui fonctionnent (pas complets encore)
-* Use of menhir with --explain pour debug du parser
-* Quelques refactoring (ident/name...)
2010-06-28 18:06:39 +02:00
Cédric Pasteur
3a80061392
Fix compilation
2010-06-28 16:15:44 +02:00
Cédric Pasteur
9105b54c1f
Fix for causality
...
Tuples should behave like ands for nodes that
are not reads or writes of a single variable
2010-06-28 16:12:14 +02:00
Adrien Guatto
b4ddefa65c
Tabs, trailing ws and long lines shall receive no mercy!
2010-06-26 17:17:28 +02:00
Cédric Pasteur
21891b8746
Fixed bug in causal
2010-06-24 05:01:11 +02:00
Cédric Pasteur
4525f5cfd0
More compile fix
2010-06-24 05:01:10 +02:00
Cédric Pasteur
7984917b0e
Make the file more readable
...
Use let in and meaningfull names
to show the structure of the functions
(which shows that it is more simple that it
appeared before)
2010-06-24 05:01:10 +02:00
Cédric Pasteur
6f2d5175e5
Do not add reset for op
2010-06-24 04:56:53 +02:00
Cédric Pasteur
ac87128e54
Put a special case for operators
...
Without this, pre x + 1 cannot be written.
2010-06-24 04:55:15 +02:00
Cédric Pasteur
ccfd3f368a
Disable this for now
2010-06-24 04:55:15 +02:00
Cédric Pasteur
5f1b63b33a
Fix bug with locations
2010-06-24 04:55:15 +02:00
Cédric Pasteur
3b6ca84d8d
Remove code that should only be in memalloc branch
2010-06-24 04:54:46 +02:00
Cédric Pasteur
12224395ae
Fix printing
2010-06-24 04:54:46 +02:00
Léonard Gérard
9fff8e4ad8
Refactoring and organisation.
...
Separate parser, lexer and printer of hpetagon (Hetp_*) from the minils ones (Mls_*)
ident_of_var -> ident_of_name
get_current_location -> current_loc
2010-06-24 03:30:14 +02:00
Léonard Gérard
60a3ad15f8
move to subfolder compiler.
2010-06-21 11:58:57 +02:00
