Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink @ cd1faebc

# Date Author Comment
cd1faebc 03/16/2019 04:00 PM Pierre-Loïc Garoche

No temporary file on repo!

4748b215 12/04/2018 09:40 PM hbourbou

add more simulink tests

58eac50a 11/16/2018 12:54 AM Pierre-Loïc Garoche

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

c34a50ff 11/16/2018 12:49 AM Pierre-Loïc Garoche

Better naming

8451150a 11/15/2018 08:49 PM hbourbou

add output references

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

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

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

Updates some expected outputs

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

More tests

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

MPFR and EMF checks

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

update automata/with_prop folder

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

update Simulink folder

55ea7210 11/20/2016 02:15 AM Hamza Bourbouh

add adrien test folder

a3c5526d 11/18/2016 05:00 PM Hamza Bourbouh

add targets

fa9e78e5 11/17/2016 12:34 AM Hamza Bourbouh

add kind_fmcad08/large to tests

b2b5e09a 11/15/2016 01:49 AM Hamza Bourbouh

add horn option for Stateflow

6c3ea955 11/14/2016 05:53 PM Hamza Bourbouh

add Simulink