heptagon/compiler/minils
Adrien Guatto 6ff8ed993f Switched back to plain strings for some compiler options.
To be consistent or to be convenient, that is the question.
2010-10-04 00:35:12 +02:00
..
analysis Flatten arguments fix in cloking. 2010-09-27 18:16:00 +02:00
main Automata minimization. 2010-09-30 21:52:32 +02:00
parsing Changed compile flags, and cleaned a bit. 2010-09-14 09:39:02 +02:00
transformations Switched back to plain strings for some compiler options. 2010-10-04 00:35:12 +02:00
_tags Moved sequential to compiler/ dir 2010-07-08 15:19:04 +02:00
minils.ml Renamed exp_ty label to ty for consistency 2010-09-14 17:14:27 +02:00
mls_compare.ml Comparison functions for types, clocks and minils expressions. 2010-09-30 21:39:53 +02:00
mls_mapfold.ml Automata minimization. 2010-09-30 21:52:32 +02:00
mls_printer.ml Refactored Misc 2010-09-15 09:38:52 +02:00
mls_utils.ml Automata minimization. 2010-09-30 21:52:32 +02:00