Adrien Guatto 0abb050a23 Changed linear typing for merge. ... The new rule accepts that some branches of a linearly typed merge have linear type Top, provided that at least one has type "lin". E.g.: node f(x : int at r) returns (o : int at r) var ck : bool; let ck = true; o = merge ck (x whenot ck) 0; tel is now deemed valid.		2012-02-09 16:23:36 +01:00
..
analysis	Changed linear typing for merge.	2012-02-09 16:23:36 +01:00
main	Added test for clocking in automata	2012-01-25 18:13:43 +01:00
parsing	Better check signature error message	2011-12-12 11:30:18 +01:00
transformations	Inline extvalues: do not inline array literals.	2012-01-30 16:37:42 +01:00
_tags	move to subfolder compiler.	2010-06-21 11:58:57 +02:00
hept_mapfold.ml	mapfold over var_ident.	2011-11-18 12:32:36 +01:00
hept_printer.ml	Print stateful in heptagon.	2011-11-02 13:15:33 +01:00
hept_utils.ml	miscs	2011-12-12 12:06:46 +01:00
heptagon.ml	Add ways to declare unsafe functions + unsafe fix	2011-11-21 03:26:26 +01:00