Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / modules @ ea143160

Name Size Revision Age Author Comment
Generate_inputs_lusi.java 2.99 KB 4748b215 about 1 year hbourbou add more simulink tests
Lustre_compile.cmake 5.58 KB 5a55fdd1 over 1 year Pierre-Loïc Garoche Improved ctest configuration
XPathParser_lusi.java 8.14 KB 02d89bbb about 3 years Hamza Bourbouh add automata folder to tests
Zustre_compile.cmake 4.08 KB cac038b0 about 3 years Hamza Bourbouh factorize kind_fmcad08 in one cmake file
compare_lustrec_outputs.java 2.24 KB 7f14b1e1 about 3 years Hamza Bourbouh add mpfr test
compare_ref_zustre.cmake 1.9 KB 16bf5d3c over 2 years Pierre-Loïc Garoche Improved zustre output comparison
helpful_functions.cmake 1.63 KB 952e86fa over 1 year Bourbouh add helpful_functions to the modules folder
javax.xml-1.3.4.jar 232 KB 2d6a9bb3 over 3 years Hamza Bourbouh compare Zustre xml with lustrec binary
read_value.c 176 Bytes 6c3ea955 over 3 years Hamza Bourbouh add Simulink
strategies.cmake 25.5 KB ea143160 8 months Pierre-Loïc Garoche Missing dep for ADA targets

Latest revisions

# 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

View revisions

Also available in: Atom