package info (click to toggle)
spin 6.4.5%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 2,636 kB
  • ctags: 2,878
  • sloc: ansic: 40,035; yacc: 996; makefile: 37; sh: 5

Folder: Examples

d .. (parent)
d d rwxr-xr-x 4,096 Book_1991
d d rwxr-xr-x 4,096 Exercises
d d rwxr-xr-x 4,096 LTL
- - rw-r--r-- 10,016 README_tests.txt
- - rw-r--r-- 735 abp.pml
- - rw-r--r-- 686 calculator.pml
- - rw-r--r-- 4,153 cambridge.pml
- - rw-r--r-- 4,121 cobra.prog
- - rw-r--r-- 5,823 dtp.pml
- - rw-r--r-- 754 eratosthenes.pml
- - rw-r--r-- 307 for_example.pml
- - rw-r--r-- 876 for_select_example.pml
- - rw-r--r-- 1,055 hajek.pml
- - rw-r--r-- 41 hello.pml
- - rw-r--r-- 1,524 leader0.pml
- - rw-r--r-- 1,636 leader_trace.pml
- - rw-r--r-- 1,646 life.pml
- - rw-r--r-- 135 loops.pml
- - rw-r--r-- 398 manna_pnueli.pml
- - rwxr-xr-x 86,987 pan
- - rw-r--r-- 538 pan.b
- - rw-r--r-- 327,369 pan.c
- - rw-r--r-- 15,865 pan.h
- - rw-r--r-- 2,207 pan.m
- - rw-r--r-- 56,159 pan.p
- - rw-r--r-- 18,559 pan.t
- - rw-r--r-- 1,318 pathfinder.pml
- - rw-r--r-- 340 peterson.pml
- - rw-r--r-- 292 priorities.pml
- - rw-r--r-- 654 rtos1.pml
- - rw-r--r-- 187 sat.pml
- - rw-r--r-- 5,021 snoopy.pml
- - rw-r--r-- 1,539 sort.pml
- - rw-r--r-- 942 welfare.pml
- - rw-r--r-- 2,159 werkplaats.pml
- - rw-r--r-- 803 wordcount.pml