verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

updates for ifm2016, minor slsf converter bug fixes, new test case for constants #15

Closed ttj closed 8 years ago

ttj commented 8 years ago