2010-11-01 15:10:38 by Kamel Derouiche | Files touched by this commit (5) | |
Log message: clone remove |
2010-07-16 23:53:06 by Kamel Derouiche | Files touched by this commit (4) |
Log message: wip-changes: =========== o Update to 5.2.5 o added Xspin |
2009-12-23 09:40:14 by Kamel Derouiche | Files touched by this commit (3) |
Log message: pkgsrc-changes ------------- o remove sxpin original package |
2009-10-20 14:52:49 by Kamel Derouiche | Files touched by this commit (3) | |
Log message: pkgsrc-changes: --------------- o update version |
2009-08-12 01:22:21 by Kamel Derouiche | Files touched by this commit (1) |
Log message: move new addrs maintainer |
2009-08-06 16:54:50 by Kamel Derouiche | Files touched by this commit (1) |
Log message: fixed xspin path |
2009-08-06 16:50:56 by Kamel Derouiche | Files touched by this commit (3) |
Log message: pkgsrc-changes: -------------- o Added dependency: Tk, Tcl o Added xspin in Makefile: xspin is a GUI spin |
2009-06-08 16:08:39 by Kamel Derouiche | Files touched by this commit (4) | |
Log message: Import spin-5.2.0 as wip/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. Spin uses a high level language to specify systems descriptions, called PROMELA (PROcess MEta LAnguage). |