jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity
1215 commits 2 branches 0 tags 6.9 MiB
Commit graph

1215 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
12251f960e Add lib/pervasives.epi, tests, tools 2010-06-21 12:11:06 +02:00
Léonard Gérard
60a3ad15f8 move to subfolder compiler. 2010-06-21 11:58:57 +02:00
Léonard Gérard
d39755d9a4 removed $id 2010-06-21 01:45:42 +02:00
Léonard Gérard
d46c2e651c small printer things. 2010-06-21 01:45:23 +02:00
Léonard Gérard
c549b150e8 Printing fixes, minils_printer seems ok. 2010-06-19 18:28:52 +02:00
Cédric Pasteur
29b4dea3b6 Fix ocamlbuild 2010-06-18 15:50:50 +02:00
Cédric Pasteur
2a6db8cb79 Heptc works !! 2010-06-18 15:40:48 +02:00
Cédric Pasteur
45be96acb8 Added some ocamlbuild files 2010-06-18 15:38:57 +02:00
Cédric Pasteur
01ab4e4737 Ported hept2mls 2010-06-18 14:59:10 +02:00
Cédric Pasteur
017ef138f5 Use param in Heptagon too 2010-06-18 14:58:53 +02:00
Cédric Pasteur
fcf7264f94 Port fix from hept_arrays branch 2010-06-18 14:01:48 +02:00
Cédric Pasteur
ce4e0620a2 Added skeletons for compilers heptc and mlsc 2010-06-18 14:01:48 +02:00
Léonard Gérard
fb547ea508 Cosmetic clocking. 2010-06-18 13:22:26 +02:00
Léonard Gérard
638c852023 printer adapté au changement d'API de Eiterator 2010-06-18 13:22:26 +02:00
Cédric Pasteur
f4c164463b Remove unused file 2010-06-18 12:07:06 +02:00
Cédric Pasteur
85bb42c6c9 Move to a global folder 2010-06-18 12:06:47 +02:00
Cédric Pasteur
f6d4a0f5d1 Ported schedule 2010-06-18 12:02:39 +02:00
Cédric Pasteur
50a0768a24 Dep depends on global, so mv it accordingly 2010-06-18 11:55:13 +02:00
Léonard Gérard
a20b30909c Init is missing all the array stuff, and Ecall is strange, with an issue when reset an op, and a different treatment of op and node. 2010-06-18 11:52:39 +02:00
Léonard Gérard
ac0066a3d4 Clocking should be ok, not tested. 2010-06-18 11:52:39 +02:00
Cédric Pasteur
2dede83f11 Ported Normalize 2010-06-18 11:46:57 +02:00
Cédric Pasteur
762b881e84 Ported Callgraph 2010-06-18 11:20:35 +02:00
Cédric Pasteur
6e29fea1ab Ported Java 
It compiles and should work as before but it does 
not support any of the newer features (eg arrays)
 2010-06-18 11:01:44 +02:00
Cédric Pasteur
65941dfebb Ported Cgen and Csubst 2010-06-18 10:55:16 +02:00
Cédric Pasteur
4dc345bf8a Ported Mls2Obc 2010-06-18 10:30:23 +02:00
Cédric Pasteur
b5fbfad315 Fix Eiterator signature (use op_desc) 2010-06-18 09:50:49 +02:00
Léonard Gérard
0040bd0bec interface fix. 2010-06-17 17:25:08 +02:00
Léonard Gérard
d44520ddc8 Cedric cosmetic. 2010-06-17 17:25:00 +02:00
Léonard Gérard
96405852f1 Minils printer v1 ( not tested, with ~contracts ) 2010-06-17 17:03:29 +02:00
Cédric Pasteur
545a514ba5 Added heptcheck in heptagon/main 
When given a .ept file, it just check its validity.
When given a .epi file, it checks it and creates
the .epci compiled file.
 2010-06-17 17:03:29 +02:00
Cédric Pasteur
a0cc9917ac Ported transformations 
A BIG Refactoring is needed
 2010-06-17 17:03:28 +02:00
Cédric Pasteur
ca38c3ba44 Ported Initialization and Causality 
Removed safe property from initialization.
 2010-06-17 17:03:28 +02:00