Search results

add timeout option in verification gui

Status: Open.

#33 In coco-team/cocoSim-deprecated;

· hbourbouh opened on Mar 16, 2017

CoCoSim property block as a custom library

Status: Open.

#22 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 23, 2017

Support for SeaHorn

Status: Open.

#21 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Make Zustre return 0 or else if it fails

Status: Open.

#20 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Automated plotting of n-step values in Counter-example

Status: Open.

#19 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Finish the compilation of Simulink to Rust

Status: Open.

#18 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Add support for automated Test Generation in CoCoSim

Status: Open.

#17 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Fix issue of compilation in the TCM model (i.e. bus issue). The model can be found here: https://github.com/coco-team/benchmarks/blob/master/Simulink/tcm/no_properties/modified/ControlsWithAutopilot.mdl

Status: Open.

#14 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Fix issue with embedded matlab on the OCA Simulink model

Status: Open.

#13 In coco-team/cocoSim-deprecated;

· lememta opened on Jan 4, 2017

Support for stub compilation

Status: Open.

#11 In coco-team/cocoSim-deprecated;

· lememta opened on Dec 5, 2016

working on Matlab functions in Stateflow models

Status: Open.

#7 In coco-team/cocoSim-deprecated;

· hbourbouh opened on Oct 13, 2016