Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files @ 67d911bc

Name Size Revision Age Author Comment
  failed af44cb25 about 4 years Hamza Bourbouh update folders
  success 67d911bc about 3 years Pierre-Loïc Garoche MPFR and EMF checks
CMakeLists.txt 65 Bytes eb639349 over 4 years Hamza Bourbouh add regression tests with cmake

Latest revisions

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

79ef5fc5 11/30/2016 12:05 AM Hamza Bourbouh

update Stateflow folder

cc6eda98 11/30/2016 12:04 AM Hamza Bourbouh

update adrien folder

0c9457a0 11/29/2016 11:57 PM Hamza Bourbouh

update Simulink folder

cac038b0 11/29/2016 11:24 PM Hamza Bourbouh

factorize kind_fmcad08 in one cmake file

View revisions

Also available in: Atom