Search results

Extend Tasks: Add Task-Metadata (Time Horizon)

enhancement

Status: Open.

#31 In hypro/hypro;

· modass opened on Jan 4, 2021

Improvement: Allow Zonotopes as Leaf-Nodes in Support Functions

enhancement

Status: Open.

#30 In hypro/hypro;

· modass opened on Jan 4, 2021

Run old benchmarks

Status: Open.

#25 In hypro/hypro;

· modass opened on Dec 21, 2020

Rename temporary variable used for rectangular flow

enhancement

Status: Open.

#24 In hypro/hypro;

· modass opened on Dec 2, 2020

VPolytope internal data structure optimization

enhancement

Status: Open.

#23 In hypro/hypro;

· modass opened on Nov 25, 2020

Polytope constructor

Status: Open.

#21 In hypro/hypro;

· JianqiangDing opened on Jun 15, 2019

Assertion `mGlpkContext.find(std::this_thread::get_id()) != mGlpkContext.end()' failed.

Status: Open.

#15 In hypro/hypro;

· fefrei opened on Mar 16, 2018

Supporting non linear models

Status: Open.

#9 In hypro/hypro;

· mhmadayad opened on Jun 12, 2017