Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success @ 2d37a1e1

Name Size Revision Age Author Comment
  Simulink 4f47032a over 2 years Pierre-Loïc Garoche Updates some expected outputs
  Stateflow 4f47032a over 2 years Pierre-Loïc Garoche Updates some expected outputs
  adrien cc6eda98 almost 4 years Hamza Bourbouh update adrien folder
  automata 2d37a1e1 about 2 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  clocks a603f261 over 2 years Pierre-Loïc Garoche More tests
  kind_fmcad08 2d37a1e1 about 2 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  lego_robot 01b56d34 almost 4 years Hamza Bourbouh controller folder
  linear_ctl c79336a0 almost 4 years Hamza Bourbouh add strategie 1
  lusic 4f76e5f5 almost 4 years Hamza Bourbouh add lusic CMakeLists
  machine_types 2d37a1e1 about 2 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  mpfr 4d5a2e6e almost 4 years Hamza Bourbouh add mpfr CMakeLists
  safety 47714cf4 almost 4 years Hamza Bourbouh add safety folder
CMakeLists.txt 366 Bytes a603f261 over 2 years Pierre-Loïc Garoche More tests

Latest revisions

# Date Author Comment
2d37a1e1 10/08/2018 04:49 PM Pierre-Loïc Garoche

Renaminig lustre contracts from ensures to guarantees
Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)

1fd649ea 06/22/2018 10:28 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

2e549261 06/22/2018 08:33 PM Bourbouh

add Kind2Results

4b18af93 06/22/2018 08:56 AM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

4f47032a 06/22/2018 08:54 AM Pierre-Loïc Garoche

Updates some expected outputs

ddc8cb0f 06/22/2018 08:51 AM Bourbouh

add zustre results

a603f261 01/31/2018 09:58 AM Pierre-Loïc Garoche

More tests

8af9a0b9 01/31/2018 06:13 AM Pierre-Loïc Garoche

New machine types related test cases

b9724665 12/19/2017 02:24 AM Bourbouh

add json example for SF IR

67d911bc 12/13/2017 05:32 PM Pierre-Loïc Garoche

MPFR and EMF checks

View revisions

Also available in: Atom