Cédric Pasteur 90648f61ff Fixed linear typing of automata ... Each state must be typed in the global environment and then the accumulator must be joined.		2011-05-25 09:12:15 +02:00
..
clocks.ml	Initial support for return-less external functions.	2011-04-28 15:24:35 +02:00
global_compare.ml	Added type string to pervasives, with string constants in AST	2011-05-10 17:07:17 +02:00
global_mapfold.ml	Added type string to pervasives, with string constants in AST	2011-05-10 17:07:17 +02:00
global_printer.ml	col<100	2011-05-21 15:38:09 +02:00
idents.ml	Allows easy debugging printing of Envs.	2011-05-10 20:29:01 +02:00
idents.mli	Allows easy debugging printing of Envs.	2011-05-10 20:29:01 +02:00
initial.ml	Added type string to pervasives, with string constants in AST	2011-05-10 17:07:17 +02:00
linearity.ml	Fixed linear typing of automata	2011-05-25 09:12:15 +02:00
location.ml	Fix print location.	2010-10-08 14:34:31 +02:00
modules.ml	Fixed bug with loading modules	2011-05-02 14:27:42 +02:00
names.ml	C backend ported to recent API changes in Obc	2011-03-09 09:46:00 +01:00
signature.ml	Fixed linear typing of iterators	2011-05-25 09:12:13 +02:00
static.ml	Added type string to pervasives, with string constants in AST	2011-05-10 17:07:17 +02:00
types.ml	Added type string to pervasives, with string constants in AST	2011-05-10 17:07:17 +02:00