lustrec-tests/tests/cocospec @ b745c1a8
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| BacteriaPopulation.lus | 3.72 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| DaysEnum_PP.KIND2.lus | 2.35 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| ElevatorSpec.lus | 10.3 KB | 3debaf88 | almost 6 years | Pierre-Loïc Garoche | Removed mode labels |
| FSMSpec.lus | 5.26 KB | f0e4e301 | almost 6 years | Pierre-Loïc Garoche | Moved files content in a single file |
| StopwatchSpec.lus | 3.29 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| StopwatchSpec2.lus | 3.19 KB | c3af3032 | over 6 years | Bourbouh | add more contracts examples |
| StopwatchSpecV2.lus | 3.29 KB | 4784e95f | almost 6 years | Pierre-Loïc Garoche | Small modifications to have the tests ok: we do... |
| TriplexSignalMonitorSpec.lus | 5.75 KB | 6ccfcb12 | almost 6 years | hbourbou | add regulators cocospec example |
| bacteria.lus | 3.68 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| bacteriaPopulationStateflow_PP.lus | 37.9 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| bacteriaPopulation_PP.lus | 20 KB | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
| integrator_12BWithoutModesAndInitialization.lus | 2.39 KB | 6ccfcb12 | almost 6 years | hbourbou | add regulators cocospec example |
| refinement.lus | 651 Bytes | 4784e95f | almost 6 years | Pierre-Loïc Garoche | Small modifications to have the tests ok: we do... |
| regulator_12B_Spec.lus | 4.44 KB | ffe46d5f | almost 6 years | Pierre-Loïc Garoche | Top level contracts are comments |
| simple_ok.lus | 442 Bytes | bd3f748f | almost 6 years | Pierre-Loïc Garoche | guarantee(s) |
Latest revisions
Also available in: Atom