Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success @ b745c1a8

# Date Author Comment
b745c1a8 07/04/2019 05:14 PM Pierre-Loïc Garoche

Renamed main node as top

e45f370e 03/22/2019 01:46 AM hbourbou

add case where emf order is not good

b58cc410 03/22/2019 01:39 AM hbourbou

add examples with clock

bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)

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

36b093bd 03/19/2019 03:21 AM hbourbou

cleanup src_many_files, regenerate input/output references

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

add more simulink tests

b03d5034 11/21/2018 03:44 AM hbourbou

add include test

6f6af7b8 11/16/2018 09:53 PM hbourbou

update zustre reference

16400d02 11/16/2018 04:13 AM Pierre-Loïc Garoche

Updated ref output

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

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

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

Updates some expected outputs

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

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

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

add strategie 1

47714cf4 11/25/2016 03:07 PM Hamza Bourbouh

add safety folder

4f76e5f5 11/25/2016 02:53 PM Hamza Bourbouh

add lusic CMakeLists

4d5a2e6e 11/25/2016 02:44 PM Hamza Bourbouh

add mpfr CMakeLists

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

add mpfr test

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

add linear_ctl

de6ea8a2 11/21/2016 04:45 PM Hamza Bourbouh

add lego_robot folder to tests

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

update clockes examples

b56f648d 11/21/2016 03:42 PM Hamza Bourbouh

add clocks folder to tests

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

b14ec4fb 11/19/2016 09:33 PM Hamza Bourbouh

add kind/simulation tests

e91600dd 11/19/2016 07:30 PM Hamza Bourbouh

add kind/protocol tests

8aaf9f57 11/19/2016 07:21 PM Hamza Bourbouh

add kind/misc tests

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

add memory2 tests

b7026160 11/19/2016 06:27 PM Hamza Bourbouh

add kind/memory1 test

b8dc00eb 11/18/2016 05:14 PM Hamza Bourbouh

change kind folder

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

7d3c8bd3 11/17/2016 10:23 AM Hamza Bourbouh

clean repo

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

6304ff63 11/13/2016 03:47 AM Hamza Bourbouh

add ctest for Stateflow

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