Issues

• Unit tests fail without hylaa, spaceex, flowstar

  verivital/hyst#45 · Filter by author MaxGaukler opened on Jan 14, 2019

• Multi-line init loc() statements not allowed in .cfg

  verivital/hyst#39 · Filter by author stanleybak opened on Sep 26, 2016

• RRT integration issues

  verivital/hyst#37 · Filter by author stanleybak opened on Jul 21, 2016
  5

• Uniform code format for Hyst

  enhancement
  verivital/hyst#34 · Filter by author stanleybak opened on May 31, 2016
  1

• Generalize input support

  verivital/hyst#33 · Filter by author ttj opened on May 24, 2016

• matlab unit tests fail

  verivital/hyst#32 · Filter by author stanleybak opened on May 20, 2016
  8

• Model too complex?

  verivital/hyst#29 · Filter by author Kerianne opened on Apr 21, 2016
  1

• long names in flattened model

  enhancement
  verivital/hyst#28 · Filter by author stanleybak opened on Mar 29, 2016

• Wrong initial states in flattened model

  verivital/hyst#26 · Filter by author ttj opened on Feb 24, 2016
  16

  

• Cleanup in order reduction pass

  enhancement
  verivital/hyst#23 · Filter by author stanleybak opened on Feb 3, 2016

• Stateflow translator bugs with networks

  bug
  verivital/hyst#19 · Filter by author ttj opened on Jan 12, 2016
  2

  

• Classification should either be static, or not static, not a mix

  enhancement
  verivital/hyst#14 · Filter by author stanleybak opened on Dec 21, 2015
  7

  

• Initial Mode should be defined per Base Component, with the Initial Expression being global to a configuration

  verivital/hyst#10 · Filter by author stanleybak opened on Nov 6, 2015
  16

• Large models crash hyst

  bug
  verivital/hyst#6 · Filter by author ttj opened on Oct 24, 2015
  2