cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
daf308b431
freebsd-ports/math/spin/pkg-plist

136 lines
4.0 KiB
Plaintext
Raw Normal View History

Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
bin/spin
bin/xspin
Update to 3.4.2 PR: 23408 Submitted by: maintainer
2000-12-10 10:38:08 -05:00
bin/xspin342.tcl
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers
share/doc/spin/Doc/Book.samples
share/doc/spin/Doc/V1.Updates
share/doc/spin/Doc/V2.Updates
share/doc/spin/Doc/V3.Updates
share/doc/spin/Examples/ex.1a
share/doc/spin/Examples/ex.1b
share/doc/spin/Examples/ex.1c
share/doc/spin/Examples/ex.2
share/doc/spin/Examples/ex.3
share/doc/spin/Examples/ex.4b
share/doc/spin/Examples/ex.4c
share/doc/spin/Examples/ex.5a
share/doc/spin/Examples/ex.5b
share/doc/spin/Examples/ex.6
share/doc/spin/Examples/ex.7
share/doc/spin/Examples/ex.8
share/doc/spin/Examples/ex.9
share/doc/spin/Examples/ex.9b
share/doc/spin/Examples/ex.9c
share/doc/spin/Examples/ex.readme
share/doc/spin/HTML/Exercises.html
share/doc/spin/HTML/GettingStarted.html
share/doc/spin/HTML/Intro.html
share/doc/spin/HTML/Manual.html
share/doc/spin/HTML/Pan.html
share/doc/spin/HTML/Quick.html
share/doc/spin/HTML/README.html
share/doc/spin/HTML/Roadmap.html
share/doc/spin/HTML/Spin.html
share/doc/spin/HTML/WhatsNew.html
share/doc/spin/HTML/_.html
share/doc/spin/HTML/_last.html
share/doc/spin/HTML/_pid.html
share/doc/spin/HTML/accept.html
share/doc/spin/HTML/active.html
share/doc/spin/HTML/arrays.html
share/doc/spin/HTML/assert.html
share/doc/spin/HTML/assign.html
share/doc/spin/HTML/atomic.html
share/doc/spin/HTML/break.html
share/doc/spin/HTML/chan.html
share/doc/spin/HTML/comments.html
share/doc/spin/HTML/cond_expr.html
share/doc/spin/HTML/condition.html
share/doc/spin/HTML/d_step.html
share/doc/spin/HTML/datatypes.html
share/doc/spin/HTML/do.html
share/doc/spin/HTML/else.html
share/doc/spin/HTML/empty.html
share/doc/spin/HTML/enabled.html
share/doc/spin/HTML/end.html
share/doc/spin/HTML/eval.html
share/doc/spin/HTML/false.html
share/doc/spin/HTML/float.html
share/doc/spin/HTML/full.html
share/doc/spin/HTML/goto.html
share/doc/spin/HTML/grammar.html
share/doc/spin/HTML/hidden.html
share/doc/spin/HTML/hierarchy.html
share/doc/spin/HTML/if.html
share/doc/spin/HTML/index.html
share/doc/spin/HTML/init.html
share/doc/spin/HTML/inline.html
share/doc/spin/HTML/labels.html
share/doc/spin/HTML/len.html
Update spin to 3.30. PR: 12373 Submitted by: maintainer
1999-06-24 23:51:43 -04:00
share/doc/spin/HTML/local.html
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/HTML/ltl.html
share/doc/spin/HTML/macros.html
share/doc/spin/HTML/mtype.html
share/doc/spin/HTML/nempty.html
share/doc/spin/HTML/never.html
share/doc/spin/HTML/nfull.html
share/doc/spin/HTML/notrace.html
share/doc/spin/HTML/np_.html
share/doc/spin/HTML/pc_value.html
share/doc/spin/HTML/pointers.html
share/doc/spin/HTML/poll.html
share/doc/spin/HTML/printf.html
share/doc/spin/HTML/priority.html
share/doc/spin/HTML/probabilities.html
share/doc/spin/HTML/procedures.html
share/doc/spin/HTML/proctype.html
share/doc/spin/HTML/progress.html
share/doc/spin/HTML/promela.html
share/doc/spin/HTML/provided.html
share/doc/spin/HTML/rand.html
share/doc/spin/HTML/realtime.html
share/doc/spin/HTML/receive.html
share/doc/spin/HTML/remoterefs.html
share/doc/spin/HTML/run.html
share/doc/spin/HTML/scanf.html
share/doc/spin/HTML/send.html
share/doc/spin/HTML/separators.html
share/doc/spin/HTML/sequence.html
share/doc/spin/HTML/show.html
share/doc/spin/HTML/skip.html
Update spin to 3.30. PR: 12373 Submitted by: maintainer
1999-06-24 23:51:43 -04:00
share/doc/spin/HTML/stdin.html
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/HTML/timeout.html
share/doc/spin/HTML/trace.html
share/doc/spin/HTML/true.html
share/doc/spin/HTML/typedef.html
share/doc/spin/HTML/unless.html
share/doc/spin/HTML/xr.html
share/doc/spin/HTML/xs.html
share/doc/spin/Test/README.tests
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer
1999-02-11 21:48:58 -05:00
share/doc/spin/Test/abp
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/Test/erathostenes
share/doc/spin/Test/hello
share/doc/spin/Test/leader
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer
1999-02-11 21:48:58 -05:00
share/doc/spin/Test/leader.ltl
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/Test/leader2
share/doc/spin/Test/loops
Update to 3.4.1 PR: 21181 Submitted by: maintainer
2000-09-16 16:18:20 -04:00
share/doc/spin/Test/mobile1
share/doc/spin/Test/mobile1.ltl
share/doc/spin/Test/mobile2
share/doc/spin/Test/mobile2.ltl
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer
1999-02-11 21:48:58 -05:00
share/doc/spin/Test/pathfinder
share/doc/spin/Test/peterson
Update spin to 3.30. PR: 12373 Submitted by: maintainer
1999-06-24 23:51:43 -04:00
share/doc/spin/Test/petersonN
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
share/doc/spin/Test/pftp
share/doc/spin/Test/priorities
share/doc/spin/Test/snoopy
share/doc/spin/Test/sort
Update to 3.4.1 PR: 21181 Submitted by: maintainer
2000-09-16 16:18:20 -04:00
share/doc/spin/Test/wordcount
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 17:17:48 -05:00
@dirrm share/doc/spin/Test
@dirrm share/doc/spin/HTML
@dirrm share/doc/spin/Examples
@dirrm share/doc/spin/Doc
@dirrm share/doc/spin
Reference in New Issue Copy Permalink