corner image corner image corner image corner image Debian NEW package overview for rumur
rumur_2019.02.04-1_amd64.changes (click to toggle)
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.
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
rumur_2019.02.04-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:rumur
Binary:rumur
Architecture:any
Version:2019.02.04-1
Maintainer:Matthew Fernandez <matthew.fernandez@gmail.com>
Homepage:https://github.com/Smattr/rumur
Standards-Version:4.3.0
Vcs-Browser:https://github.com/Smattr/rumur.git
Vcs-Git:https://github.com/Smattr/rumur.git -b debian/packaging
Build-Depends:debhelper-compat (=12), bison (>=3.0), cmake (>=3.1), flex (>=2.5.35), libfl-dev, libgmp-dev, python, xxd
Package-List:rumur deb devel optional arch=any
Files:
f148439bd3cf147e8d243e09e6763f1a 116580 rumur_2019.02.04.orig.tar.gz
fb7ab922f62ebadf04571095643612d1 2636 rumur_2019.02.04-1.debian.tar.xz
lintian 2.5.123~bpo9+1 check for rumur_2019.02.04-1.dsc (click to toggle)
README.source for rumur_2019.02.04-1.dsc (click to toggle)
No README.source in this package
control file for rumur_2019.02.04-1_amd64.deb (click to toggle)
Package:rumur
Version:2019.02.04-1
Architecture:amd64
Maintainer:Matthew Fernandez <matthew.fernandez@gmail.com>
Installed-Size:3216
Depends:libc6 (>=2.14), libgcc1 (>=1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>=5.2)
Suggests:python
Section:devel
Priority:optional
Homepage:https://github.com/Smattr/rumur
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. 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.
lintian 2.5.123~bpo9+1 check for rumur_2019.02.04-1_amd64.deb (click to toggle)
contents of rumur_2019.02.04-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-02-05 02:46 ./
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/bin/
-rwxr-xr-x root/root    890984 2019-02-05 02:46 ./usr/bin/rumur
-rwxr-xr-x root/root    661960 2019-02-05 02:46 ./usr/bin/rumur-ast-dump
-rwxr-xr-x root/root      3841 2019-02-05 02:46 ./usr/bin/rumur-run
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/include/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/include/rumur/
-rw-r--r-- root/root       157 2019-02-05 02:46 ./usr/include/rumur/Boolean.h
-rw-r--r-- root/root      3147 2019-02-05 02:46 ./usr/include/rumur/Decl.h
-rw-r--r-- root/root     12557 2019-02-05 02:46 ./usr/include/rumur/Expr.h
-rw-r--r-- root/root       824 2019-02-05 02:46 ./usr/include/rumur/Function.h
-rw-r--r-- root/root      1050 2019-02-05 02:46 ./usr/include/rumur/Model.h
-rw-r--r-- root/root       596 2019-02-05 02:46 ./usr/include/rumur/Node.h
-rw-r--r-- root/root       784 2019-02-05 02:46 ./usr/include/rumur/Number.h
-rw-r--r-- root/root       532 2019-02-05 02:46 ./usr/include/rumur/Property.h
-rw-r--r-- root/root      2018 2019-02-05 02:46 ./usr/include/rumur/Ptr.h
-rw-r--r-- root/root      2477 2019-02-05 02:46 ./usr/include/rumur/Rule.h
-rw-r--r-- root/root      4846 2019-02-05 02:46 ./usr/include/rumur/Stmt.h
-rw-r--r-- root/root      1166 2019-02-05 02:46 ./usr/include/rumur/Symtab.h
-rw-r--r-- root/root      4190 2019-02-05 02:46 ./usr/include/rumur/TypeExpr.h
-rw-r--r-- root/root       397 2019-02-05 02:46 ./usr/include/rumur/except.h
-rw-r--r-- root/root      2308 2019-02-05 02:46 ./usr/include/rumur/indexer.h
-rw-r--r-- root/root      8647 2019-02-05 02:46 ./usr/include/rumur/location.hh
-rw-r--r-- root/root       586 2019-02-05 02:46 ./usr/include/rumur/parse.h
-rw-r--r-- root/root     67845 2019-02-05 02:46 ./usr/include/rumur/parser.yy.hh
-rw-r--r-- root/root       400 2019-02-05 02:46 ./usr/include/rumur/position.hh
-rw-r--r-- root/root       250 2019-02-05 02:46 ./usr/include/rumur/resolve-symbols.h
-rw-r--r-- root/root       722 2019-02-05 02:46 ./usr/include/rumur/rumur.h
-rw-r--r-- root/root       844 2019-02-05 02:46 ./usr/include/rumur/scanner.h
-rw-r--r-- root/root       319 2019-02-05 02:46 ./usr/include/rumur/stack.hh
-rw-r--r-- root/root     16379 2019-02-05 02:46 ./usr/include/rumur/traverse.h
-rw-r--r-- root/root       219 2019-02-05 02:46 ./usr/include/rumur/validate.h
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root   1551516 2019-02-05 02:46 ./usr/lib/x86_64-linux-gnu/librumur.a
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/doc/rumur/
-rw-r--r-- root/root      2177 2019-02-05 02:46 ./usr/share/doc/rumur/README.rst
-rw-r--r-- root/root       163 2019-02-05 02:46 ./usr/share/doc/rumur/changelog.Debian.gz
-rw-r--r-- root/root      3279 2019-02-05 02:46 ./usr/share/doc/rumur/changelog.gz
-rw-r--r-- root/root      2394 2019-02-02 02:44 ./usr/share/doc/rumur/copyright
-rw-r--r-- root/root      4000 2019-02-05 02:46 ./usr/share/doc/rumur/vs-cmurphi.rst
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/man/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/man/man1/
-rw-r--r-- root/root       403 2019-02-05 02:46 ./usr/share/man/man1/rumur-ast-dump.1.gz
-rw-r--r-- root/root       267 2019-02-05 02:46 ./usr/share/man/man1/rumur-run.1.gz
-rw-r--r-- root/root      3619 2019-02-05 02:46 ./usr/share/man/man1/rumur.1.gz
control file for rumur-dbgsym_2019.02.04-1_amd64.deb (click to toggle)
Package:rumur-dbgsym
Source:rumur
Version:2019.02.04-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Matthew Fernandez <matthew.fernandez@gmail.com>
Installed-Size:6511
Depends:rumur (=2019.02.04-1)
Section:debug
Priority:optional
Description:
debug symbols for rumur
Build-Ids:0b618efae07228d4d53aaac9cd6685a7b5d97a8d 38b42ff9397b03e305ccc3312e7eb81ff528a472
lintian 2.5.123~bpo9+1 check for rumur-dbgsym_2019.02.04-1_amd64.deb (click to toggle)
contents of rumur-dbgsym_2019.02.04-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-02-05 02:46 ./
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/.build-id/0b/
-rw-r--r-- root/root   3074152 2019-02-05 02:46 ./usr/lib/debug/.build-id/0b/618efae07228d4d53aaac9cd6685a7b5d97a8d.debug
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/.build-id/38/
-rw-r--r-- root/root   2747696 2019-02-05 02:46 ./usr/lib/debug/.build-id/38/b42ff9397b03e305ccc3312e7eb81ff528a472.debug
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/.dwz/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/lib/debug/.dwz/x86_64-linux-gnu/
-rw-r--r-- root/root    830392 2019-02-05 02:46 ./usr/lib/debug/.dwz/x86_64-linux-gnu/rumur.debug
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/
drwxr-xr-x root/root         0 2019-02-05 02:46 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-02-05 02:46 ./usr/share/doc/rumur-dbgsym -> rumur

Timestamp: 07.02.2019 / 09:01:18 (UTC)