Search results

Unit tests fail without hylaa, spaceex, flowstar

Status: Open.

#45 In verivital/hyst;

· MaxGaukler opened on Jan 14, 2019

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

Status: Open.

#39 In verivital/hyst;

· stanleybak opened on Sep 26, 2016

RRT integration issues

Status: Open.

#37 In verivital/hyst;

· stanleybak opened on Jul 21, 2016

Uniform code format for Hyst

enhancement

Status: Open.

#34 In verivital/hyst;

· stanleybak opened on May 31, 2016

Generalize input support

Status: Open.

#33 In verivital/hyst;

· ttj opened on May 24, 2016

matlab unit tests fail

Status: Open.

#32 In verivital/hyst;

· stanleybak opened on May 20, 2016

Model too complex?

Status: Open.

#29 In verivital/hyst;

· Kerianne opened on Apr 21, 2016

long names in flattened model

enhancement

Status: Open.

#28 In verivital/hyst;

· stanleybak opened on Mar 29, 2016

Wrong initial states in flattened model

Status: Open.

#26 In verivital/hyst;

· ttj opened on Feb 24, 2016

Cleanup in order reduction pass

enhancement

Status: Open.

#23 In verivital/hyst;

· stanleybak opened on Feb 3, 2016

Stateflow translator bugs with networks

bug

Status: Open.

#19 In verivital/hyst;

· ttj opened on Jan 12, 2016

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

enhancement

Status: Open.

#14 In verivital/hyst;

· stanleybak opened on Dec 21, 2015