rumur 2019.12.22-1 source package in Ubuntu
Changelog
rumur (2019.12.22-1) unstable; urgency=medium * New upstream release. * Switch all Python references to Python 3. Closes: #943253. * Update Standards-Version from 4.3.0 to 4.4.1. * Remove xxd dependency. Upstream changed to no longer rely on xxd. * Correct Vcs-Git URL typo. * Remove manpages file. Upstream already installed man pages at the correct path, so this file was doing unnecessary duplicate work. * Integrate upstream test suite into Debian packaging steps as a Test-Command. * Update RUMUR_VERSION variable in rules from 2019.02.04-1 to 2019.12.22-1. -- Matthew Fernandez <email address hidden> Mon, 23 Dec 2019 18:52:50 -0800
Upload details
- Uploaded by:
- Matthew Fernandez
- Uploaded to:
- Sid
- Original maintainer:
- Matthew Fernandez
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
rumur_2019.12.22-1.dsc | 1.9 KiB | 241792b92395719409cb5f7358931422e2844d3f3182e38c09301df6ec6c13bf |
rumur_2019.12.22.orig.tar.gz | 211.2 KiB | 09c17c61ed634099ac2052630df6c44b394491235b175e451db494734c1d961b |
rumur_2019.12.22-1.debian.tar.xz | 2.9 KiB | cb07ee8734e07f6476e1eedc93ef1860b2920ed074eb24cc11ba423ab59ade4a |
Available diffs
- diff from 2019.02.04-1 to 2019.12.22-1 (199.2 KiB)
No changes file available.
Binary packages built by this source
- rumur: model checker for the Murphi language
Rumur is a model checker for use in the formal verification of finite state
machines specified in the Murphi modelling language. It is based on a previous
tool, CMurphi, and attempts to provide an approximate drop-in replacement for
CMurphi.
.
Rumur works by reading an input file describing a collection of state variables
and transition rules, from which it generates a C program to verify safety and
security properties of this state machine. The generated verifier works by
exhaustively exploring the state space, checking for violation of invariants or
deadlocks.
.
In comparison to CMurphi, Rumur generates a verifier that runs significantly
faster and uses less memory on large input problems. Rumur comes with an
optional wrapper script, rumur-run, that streamlines the process of generating
a verifier, compiling it, and then running it. This wrapper requires Python.
- rumur-dbgsym: debug symbols for rumur