This is a code update from the last several months. The main reorganization is that args4j is now used everywhere (Hyst main, printers, passes).
Hypy was also reorganized, so I'll need you to test to make sure the integration tests still work (renamed from regression tests to be more clear). ant test should do
Finally, I added some transformation pass hypy files in the doc folder associated with the Hyst demo at CPSWeek 2016 (continuization, hybridization, and pseudo-invariants). They are now run as part of the testing (although they can take a while to run).
This is a code update from the last several months. The main reorganization is that args4j is now used everywhere (Hyst main, printers, passes).
Hypy was also reorganized, so I'll need you to test to make sure the integration tests still work (renamed from regression tests to be more clear).
ant testshould doFinally, I added some transformation pass hypy files in the
docfolder associated with the Hyst demo at CPSWeek 2016 (continuization, hybridization, and pseudo-invariants). They are now run as part of the testing (although they can take a while to run).