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: LTL

d .. (parent)
- - rw-r--r-- 488 bakery.pml
- - rw-r--r-- 1,076 diskhead.pml
- - rw-r--r-- 2,459 leader.pml
- - rw-r--r-- 2,866 leader_pre.pml
- - rw-r--r-- 83 ltl_always_eventually.pml
- - rw-r--r-- 97 ltl_example.pml
- - rw-r--r-- 2,646 ltl_gen.pml
- - rw-r--r-- 2,730 mobile1.pml
- - rw-r--r-- 2,575 mobile2.pml
- - rw-r--r-- 4,767 patterns.pml
- - rw-r--r-- 778 petersonN.pml
- - rw-r--r-- 3,976 pftp.pml
- - rw-r--r-- 1,020 salesman1.pml
- - rw-r--r-- 1,112 salesman2.pml
- - rw-r--r-- 1,733 train.pml
- - rw-r--r-- 1,473 zune.pml