Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / automata @ 46fa5a52

Name Size Revision Age Author Comment
aut1.lus 256 Bytes 604d5b37 over 4 years Pierre-Loïc Garoche Import tests in fresh repo
aut2.lus 4.64 KB 604d5b37 over 4 years Pierre-Loïc Garoche Import tests in fresh repo
counters.lus 1.02 KB f20dc4db over 4 years Pierre-Loïc Garoche mini automata
counters.smt2 29.5 KB ca6eb7e0 over 4 years Pierre-Loïc Garoche Generated file in Horn
heater.lus 2.67 KB 604d5b37 over 4 years Pierre-Loïc Garoche Import tests in fresh repo
heater3.lus 661 Bytes 604d5b37 over 4 years Pierre-Loïc Garoche Import tests in fresh repo
heater4.lus 316 Bytes f20dc4db over 4 years Pierre-Loïc Garoche mini automata
microwave.lus 4.85 KB ce7b20c9 over 4 years Xavier Thirioux new version
tawoa_automata.lus 479 Bytes 8ff8fd6c over 4 years Xavier Thirioux tawoa
test_counter.lus 260 Bytes f20dc4db over 4 years Pierre-Loïc Garoche mini automata
test_counter2.lus 291 Bytes f20dc4db over 4 years Pierre-Loïc Garoche mini automata
test_nok.lus 295 Bytes f20dc4db over 4 years Pierre-Loïc Garoche mini automata
test_ok.lus 291 Bytes f20dc4db over 4 years Pierre-Loïc Garoche mini automata
triangle.lus 146 Bytes 46fa5a52 almost 4 years Pierre-Loïc Garoche Cex of unschedulable node
triangle.v4.inline.lus 2.59 KB 46fa5a52 almost 4 years Pierre-Loïc Garoche Cex of unschedulable node
triangle.v4.lus 2.46 KB 46fa5a52 almost 4 years Pierre-Loïc Garoche Cex of unschedulable node

Latest revisions

# Date Author Comment
46fa5a52 11/09/2016 09:14 AM Pierre-Loïc Garoche

Cex of unschedulable node

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

View revisions

Also available in: Atom