You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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		6 years ago
..
analysis	Passes optimization	7 years ago
ctrln	Version 1.05.00	6 years ago
main	Clean-up of verbose output	7 years ago
parsing	Allow semicolons after tel's	7 years ago
transformations	Bug correction in normalization of merge: fix propagation of type annotations	7 years ago
_tags	New tool `ctrl2ept' for translating ReaX's output functions into Heptagon	10 years ago
hept_mapfold.ml	Added syntax for reachability and attractivity in contracts	10 years ago
hept_printer.ml	Added syntax for reachability and attractivity in contracts	10 years ago
hept_utils.ml	Fixed warnings.	10 years ago
heptagon.ml	Added syntax for reachability and attractivity in contracts	10 years ago