Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests @ 2051e520

# Date Author Comment
2051e520 07/25/2018 04:18 PM Arnaud Dieumegard

Added tests for vhdl import and export (pp)

fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch

75bb7d62 05/29/2018 09:56 AM Pierre-Loïc Garoche

Simple test to show cex with zustre

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

More functions

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

762f339c 12/20/2017 03:52 PM Bourbouh

add new format

b9724665 12/19/2017 02:24 AM Bourbouh

add json example for SF IR

5bed65ad 12/13/2017 05:32 PM Pierre-Loïc Garoche

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

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

MPFR and EMF checks

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

EMF validation

910349ce 12/13/2017 05:03 PM Bourbouh

Add stateflow json example

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

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

conditional use of zustre

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

hints to drive search of lustrec binary

f0008b5b 05/05/2017 10:22 PM Pierre-Loïc Garoche

- no Zustre does not interrupt test, it just disable horn related tests
- commit to cavale cdash(board) instead of my.cdash.org

1d64c816 05/02/2017 07:23 AM Pierre-Loïc Garoche

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

f36a76f7 05/02/2017 07:21 AM Pierre-Loïc Garoche

Added Jack and John's example: rendezvous maneuver

9aa80a95 01/13/2017 02:55 PM Pierre-Loïc Garoche

Example of integration of S-function code into Lustre.

908064d5 01/13/2017 01:53 PM Pierre-Loïc Garoche

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

f5c07b4e 01/13/2017 01:53 PM Pierre-Loïc Garoche

example of lustre node with external C code

985b4302 01/13/2017 01:50 PM Pierre-Loïc Garoche

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

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

0a169f3b 11/25/2016 04:53 PM Pierre-Loïc Garoche

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

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

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

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

90aa60de 11/10/2016 06:10 PM Hamza Bourbouh

add README

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

add regression tests with cmake

46fa5a52 11/09/2016 09:14 AM Pierre-Loïc Garoche

Cex of unschedulable node

f910b2ed 04/12/2016 12:50 AM Xavier Thirioux

added example in automata/restart_example.lus

0c2a0d1b 02/02/2016 06:55 PM Pierre-Loïc Garoche

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

8ff8fd6c 02/02/2016 06:54 PM Xavier Thirioux

tawoa

ca6eb7e0 01/21/2016 04:40 PM Pierre-Loïc Garoche

Generated file in Horn

ce7b20c9 01/15/2016 04:38 PM Xavier Thirioux

new version

202090d4 01/15/2016 04:20 PM Pierre-Loïc Garoche

more details

006b37e0 01/15/2016 04:18 PM Pierre-Loïc Garoche

more details

cab90631 01/15/2016 12:35 PM Pierre-Loïc Garoche

microwave basic

f20dc4db 01/15/2016 10:49 AM Pierre-Loïc Garoche

mini automata

604d5b37 12/10/2015 11:17 AM Pierre-Loïc Garoche

Import tests in fresh repo