| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
PR: 21181
Submitted by: maintainer
Notes:
svn path=/head/; revision=32730
|
|
|
|
|
|
|
|
| |
PR: 19470
Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp>
Notes:
svn path=/head/; revision=29809
|
|
|
|
|
|
|
|
| |
PR: 18549
Submitted by: maintainer
Notes:
svn path=/head/; revision=28872
|
|
|
|
| |
Notes:
svn path=/head/; revision=28453
|
|
|
|
| |
Notes:
svn path=/head/; revision=27509
|
|
|
|
|
|
|
|
| |
PR: 16531
Submitted by: Maintainer
Notes:
svn path=/head/; revision=25616
|
|
|
|
|
|
|
|
|
|
| |
* Fix unfetchable distfiles
PR: 16321
Submitted by: Maintainer
Notes:
svn path=/head/; revision=25079
|
|
|
|
|
|
|
|
| |
PR: 15617
Submitted by: Maintainer
Notes:
svn path=/head/; revision=23951
|
|
|
|
|
|
|
|
| |
PR: ports/14252
Submitted by: jh@cr1003333-a.crdva1.bc.home.com
Notes:
svn path=/head/; revision=22353
|
|
|
|
|
|
|
|
| |
PR: 13620
Submitted by: Jonathan Hanna <pangolin@home.com>
Notes:
svn path=/head/; revision=21433
|
|
|
|
| |
Notes:
svn path=/head/; revision=21047
|
|
|
|
| |
Notes:
svn path=/head/; revision=20960
|
|
|
|
|
|
|
|
| |
PR: 13015
Submitted: maintainer
Notes:
svn path=/head/; revision=20662
|
|
|
|
|
|
|
|
| |
PR: 12373
Submitted by: maintainer
Notes:
svn path=/head/; revision=19757
|
|
|
|
| |
Notes:
svn path=/head/; revision=16642
|
|
|
|
|
|
|
|
| |
PR: 9732
Submitted by: maintainer
Notes:
svn path=/head/; revision=16638
|
|
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
Notes:
svn path=/head/; revision=15311
|