Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

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

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

update clockes examples

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

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

add memory2 tests

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

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

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