Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success @ ddc8cb0f

Name Size Revision Age Author Comment
  Simulink a603f261 almost 3 years Pierre-Loïc Garoche More tests
  Stateflow a603f261 almost 3 years Pierre-Loïc Garoche More tests
  adrien cc6eda98 almost 4 years Hamza Bourbouh update adrien folder
  automata 7a4e6825 over 3 years Pierre-Loïc Garoche conditional use of zustre
  clocks a603f261 almost 3 years Pierre-Loïc Garoche More tests
  kind_fmcad08 ddc8cb0f over 2 years Bourbouh add zustre results
  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 8af9a0b9 almost 3 years Pierre-Loïc Garoche New machine types related test cases
  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 almost 3 years Pierre-Loïc Garoche More tests

Latest revisions

# Date Author Comment
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

6e409747 07/03/2017 08:35 PM Pierre-Loïc Garoche

- cmake compare becomes regular diff so output is printed
- updated reference value to default 15 digits

7a4e6825 05/05/2017 10:24 PM Pierre-Loïc Garoche

conditional use of zustre

01b56d34 12/02/2016 11:39 AM Hamza Bourbouh

controller folder

af44cb25 11/30/2016 12:38 AM Hamza Bourbouh

update folders

5600dad4 11/30/2016 12:28 AM Hamza Bourbouh

update automata/with_prop folder

View revisions

Also available in: Atom