Ubuntu
rumur package

rumur 2023.05.21-1 source package in Ubuntu

Changelog

rumur (2023.05.21-1) unstable; urgency=medium

  * New upstream release.
  * Fix build failures with GCC-13. Closes: #1037851.
  * Update Standards-Version from 4.6.0.1 to 4.6.2.
  * Relicense debian/ as Unlicense instead of GPL-3+.

 -- Matthew Fernandez <email address hidden>  Sat, 22 Jul 2023 09:45:32 +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
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
rumur_2023.05.21-1.dsc 1.8 KiB da6ceaca905fb75a00fb275c3e4b795c92cf986d692862823433bb07a25e02f0
rumur_2023.05.21.orig.tar.gz 309.7 KiB db3161adf57e746b1bd49b2a204db64d4ef3dd0a8211f4e92db401b24a391cd2
rumur_2023.05.21-1.debian.tar.xz 5.1 KiB 43719403f2ec72777c4a084c377cff11d9048b71fe7c1101b9297c8002b312ce

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