-rwxr-xr-x | 961 | Makefile | blob | blame | raw |
-rwxr-xr-x | 46 | commit_sum.ltl | blob | blame | raw |
-rwxr-xr-x | 350 | defines | blob | blame | raw |
-rwxr-xr-x | 48 | events_lost.ltl | blob | blame | raw |
lrwxrwxrwx | 20 | model.spin -> models/model_03.spin | blob | blame | raw |
-rwxr-xr-x | 1534 | model.spin.trail | blob | blame | raw |
drwxr-xr-x | - | models | tree |
-rwxr-xr-x | 47 | no_events_lost.ltl | blob | blame | raw |
-rwxr-xr-x | 36 | read_write.ltl | blob | blame | raw |