lustrec-tests/tests/cocospec @ 6ccfcb12
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| BacteriaPopulation.lus | 3.72 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| DaysEnum_PP.KIND2.lus | 2.35 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| ElevatorSpec.lus | 8.87 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| FSMAutopilotSpec.lus | 2.43 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| FSMSensorSpec.lus | 1.27 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| FSMSpec.lus | 1.56 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| StopwatchSpec.lus | 3.29 KB | bd3f748f | about 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.28 KB | dd2eeba6 | about 6 years | Bourbouh | add another contract example |
| TriplexSignalMonitorSpec.lus | 5.75 KB | 6ccfcb12 | about 6 years | hbourbou | add regulators cocospec example |
| bacteria.lus | 3.68 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| bacteriaPopulationStateflow_PP.lus | 37.9 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| bacteriaPopulation_PP.lus | 20 KB | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| integrator_12BWithoutModesAndInitialization.lus | 2.39 KB | 6ccfcb12 | about 6 years | hbourbou | add regulators cocospec example |
| refinement.lus | 639 Bytes | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
| regulator_12B_Spec.lus | 4.42 KB | 6ccfcb12 | about 6 years | hbourbou | add regulators cocospec example |
| simple_ok.lus | 442 Bytes | bd3f748f | about 6 years | Pierre-Loïc Garoche | guarantee(s) |
Latest revisions
Also available in: Atom