Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/tests @ b745c1a8

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 46fa5a52 about 8 years Pierre-Loïc Garoche Cex of unschedulable node
  clocks 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  cocospec ffe46d5f almost 6 years Pierre-Loïc Garoche Top level contracts are comments
  cocospec-orig 6c964a9b over 6 years Pierre-Loïc Garoche Cocospec files
  ctl f36a76f7 over 7 years Pierre-Loïc Garoche Added Jack and John's example: rendezvous maneuver
  external_code 9aa80a95 about 8 years Pierre-Loïc Garoche Example of integration of S-function code into ...
  kind_fmcad08 16bf5d3c over 7 years Pierre-Loïc Garoche Improved zustre output comparison
  lego_robot 16bf5d3c over 7 years Pierre-Loïc Garoche Improved zustre output comparison
  linear_ctl bd3f748f almost 6 years Pierre-Loïc Garoche guarantee(s)
  lusic dd2eeba6 almost 6 years Bourbouh add another contract example
  safety 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  silly 4f47032a over 6 years Pierre-Loïc Garoche Updates some expected outputs
  tcm 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  teme c79336a0 about 8 years Hamza Bourbouh add strategie 1
  tuples 604d5b37 about 9 years Pierre-Loïc Garoche Import tests in fresh repo
  zustre fd5381b7 over 6 years Bourbouh stopwatch

Latest revisions

# Date Author Comment
ffe46d5f 03/21/2019 09:41 PM Pierre-Loïc Garoche

Top level contracts are comments
3debaf88 03/21/2019 09:38 PM Pierre-Loïc Garoche

Removed mode labels
2a9aa5e1 03/21/2019 09:29 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
4784e95f 03/21/2019 09:29 PM Pierre-Loïc Garoche

Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
f0e4e301 03/21/2019 09:28 PM Pierre-Loïc Garoche

Moved files content in a single file
6ccfcb12 03/21/2019 08:25 PM hbourbou

add regulators cocospec example
bd3f748f 03/21/2019 05:12 PM Pierre-Loïc Garoche

guarantee(s)
f470cec6 03/14/2019 08:27 PM hbourbou

add more cocospec examples
1e3ae41f 02/24/2019 11:24 PM Bourbouh

add another contract example
dd2eeba6 02/24/2019 11:21 PM Bourbouh

add another contract example

View revisions

Also available in: Atom