M&S cleanup:
* The raz_XXX.{cc,h} source files should be renamed to XXX.{cc,h}.
* Some file and class names should be adapted to follow the terminology in
our papers more properly.
* The merge-and-shrink stuff should move into a subdirectory.
* The obsolete shrink methods "bisimulation" and "dfp" should be removed.
* The new shrink method "unified_bisimulation" should be renamed to
"bisimulation".
* The obsolete "memory_limit" parameter should be removed.
* The Python scripts should be adapted to the new strategy and parameter
names.
|