lustrec-tests/tests/automata @ f20dc4db
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| aut1.lus | 256 Bytes | 604d5b37 | almost 8 years | Pierre-Loïc Garoche | Import tests in fresh repo |
| aut2.lus | 4.64 KB | 604d5b37 | almost 8 years | Pierre-Loïc Garoche | Import tests in fresh repo |
| counters.lus | 1.02 KB | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
| heater.lus | 2.67 KB | 604d5b37 | almost 8 years | Pierre-Loïc Garoche | Import tests in fresh repo |
| heater3.lus | 661 Bytes | 604d5b37 | almost 8 years | Pierre-Loïc Garoche | Import tests in fresh repo |
| heater4.lus | 316 Bytes | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
| test_counter.lus | 260 Bytes | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
| test_counter2.lus | 291 Bytes | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
| test_nok.lus | 295 Bytes | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
| test_ok.lus | 291 Bytes | f20dc4db | over 7 years | Pierre-Loïc Garoche | mini automata |
Latest revisions
Also available in: Atom