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
|
ff07d77667
|
Assertion generation for C back-end.
|
2010-06-27 23:28:38 +02:00 |
|
Adrien Guatto
|
5db45bd497
|
Generated C programs now accept a max step command-line argument.
|
2010-06-27 23:28:38 +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
|
dece22d0b6
|
Fix iterators with constant arrays
|
2010-06-25 13:48:57 +02:00 |
|
Cédric Pasteur
|
9b18eb71a4
|
Operators can appear in the exp normal form
|
2010-06-25 13:48:46 +02:00 |
|
Léonard Gérard
|
1a829ea4e0
|
Mls parser tweak, todos and co added
|
2010-06-24 05:05:58 +02:00 |
|
Cédric Pasteur
|
21891b8746
|
Fixed bug in causal
|
2010-06-24 05:01:11 +02:00 |
|
Cédric Pasteur
|
b360e56893
|
Unbreak Graph
|
2010-06-24 05:01:10 +02:00 |
|
Cédric Pasteur
|
4525f5cfd0
|
More compile fix
|
2010-06-24 05:01:10 +02:00 |
|
Cédric Pasteur
|
c57ae52862
|
Do not forget to write the interface file
|
2010-06-24 05:01:10 +02:00 |
|
Cédric Pasteur
|
744f166e12
|
Add a missing case in Minils Init
The encoding of a reset for e1 -> e2 (in heptagon) is:
if true fby false then e1 else e2
which is well initiliazed even in e2 = pre x.
|
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 |
|
Adrien Guatto
|
30338a3f38
|
Removed outdated command-line options.
|
2010-06-24 04:59:35 +02:00 |
|
Cédric Pasteur
|
8515c533d2
|
Updated Heptagon printer
The indentation is not perfect but this will do.
|
2010-06-24 04:59:35 +02:00 |
|
Cédric Pasteur
|
db6344921a
|
Updated Obc printer
|
2010-06-24 04:56:53 +02:00 |
|
Cédric Pasteur
|
6f2d5175e5
|
Do not add reset for op
|
2010-06-24 04:56:53 +02:00 |
|
Adrien Guatto
|
206605a707
|
Added missing boolean case in MiniLS' print_type.
|
2010-06-24 04:56:53 +02:00 |
|
Cédric Pasteur
|
0a65964ee6
|
Put back error in Clocking
|
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 |
|
Cédric Pasteur
|
5c318ace90
|
Uniformize labels
|
2010-06-24 04:54:46 +02:00 |
|
Léonard Gérard
|
15529eed90
|
Small todo fix, (reactivate error printing in clocking since now the printer works).
|
2010-06-24 03:32:46 +02:00 |
|
Léonard Gérard
|
fc39057230
|
Bug in the Makefile ? GENSOURCES removed from .depend dependencies. (circular issue)
FIXME Makefile to deal with the news files
|
2010-06-24 03:31:57 +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 |
|