Port details on branch 2022Q2 |
- rumur Model checker, a formal verification tool for state machines
- 2023.11.27 math =0 2023.11.27Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2019-06-03 01:48:37
- Last Update: 2023-12-23 07:57:23
- Commit Hash: 035e627
- License: PD
- WWW:
- https://github.com/Smattr/rumur
- Description:
- Rumur is a model checker, a formal verification tool for proving safety and
security properties of systems represented as state machines. It is based on a
previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur
takes the same input format as CMurphi, the Murphi modelling language, with some
extensions and generates a C program that implements a verifier.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/rumur/ && make install clean
- To add the package, run one of these commands:
- pkg install math/rumur
- pkg install rumur
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: rumur
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1703315832
SHA256 (Smattr-rumur-v2023.11.27_GH0.tar.gz) = af7653196b5a651697ff232ca5bef6e7b175aaa95653e33a40cd91587fed5d4f
SIZE (Smattr-rumur-v2023.11.27_GH0.tar.gz) = 318263
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bison : devel/bison
- cmake : devel/cmake-core
- ninja : devel/ninja
- python3.9 : lang/python39
- Library dependencies:
-
- libgmpxx.so : math/gmp
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_rumur
- USES:
- bison cmake compiler:c++11-lang python:build shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|