Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success @ 8451150a

Name Size Revision Age Author Comment
  Simulink 8451150a over 1 year hbourbou add output references
  Stateflow 9b45f3df over 1 year Pierre-Loïc Garoche renamed mode as mode_ to avoid collision with t...
  adrien cc6eda98 over 3 years Hamza Bourbouh update adrien folder
  automata b5c4cae5 over 1 year Pierre-Loïc Garoche Moved to cocospec contract
  clocks a603f261 over 2 years Pierre-Loïc Garoche More tests
  kind_fmcad08 9b45f3df over 1 year Pierre-Loïc Garoche renamed mode as mode_ to avoid collision with t...
  lego_robot 01b56d34 over 3 years Hamza Bourbouh controller folder
  linear_ctl 8451150a over 1 year hbourbou add output references
  lusic 4f76e5f5 over 3 years Hamza Bourbouh add lusic CMakeLists
  machine_types 2d37a1e1 almost 2 years Pierre-Loïc Garoche Renaminig lustre contracts from ensures to guar...
  mpfr 8451150a over 1 year hbourbou add output references
  safety 47714cf4 over 3 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
8451150a 11/15/2018 08:49 PM hbourbou

add output references

9b45f3df 11/15/2018 07:40 PM Pierre-Loïc Garoche

renamed mode as mode_ to avoid collision with the mode keyword of cocospec.

f4893943 11/15/2018 07:33 AM Pierre-Loïc Garoche

Script now compare the output with ones compiled with the same options

b5c4cae5 11/14/2018 06:40 PM Pierre-Loïc Garoche

Moved to cocospec contract

94da9360 11/14/2018 06:39 PM Pierre-Loïc Garoche

Restructured mpfr folder tests to rely on highlevel strategies

72e9ca2d 11/14/2018 06:35 PM Pierre-Loïc Garoche

Renamed math in lustrec_math

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

View revisions

Also available in: Atom