Search results

Travis integration on macos gcc

Status: Open.

#54 In ariadne-cps/release-1.0;

· lgeretti opened on Aug 28, 2018

Missed events when the step size is large

blocker

bugSomething isn't workingSomething isn't working

Status: Open.

#52 In ariadne-cps/release-1.0;

· lgeretti opened on Feb 9, 2017

TaylorModel::value() after reconditioning not working correctly

bugSomething isn't workingSomething isn't working

major

Status: Open.

#51 In ariadne-cps/release-1.0;

· lgeretti opened on Feb 3, 2017

Change the step size relation to grid

enhancementNew feature or requestNew feature or request

major

Status: Open.

#50 In ariadne-cps/release-1.0;

· lgeretti opened on Jan 20, 2017

Add consistency checks for evolver settings

enhancementNew feature or requestNew feature or request

minor

Status: Open.

#49 In ariadne-cps/release-1.0;

· lgeretti opened on Jan 15, 2017

Add Ariadne into the list of tools for Hybrid System on wikipedia

task

trivial

Status: Open.

#48 In ariadne-cps/release-1.0;

· lgeretti opened on Jan 14, 2017

Using C++11 introduces error in evolution

bugSomething isn't workingSomething isn't working

critical

Status: Open.

#47 In ariadne-cps/release-1.0;

· lgeretti opened on Jan 14, 2017

Hierarchical composition

major

proposal

Status: Open.

#43 In ariadne-cps/release-1.0;

· lgeretti opened on Oct 9, 2016

Renaming the I/O interface of automata

enhancementNew feature or requestNew feature or request

major

Status: Open.

#42 In ariadne-cps/release-1.0;

· lgeretti opened on Oct 9, 2016

Create Builders for Evolver, ReachabilityAnalyser and Verifier

enhancementNew feature or requestNew feature or request

major

Status: Open.

#41 In ariadne-cps/release-1.0;

· lgeretti opened on Sep 19, 2016

Evolution time estimation too coarse for finite time discretiser routines

bugSomething isn't workingSomething isn't working

minor

Status: Open.

#39 In ariadne-cps/release-1.0;

· lgeretti opened on Sep 15, 2016

Check evolution invariance to scale

minor

task

Status: Open.

#38 In ariadne-cps/release-1.0;

· lgeretti opened on Aug 22, 2016