Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / cocospec @ 1e3ae41f

Name Size Revision Age Author Comment
BacteriaPopulation.lus 3.63 KB dd2eeba6 over 2 years Bourbouh add another contract example
DaysEnum_PP.KIND2.lus 2.34 KB 1e3ae41f over 2 years Bourbouh add another contract example
ElevatorSpec.lus 8.86 KB c3af3032 almost 3 years Bourbouh add more contracts examples
StopwatchSpec.lus 3.28 KB c3af3032 almost 3 years Bourbouh add more contracts examples
StopwatchSpec2.lus 3.19 KB c3af3032 almost 3 years Bourbouh add more contracts examples
StopwatchSpecV2.lus 3.28 KB dd2eeba6 over 2 years Bourbouh add another contract example
bacteria.lus 3.63 KB c3af3032 almost 3 years Bourbouh add more contracts examples
bacteriaPopulationStateflow_PP.lus 37.9 KB 1e3ae41f over 2 years Bourbouh add another contract example
bacteriaPopulation_PP.lus 20 KB 1e3ae41f over 2 years Bourbouh add another contract example
refinement.lus 640 Bytes 5dfe059d almost 3 years Pierre-Loïc Garoche Cocospec
simple-ok.lus 414 Bytes c3af3032 almost 3 years Bourbouh add more contracts examples

Latest revisions

# Date Author Comment
1e3ae41f 02/24/2019 11:24 PM Bourbouh

add another contract example

dd2eeba6 02/24/2019 11:21 PM Bourbouh

add another contract example

5dfe059d 10/05/2018 07:53 PM Pierre-Loïc Garoche

Cocospec

c3af3032 09/28/2018 07:04 PM Bourbouh

add more contracts examples

6c964a9b 09/25/2018 01:08 PM Pierre-Loïc Garoche

Cocospec files

fd5381b7 05/30/2018 11:49 AM Bourbouh

stopwatch

View revisions

Also available in: Atom