Ubuntu
rumur package

rumur 2020.02.17-1 source package in Ubuntu

Changelog

rumur (2020.02.17-1) unstable; urgency=medium

  * New upstream release.

  * The installed binary that was previously called rumur-ast-dump is now called
    murphi2xml, due to an upstream change.

  * Update autopkgtest tests to now reference murphi2xml instead of
    rumur-ast-dump.

  * The build test suite now runs single threaded, due to an upstream change,
    partially addressing #951497.

  * Correct watch file to only scan for upstream releases, instead of also
    matching Debian tags.

 -- Matthew Fernandez <email address hidden>  Tue, 18 Feb 2020 18:15:52 -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 Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
rumur_2020.02.17-1.dsc 2.0 KiB 5477a1191da2f47f73b24807243ce1e9f7e24af766580bb0d78464d3dad07e12
rumur_2020.02.17.orig.tar.gz 229.8 KiB 9ecc983cccf5db87db77e0e4a3e1ee6ab81f48b2d4a8734203ef401aef85a79c
rumur_2020.02.17-1.debian.tar.xz 4.4 KiB 12b1ea4267e22c4bb7d48e25e6e9ae6514ea4a570666654ca21f80279c1558b7

Available diffs

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