Issues

• add timeout option in verification gui

  coco-team/cocoSim-deprecated#33 · Filter by author hbourbouh opened on Mar 16, 2017

• CoCoSim property block as a custom library

  coco-team/cocoSim-deprecated#22 · Filter by author lememta opened on Jan 23, 2017

• Support for SeaHorn

  coco-team/cocoSim-deprecated#21 · Filter by author lememta opened on Jan 4, 2017

• Make Zustre return 0 or else if it fails

  coco-team/cocoSim-deprecated#20 · Filter by author lememta opened on Jan 4, 2017

• Automated plotting of n-step values in Counter-example

  coco-team/cocoSim-deprecated#19 · Filter by author lememta opened on Jan 4, 2017

• Finish the compilation of Simulink to Rust

  coco-team/cocoSim-deprecated#18 · Filter by author lememta opened on Jan 4, 2017

• Add support for automated Test Generation in CoCoSim

  coco-team/cocoSim-deprecated#17 · Filter by author 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

  coco-team/cocoSim-deprecated#14 · Filter by author lememta opened on Jan 4, 2017
  

• Fix issue with embedded matlab on the OCA Simulink model

  coco-team/cocoSim-deprecated#13 · Filter by author lememta opened on Jan 4, 2017
  

• Support for stub compilation

  coco-team/cocoSim-deprecated#11 · Filter by author lememta opened on Dec 5, 2016
  1

• working on Matlab functions in Stateflow models

  coco-team/cocoSim-deprecated#7 · Filter by author hbourbouh opened on Oct 13, 2016