Gwenaël Delaval e0d1900f3a Version 1.05.00 ... - Option -simple-scheduler active for scheduling post-ctrln code generation - Handle implication operator in Sigali backend - Compatibility with reatk >= 0.14		2018-06-19 22:07:03 +02:00
..
analysis	Passes optimization	2017-05-23 22:13:32 +02:00
ctrln	Version 1.05.00	2018-06-19 22:07:03 +02:00
main	Clean-up of verbose output	2017-05-23 11:37:30 +02:00
parsing	Allow semicolons after tel's	2017-09-29 00:08:42 +02:00
transformations	Bug correction in normalization of merge: fix propagation of type annotations	2017-09-21 16:29:06 +01:00
_tags	New tool `ctrl2ept' for translating ReaX's output functions into Heptagon	2014-10-22 17:46:05 +02:00
hept_mapfold.ml	Added syntax for reachability and attractivity in contracts	2015-01-06 00:26:59 +01:00
hept_printer.ml	Added syntax for reachability and attractivity in contracts	2015-01-06 00:26:59 +01:00
hept_utils.ml	Fixed warnings.	2014-03-18 11:01:56 +01:00
heptagon.ml	Added syntax for reachability and attractivity in contracts	2015-01-06 00:26:59 +01:00