Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/tests @ 6304ff63

Name Size Revision Age Author Comment
  adrien 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  arrays_arnaud 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  automata f910b2ed almost 9 years Xavier Thirioux added example in automata/restart_example.lus
  clocks 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  kind_fmcad08 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  lego_robot 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  linear_ctl 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  lusic 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  safety 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  silly 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  tcm 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  teme 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  tuples 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo

Latest revisions

# Date Author Comment
f910b2ed 04/12/2016 12:50 AM Xavier Thirioux

added example in automata/restart_example.lus
8ff8fd6c 02/02/2016 06:54 PM Xavier Thirioux

tawoa
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