search

verivital / hyst

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

bug fix for lut tests failing without python support #21

Closed stanleybak closed 8 years ago

stanleybak commented 8 years ago

I made a static variable in the lut pass which determines what type of optimization needs to be done. Check if your tests pass now taylor and accept when ready.