Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / modules @ 952e86fa

Name Size Revision Age Author Comment
Generate_inputs_lusi.java 2.97 KB c79336a0 over 3 years Hamza Bourbouh add strategie 1
Lustre_compile.cmake 5.55 KB 952e86fa about 2 years Bourbouh add helpful_functions to the modules folder
XPathParser_lusi.java 8.14 KB 02d89bbb over 3 years Hamza Bourbouh add automata folder to tests
Zustre_compile.cmake 4.08 KB cac038b0 over 3 years Hamza Bourbouh factorize kind_fmcad08 in one cmake file
compare_lustrec_outputs.java 2.24 KB 7f14b1e1 over 3 years Hamza Bourbouh add mpfr test
compare_ref_zustre.cmake 1.9 KB 16bf5d3c about 3 years Pierre-Loïc Garoche Improved zustre output comparison
helpful_functions.cmake 1.63 KB 952e86fa about 2 years 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 20.5 KB d895591e over 2 years Pierre-Loïc Garoche More functions

Latest revisions

# Date Author Comment
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

View revisions

Also available in: Atom