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

Hypy: Add option for axis range (xlim, ylim) #62

Closed MaxGaukler closed 4 years ago

MaxGaukler commented 4 years ago

Adds support for x- and y-axis limits for PySim and SpaceEx.