Bug#919220: marked as done (ITP: rumur -- model checker for the Murphi language)
Your message dated Fri, 13 Sep 2019 10:04:07 +0000
with message-id <E1i8iQx-0001rr-GC@fasolo.debian.org>
and subject line Bug#919220: fixed in rumur 2019.02.04-1
has caused the Debian Bug report #919220,
regarding ITP: rumur -- model checker for the Murphi language
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
919220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919220
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Matthew Fernandez <matthew.fernandez@gmail.com>
* Package name : rumur
Version : 2019.01.12
Upstream Author : Matthew Fernandez <matthew.fernandez@gmail.com>
* URL : https://github.com/Smattr/rumur
* License : The Unlicense
Programming Lang: C, C++, Python
Description : 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.
The Murphi modelling language has been used extensively for hardware
verification, in particular for analysing cache coherence protocols. Rumur is
able to improve existing users’ work flow by decreasing the time to check these
models. I am not aware of any other Debian packages that provide this
functionality; existing CMurphi users generally build the tool from source.
I am the sole developer and maintainer of this tool and intend to be its
Debian maintainer as well. I have not packaged or maintained a tool for Debian
before, so I am looking for a sponsor.
--- End Message ---
--- Begin Message ---
Source: rumur
Source-Version: 2019.02.04-1
We believe that the bug you reported is fixed in the latest version of
rumur, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 919220@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthew Fernandez <matthew.fernandez@gmail.com> (supplier of updated rumur package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 4 Feb 2019 18:46:36 -0800
Source: rumur
Binary: rumur rumur-dbgsym
Architecture: source amd64
Version: 2019.02.04-1
Distribution: unstable
Urgency: medium
Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
Changed-By: Matthew Fernandez <matthew.fernandez@gmail.com>
Description:
rumur - model checker for the Murphi language
Closes: 919220
Changes:
rumur (2019.02.04-1) unstable; urgency=medium
.
* Initial release. Closes: #919220.
Checksums-Sha1:
d448ec7661a6248c69bc9b695cdd918fc0cafd1c 1954 rumur_2019.02.04-1.dsc
5165e25379b1a61cdd6eda80569f0c1ad7573f5a 116580 rumur_2019.02.04.orig.tar.gz
9c288184b727a56a9289bc12dd9269d29be925d3 2636 rumur_2019.02.04-1.debian.tar.xz
d17c64db6fa5316a11d6a38a5ee8ab7158e68384 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb
768f240bb69e501b07a4d89a8039416eecb05ebc 7063 rumur_2019.02.04-1_amd64.buildinfo
8e6eab37d295c4097be167ecf9300812c4de3f32 457784 rumur_2019.02.04-1_amd64.deb
Checksums-Sha256:
797e793d2e4ac072f234a613aad5403149833d657ccc3ef540c4524157334314 1954 rumur_2019.02.04-1.dsc
28ee42bae0d96041f69f4245cd5c4d063d763f0cac9c6481ebd070b77f58328f 116580 rumur_2019.02.04.orig.tar.gz
a4f229208b28480b19551e0ee744c026cc5a5097cfbe28ad5f48fed74d0d354e 2636 rumur_2019.02.04-1.debian.tar.xz
50c0d8988325f99aaeb16fb3264be5ca891636ef2f54b9856fc74008f0686b15 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb
6859959a74a3a6f0e72ae22aae668cca899e8fbb2d543e2e8f9ef7f5563c68ba 7063 rumur_2019.02.04-1_amd64.buildinfo
b193c3e751074ad049f3eb7bfbfb63814adc849fce27bc6142e7264682dc65c2 457784 rumur_2019.02.04-1_amd64.deb
Files:
ba40fe957b87dfacbc58354d75cd7399 1954 devel optional rumur_2019.02.04-1.dsc
f148439bd3cf147e8d243e09e6763f1a 116580 devel optional rumur_2019.02.04.orig.tar.gz
fb7ab922f62ebadf04571095643612d1 2636 devel optional rumur_2019.02.04-1.debian.tar.xz
8e9e83d23efab70cae156e68bce58a56 6188588 debug optional rumur-dbgsym_2019.02.04-1_amd64.deb
bb97f9d4cdad7605c00e5061166c1f8f 7063 devel optional rumur_2019.02.04-1_amd64.buildinfo
64edb2b8660a5a639466608608af6f6f 457784 devel optional rumur_2019.02.04-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEExyA8CpIGcL+U8AuxsB0acqyNyaEFAlxb31kPHGpjY0BkZWJp
YW4ub3JnAAoJELAdGnKsjcmh5sUP/i91y4XA8Eo2jeKVwJJCW2jg/5pIGCky+vWY
o0Y9K/nK85zi5f8TSuWlzNb8hIiAoTIhqr/3sAYOzCplOQXgUJ7OenQ7HQR3AYSz
1qe70u50MxDJDrIUqtzxZkBxVHa/wsTPtqRIjScWMSTiJf1L/bBWeVOxieDLoc8M
dbJPX/edQzSPAAyBXxQ4/CMd+2DXpZ2sgxQsJYMF9dedQ2YkjIZnFhq++M6FCObc
Wrzo86WRwds5SORq8JlTrH+XeIPQ+7qTcTOsFug/3jJg4Zun06TKAOq8c6oEy0Fv
Kdfa2mHcW56RDsqB31VxIJDd6Drf9mfn4Skulidc3l8ad/Ls1RtI+h0aw1+jwNz7
HE+Ogwycx07MNoL10PwL//mjKi69C7vOqETNpg6pcWpR+LqC/k+dUlXeYLk42NkR
eFEZCoRlZAS8+9J1SObL+jO7UQdnZXrAg3qVfVnSXSvyWUcvmqhX0/i6LVmPlAkd
hEfVTLFPwqymyGU5Idvh0tmgzEVNynFXZo3z2GPeidqlEiddZAOIA1SGjnw6dyuk
MtAlzH88acxZEnQ22ypSm/5diOqpWQmbtva9RnjH7Lxm7VLBfeYhZHUj5WIfIhsm
qzoT507cJcxHzy2aZZcNzhxHjhrRiaupIxGcngB5ypjFiQUqiDVqTxVP/g7EUCGn
ehxqjqyb
=5tnl
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: