Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
Generate_inputs_lusi.java 2.97 KB c79336a0 over 5 years Hamza Bourbouh add strategie 1
Lustre_compile.cmake 5.16 KB 5945cfcc about 5 years Pierre-Loïc Garoche hints to drive search of lustrec binary
XPathParser_lusi.java 8.14 KB 02d89bbb over 5 years Hamza Bourbouh add automata folder to tests
Zustre_compile.cmake 4.08 KB cac038b0 over 5 years Hamza Bourbouh factorize kind_fmcad08 in one cmake file
compare_lustrec_outputs.java 2.24 KB 7f14b1e1 over 5 years Hamza Bourbouh add mpfr test
compare_ref_zustre.cmake 1.9 KB 16bf5d3c about 5 years Pierre-Loïc Garoche Improved zustre output comparison
helpfull_functions.cmake 1.12 KB cac038b0 over 5 years Hamza Bourbouh factorize kind_fmcad08 in one cmake file
javax.xml-1.3.4.jar 232 KB 2d6a9bb3 over 5 years Hamza Bourbouh compare Zustre xml with lustrec binary
read_value.c 176 Bytes 6c3ea955 over 5 years Hamza Bourbouh add Simulink
strategies.cmake 16.8 KB 29e431d5 over 4 years Pierre-Loïc Garoche EMF validation

Latest revisions

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

View revisions

Also available in: Atom