Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
ea143160 07/04/2019 02:19 AM Pierre-Loïc Garoche

Missing dep for ADA targets

5d9f326b 07/04/2019 01:53 AM Pierre-Loïc Garoche

Solving issue in the ADA test cases

9ca1404d 03/22/2019 12:45 AM Pierre-Loïc Garoche

Updated scripts (emf->json)

99a9d521 03/21/2019 12:32 AM hbourbou

remove corrupted lustre files

17b2e00a 03/20/2019 02:48 AM hbourbou

add ADA strategy and call it in Simulink folder

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

ff8f35e0 11/14/2018 06:37 PM Pierre-Loïc Garoche

Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files

5a55fdd1 11/13/2018 04:15 PM Pierre-Loïc Garoche

Improved ctest configuration

952e86fa 06/09/2018 11:06 AM Bourbouh

add helpful_functions to the modules folder

d895591e 01/31/2018 10:01 AM Pierre-Loïc Garoche

More functions

29e431d5 12/13/2017 05:31 PM Pierre-Loïc Garoche

EMF validation

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

16bf5d3c 06/21/2017 11:42 PM Pierre-Loïc Garoche

Improved zustre output comparison

6d1a5792 05/18/2017 09:18 AM Pierre-Loïc Garoche

Improving Zustre output check

5945cfcc 05/05/2017 10:23 PM Pierre-Loïc Garoche

hints to drive search of lustrec binary

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

update automata/with_prop folder

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

factorize kind_fmcad08 in one cmake file

c79336a0 11/29/2016 02:52 AM Hamza Bourbouh

add strategie 1

7f14b1e1 11/24/2016 05:38 PM Hamza Bourbouh

add mpfr test

3b46acb1 11/22/2016 02:59 PM Hamza Bourbouh

add zustre

059d46aa 11/22/2016 02:35 PM Hamza Bourbouh

modify lustre_find

b406445c 11/22/2016 02:28 PM Hamza Bourbouh

add zustre

07e37d22 11/22/2016 02:15 PM Hamza Bourbouh

add testing script

4ce7401e 11/21/2016 10:20 PM Hamza Bourbouh

add linear_ctl

26c58229 11/21/2016 04:57 PM Hamza Bourbouh

add module helpfull functions

5c5b60f4 11/21/2016 04:27 PM Hamza Bourbouh

update clockes examples

02d89bbb 11/21/2016 03:29 PM Hamza Bourbouh

add automata folder to tests

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

add adrien test folder

f833854b 11/19/2016 07:07 PM Hamza Bourbouh

add memory2 tests

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

add targets

2d6a9bb3 11/18/2016 01:55 AM Hamza Bourbouh

compare Zustre xml with lustrec binary

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

270fffd4 11/12/2016 03:35 AM Hamza Bourbouh

compare C binary with reference outputs

eb639349 11/10/2016 06:08 PM Hamza Bourbouh

add regression tests with cmake