Ubuntu
rumur package

rumur 2024.05.07-1 source package in Ubuntu

Changelog

rumur (2024.05.07-1) unstable; urgency=medium

  * New upstream release.
  * Fix inaccurate libatomic checks in autopkgtests. Closes: #1018205.
  * Fix Vcs-Browser URL. Closes: #1018202.
  * Add libxml2-utils, z3 to Build-Depends.
  * Add z3 to Suggests.
  * Update Copyright from 2019 to 2019-2024.
  * Update debian-compat Build-Depends from 12 to 13.
  * Update Standards-Version from 4.6.2 to 4.7.0.

 -- Matthew Fernandez <email address hidden>  Sun, 19 May 2024 07:24:59 +1000

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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
rumur_2024.05.07-1.dsc 2.0 KiB 84905e5f9a12d544bec1f1c97d2bfe1fa2bb5ed2085d662b1d34c33448dab80f
rumur_2024.05.07.orig.tar.gz 310.3 KiB bf09d11c173280cd4893f7fa452fa3bebe5ad9aae44ea2750e56772acc6ad092
rumur_2024.05.07-1.debian.tar.xz 6.1 KiB fb1314498ba18d7cfe8ed194977c6ec080716694c514d94a6c0e60977ece64c3

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