Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/tests/automata @ 4784e95f

# Date Author Comment
0a169f3b 11/25/2016 04:53 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
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