Revision 9d6dceb4 - New mutation algoirthm. Seems more efficient. - LustreC

« Previous | Next »

Revision 9d6dceb4

ID	9d6dceb498f05bfa9c493a578782e539cfbd709e
Parent	ebf0fa11
Child	f29f1bee

Added by Pierre-Loïc Garoche almost 7 years ago

New mutation algoirthm. Seems more efficient.

Files

added
modified
copied
renamed
deleted

View differences

src
- main_lustre_mutator.ml (diff)
- mutation.ml (diff)