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