verivital / hyst

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

Model Generation + Automatic Code Format #35

Closed stanleybak closed 7 years ago

stanleybak commented 8 years ago

This is a recent set of changes which has the following items:

Please review and accept/comment Taylor.

stanleybak commented 8 years ago

I updated this to fix the constant substitution bug rajray encountered: https://github.com/verivital/hyst/issues/36