Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests @ 2051e520

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

16bf5d3c 06/21/2017 11:42 PM Pierre-Loïc Garoche

Improved zustre output comparison

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

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

4f76e5f5 11/25/2016 02:53 PM Hamza Bourbouh

add lusic CMakeLists

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