{ "diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b1/mcrl2_201409.0-1_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b2/mcrl2_201409.0-1_i386.changes", "unified_diff": null, "details": [ { "source1": "Files", "source2": "Files", "unified_diff": "@@ -1,3 +1,3 @@\n \n 2b146b62b9e4aaed06b2ae8eea89af31 656404 debug optional mcrl2-dbgsym_201409.0-1_i386.deb\n- 37e11063a2f9440a37de3623afcfa4d2 7917420 math extra mcrl2_201409.0-1_i386.deb\n+ 5ccfc7eef264476c4ab344665ec51b58 7917132 math extra mcrl2_201409.0-1_i386.deb\n" }, { "source1": "mcrl2_201409.0-1_i386.deb", "source2": "mcrl2_201409.0-1_i386.deb", "unified_diff": null, "details": [ { "source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r-- 0 0 0 4 2014-09-06 21:34:26.000000 debian-binary\n--rw-r--r-- 0 0 0 25456 2014-09-06 21:34:26.000000 control.tar.xz\n--rw-r--r-- 0 0 0 7891772 2014-09-06 21:34:26.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 25440 2014-09-06 21:34:26.000000 control.tar.xz\n+-rw-r--r-- 0 0 0 7891500 2014-09-06 21:34:26.000000 data.tar.xz\n" }, { "source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [ { "source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [ { "source1": "./control", "source2": "./control", "unified_diff": "@@ -1,12 +1,12 @@\n Package: mcrl2\n Version: 201409.0-1\n Architecture: i386\n Maintainer: Sjoerd Cranen \n-Installed-Size: 42257\n+Installed-Size: 42256\n Depends: libc6 (>= 2.27), libgcc1 (>= 1:3.4), libgl1, libgl2ps1.4, libglu1-mesa | libglu1, libqt4-opengl (>= 4:4.5.3), libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.8.0), libqtgui4 (>= 4:4.8.0), libstdc++6 (>= 5.2)\n Section: math\n Priority: extra\n Homepage: http://www.mcrl2.org/\n Description: formal specification language toolset\n mCRL2 stands for micro Common Representation Language 2. It is a\n specification language that can be used to specify and analyse the\n" }, { "source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [ { "source1": "./md5sums", "source2": "./md5sums", "comments": [ "Files differ" ], "unified_diff": null } ] } ] } ] }, { "source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [ { "source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [ { "source1": "file list", "source2": "file list", "unified_diff": "@@ -1109,55 +1109,55 @@\n drwxr-xr-x 0 root (0) root (0) 0 2014-09-06 21:34:26.000000 ./usr/share/icons/hicolor/96x96/apps/\n -rw-r--r-- 0 root (0) root (0) 4086 2014-08-05 09:12:42.000000 ./usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png\n -rw-r--r-- 0 root (0) root (0) 5113 2014-08-05 09:12:42.000000 ./usr/share/icons/hicolor/96x96/apps/mcrl2-green.png\n -rw-r--r-- 0 root (0) root (0) 4457 2014-08-05 09:12:42.000000 ./usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png\n -rw-r--r-- 0 root (0) root (0) 4085 2014-08-05 09:12:42.000000 ./usr/share/icons/hicolor/96x96/apps/mcrl2-red.png\n drwxr-xr-x 0 root (0) root (0) 0 2014-09-06 21:34:26.000000 ./usr/share/man/\n drwxr-xr-x 0 root (0) root (0) 0 2014-09-06 21:34:26.000000 ./usr/share/man/man1/\n--rw-r--r-- 0 root (0) root (0) 958 2014-09-06 21:34:26.000000 ./usr/share/man/man1/besinfo.1.gz\n--rw-r--r-- 0 root (0) root (0) 904 2014-09-06 21:34:26.000000 ./usr/share/man/man1/bespp.1.gz\n--rw-r--r-- 0 root (0) root (0) 919 2014-09-06 21:34:26.000000 ./usr/share/man/man1/diagraphica.1.gz\n--rw-r--r-- 0 root (0) root (0) 3517 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2lts.1.gz\n--rw-r--r-- 0 root (0) root (0) 1116 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2pbes.1.gz\n--rw-r--r-- 0 root (0) root (0) 1031 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2torx.1.gz\n--rw-r--r-- 0 root (0) root (0) 1248 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsactionrename.1.gz\n--rw-r--r-- 0 root (0) root (0) 1022 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsbinary.1.gz\n--rw-r--r-- 0 root (0) root (0) 1699 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsconfcheck.1.gz\n--rw-r--r-- 0 root (0) root (0) 1209 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsconstelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 824 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsinfo.1.gz\n+-rw-r--r-- 0 root (0) root (0) 956 2014-09-06 21:34:26.000000 ./usr/share/man/man1/besinfo.1.gz\n+-rw-r--r-- 0 root (0) root (0) 902 2014-09-06 21:34:26.000000 ./usr/share/man/man1/bespp.1.gz\n+-rw-r--r-- 0 root (0) root (0) 918 2014-09-06 21:34:26.000000 ./usr/share/man/man1/diagraphica.1.gz\n+-rw-r--r-- 0 root (0) root (0) 3514 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2lts.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1114 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2pbes.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1030 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lps2torx.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1245 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsactionrename.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1020 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsbinary.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1697 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsconfcheck.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1207 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsconstelm.1.gz\n+-rw-r--r-- 0 root (0) root (0) 822 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsinfo.1.gz\n -rw-r--r-- 0 root (0) root (0) 1704 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsinvelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 912 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsparelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 1160 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsparunfold.1.gz\n--rw-r--r-- 0 root (0) root (0) 977 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpspp.1.gz\n--rw-r--r-- 0 root (0) root (0) 1025 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsrewr.1.gz\n--rw-r--r-- 0 root (0) root (0) 999 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssim.1.gz\n--rw-r--r-- 0 root (0) root (0) 911 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssumelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 1147 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssuminst.1.gz\n--rw-r--r-- 0 root (0) root (0) 869 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsuntime.1.gz\n--rw-r--r-- 0 root (0) root (0) 1034 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsxsim.1.gz\n--rw-r--r-- 0 root (0) root (0) 969 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lts2lps.1.gz\n--rw-r--r-- 0 root (0) root (0) 1068 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lts2pbes.1.gz\n--rw-r--r-- 0 root (0) root (0) 1459 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltscompare.1.gz\n--rw-r--r-- 0 root (0) root (0) 1654 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsconvert.1.gz\n--rw-r--r-- 0 root (0) root (0) 861 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsgraph.1.gz\n--rw-r--r-- 0 root (0) root (0) 1023 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsinfo.1.gz\n--rw-r--r-- 0 root (0) root (0) 1034 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsview.1.gz\n--rw-r--r-- 0 root (0) root (0) 783 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2-gui.1.gz\n--rw-r--r-- 0 root (0) root (0) 2767 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl22lps.1.gz\n+-rw-r--r-- 0 root (0) root (0) 910 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsparelm.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1159 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsparunfold.1.gz\n+-rw-r--r-- 0 root (0) root (0) 975 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpspp.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1023 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsrewr.1.gz\n+-rw-r--r-- 0 root (0) root (0) 997 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssim.1.gz\n+-rw-r--r-- 0 root (0) root (0) 909 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssumelm.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1145 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpssuminst.1.gz\n+-rw-r--r-- 0 root (0) root (0) 866 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsuntime.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1032 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lpsxsim.1.gz\n+-rw-r--r-- 0 root (0) root (0) 968 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lts2lps.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1066 2014-09-06 21:34:26.000000 ./usr/share/man/man1/lts2pbes.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1457 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltscompare.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1651 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsconvert.1.gz\n+-rw-r--r-- 0 root (0) root (0) 859 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsgraph.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1021 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsinfo.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1033 2014-09-06 21:34:26.000000 ./usr/share/man/man1/ltsview.1.gz\n+-rw-r--r-- 0 root (0) root (0) 785 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2-gui.1.gz\n+-rw-r--r-- 0 root (0) root (0) 2764 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl22lps.1.gz\n -rw-r--r-- 0 root (0) root (0) 783 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2compilerewriter.1.gz\n--rw-r--r-- 0 root (0) root (0) 1503 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2i.1.gz\n--rw-r--r-- 0 root (0) root (0) 958 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2xi.1.gz\n--rw-r--r-- 0 root (0) root (0) 2195 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbes2bes.1.gz\n--rw-r--r-- 0 root (0) root (0) 2271 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbes2bool.1.gz\n--rw-r--r-- 0 root (0) root (0) 1360 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesconstelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 974 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesinfo.1.gz\n--rw-r--r-- 0 root (0) root (0) 1016 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesparelm.1.gz\n--rw-r--r-- 0 root (0) root (0) 1334 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbespgsolve.1.gz\n--rw-r--r-- 0 root (0) root (0) 941 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbespp.1.gz\n--rw-r--r-- 0 root (0) root (0) 1306 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesrewr.1.gz\n--rw-r--r-- 0 root (0) root (0) 1053 2014-09-06 21:34:26.000000 ./usr/share/man/man1/tracepp.1.gz\n--rw-r--r-- 0 root (0) root (0) 877 2014-09-06 21:34:26.000000 ./usr/share/man/man1/txt2lps.1.gz\n--rw-r--r-- 0 root (0) root (0) 993 2014-09-06 21:34:26.000000 ./usr/share/man/man1/txt2pbes.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1499 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2i.1.gz\n+-rw-r--r-- 0 root (0) root (0) 956 2014-09-06 21:34:26.000000 ./usr/share/man/man1/mcrl2xi.1.gz\n+-rw-r--r-- 0 root (0) root (0) 2194 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbes2bes.1.gz\n+-rw-r--r-- 0 root (0) root (0) 2270 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbes2bool.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1356 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesconstelm.1.gz\n+-rw-r--r-- 0 root (0) root (0) 971 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesinfo.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1015 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesparelm.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1333 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbespgsolve.1.gz\n+-rw-r--r-- 0 root (0) root (0) 938 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbespp.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1304 2014-09-06 21:34:26.000000 ./usr/share/man/man1/pbesrewr.1.gz\n+-rw-r--r-- 0 root (0) root (0) 1051 2014-09-06 21:34:26.000000 ./usr/share/man/man1/tracepp.1.gz\n+-rw-r--r-- 0 root (0) root (0) 875 2014-09-06 21:34:26.000000 ./usr/share/man/man1/txt2lps.1.gz\n+-rw-r--r-- 0 root (0) root (0) 992 2014-09-06 21:34:26.000000 ./usr/share/man/man1/txt2pbes.1.gz\n drwxr-xr-x 0 root (0) root (0) 0 2014-09-06 21:34:26.000000 ./usr/share/mcrl2/\n -rw-r--r-- 0 root (0) root (0) 3974 2014-08-05 09:12:48.000000 ./usr/share/mcrl2/tool_catalog.xml\n drwxr-xr-x 0 root (0) root (0) 0 2014-09-06 21:34:26.000000 ./usr/share/menu/\n -rw-r--r-- 0 root (0) root (0) 180 2010-08-03 09:58:38.000000 ./usr/share/menu/mcrl2\n" }, { "source1": "./usr/share/man/man1/besinfo.1.gz", "source2": "./usr/share/man/man1/besinfo.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1940\n+gzip compressed data, max compression, from Unix, original size 1938\n" }, { "source1": "besinfo.1", "source2": "besinfo.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for besinfo version 201409.0 (Release). .\\\"\n .\\\" Generated from besinfo --generate-man-page. .\\\"\n-.TH BESINFO \"1\" \"August 2020\" \"besinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH BESINFO \"1\" \"July 2019\" \"besinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n besinfo \\- display basic information about a BES\n .SH SYNOPSIS\n .B besinfo\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Print basic information about the BES in INFILE. If INFILE is not present, \n" } ] }, { "source1": "./usr/share/man/man1/bespp.1.gz", "source2": "./usr/share/man/man1/bespp.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1689\n+gzip compressed data, max compression, from Unix, original size 1687\n" }, { "source1": "bespp.1", "source2": "bespp.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for bespp version 201409.0 (Release). .\\\"\n .\\\" Generated from bespp --generate-man-page. .\\\"\n-.TH BESPP \"1\" \"August 2020\" \"bespp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH BESPP \"1\" \"July 2019\" \"bespp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n bespp \\- pretty print a BES\n .SH SYNOPSIS\n .B bespp\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Print the BES in INFILE to OUTFILE in a human readable format. If OUTFILE is \n" } ] }, { "source1": "./usr/share/man/man1/diagraphica.1.gz", "source2": "./usr/share/man/man1/diagraphica.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1677\n+gzip compressed data, max compression, from Unix, original size 1675\n" }, { "source1": "diagraphica.1", "source2": "diagraphica.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for DiaGraphica version 201409.0 (Release). .\\\"\n .\\\" Generated from DiaGraphica --generate-man-page. .\\\"\n-.TH DIAGRAPHICA \"1\" \"August 2020\" \"DiaGraphica mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH DIAGRAPHICA \"1\" \"July 2019\" \"DiaGraphica mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n DiaGraphica \\- interactive visual analysis of an LTS\n .SH SYNOPSIS\n .B DiaGraphica\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Multivariate state visualisation and simulation analysis for labelled \n" } ] }, { "source1": "./usr/share/man/man1/lps2lts.1.gz", "source2": "./usr/share/man/man1/lps2lts.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 8931\n+gzip compressed data, max compression, from Unix, original size 8929\n" }, { "source1": "lps2lts.1", "source2": "lps2lts.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lps2lts version 201409.0 (Release). .\\\"\n .\\\" Generated from lps2lts --generate-man-page. .\\\"\n-.TH LPS2LTS \"1\" \"August 2020\" \"lps2lts mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPS2LTS \"1\" \"July 2019\" \"lps2lts mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lps2lts \\- generate an LTS from an LPS\n .SH SYNOPSIS\n .B lps2lts\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Generate an LTS from the LPS in INFILE and save the result to OUTFILE. If \n" } ] }, { "source1": "./usr/share/man/man1/lps2pbes.1.gz", "source2": "./usr/share/man/man1/lps2pbes.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2252\n+gzip compressed data, max compression, from Unix, original size 2250\n" }, { "source1": "lps2pbes.1", "source2": "lps2pbes.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lps2pbes version 201409.0 (Release). .\\\"\n .\\\" Generated from lps2pbes --generate-man-page. .\\\"\n-.TH LPS2PBES \"1\" \"August 2020\" \"lps2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPS2PBES \"1\" \"July 2019\" \"lps2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lps2pbes \\- generate a PBES from an LPS and a state formula\n .SH SYNOPSIS\n .B lps2pbes\n [\\fIOPTION\\fR]... --formula=FILE [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Convert the state formula in FILE and the LPS in INFILE to a parameterised \n" } ] }, { "source1": "./usr/share/man/man1/lps2torx.1.gz", "source2": "./usr/share/man/man1/lps2torx.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1990\n+gzip compressed data, max compression, from Unix, original size 1988\n" }, { "source1": "lps2torx.1", "source2": "lps2torx.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lps2torx version 201409.0 (Release). .\\\"\n .\\\" Generated from lps2torx --generate-man-page. .\\\"\n-.TH LPS2TORX \"1\" \"August 2020\" \"lps2torx mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPS2TORX \"1\" \"July 2019\" \"lps2torx mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lps2torx \\- provide TorX explorer interface to an LPS\n .SH SYNOPSIS\n .B lps2torx\n [\\fIOPTION\\fR]... INFILE\n .SH DESCRIPTION\n Provide a TorX explorer interface to the LPS in INFILE. \n" } ] }, { "source1": "./usr/share/man/man1/lpsactionrename.1.gz", "source2": "./usr/share/man/man1/lpsactionrename.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2579\n+gzip compressed data, max compression, from Unix, original size 2577\n" }, { "source1": "lpsactionrename.1", "source2": "lpsactionrename.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsactionrename version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsactionrename --generate-man-page. .\\\"\n-.TH LPSACTIONRENAME \"1\" \"August 2020\" \"lpsactionrename mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSACTIONRENAME \"1\" \"July 2019\" \"lpsactionrename mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsactionrename \\- rename actions of an LPS\n .SH SYNOPSIS\n .B lpsactionrename\n [\\fIOPTION\\fR]... --renamefile=NAME [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Apply the action rename specification in FILE to the LPS in INFILE and save it \n" } ] }, { "source1": "./usr/share/man/man1/lpsbinary.1.gz", "source2": "./usr/share/man/man1/lpsbinary.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2022\n+gzip compressed data, max compression, from Unix, original size 2020\n" }, { "source1": "lpsbinary.1", "source2": "lpsbinary.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsbinary version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsbinary --generate-man-page. .\\\"\n-.TH LPSBINARY \"1\" \"August 2020\" \"lpsbinary mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSBINARY \"1\" \"July 2019\" \"lpsbinary mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsbinary \\- replace finite sort variables by vectors of boolean variables in an LPS\n .SH SYNOPSIS\n .B lpsbinary\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Replace finite sort variables by vectors of boolean variables in the LPS in \n" } ] }, { "source1": "./usr/share/man/man1/lpsconfcheck.1.gz", "source2": "./usr/share/man/man1/lpsconfcheck.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3697\n+gzip compressed data, max compression, from Unix, original size 3695\n" }, { "source1": "lpsconfcheck.1", "source2": "lpsconfcheck.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsconfcheck version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsconfcheck --generate-man-page. .\\\"\n-.TH LPSCONFCHECK \"1\" \"August 2020\" \"lpsconfcheck mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSCONFCHECK \"1\" \"July 2019\" \"lpsconfcheck mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsconfcheck \\- mark confluent tau-summands of an LPS\n .SH SYNOPSIS\n .B lpsconfcheck\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Checks which tau-summands of the mCRL2 LPS in INFILE are confluent, marks them \n" } ] }, { "source1": "./usr/share/man/man1/lpsconstelm.1.gz", "source2": "./usr/share/man/man1/lpsconstelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2442\n+gzip compressed data, max compression, from Unix, original size 2440\n" }, { "source1": "lpsconstelm.1", "source2": "lpsconstelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsconstelm version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsconstelm --generate-man-page. .\\\"\n-.TH LPSCONSTELM \"1\" \"August 2020\" \"lpsconstelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSCONSTELM \"1\" \"July 2019\" \"lpsconstelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsconstelm \\- removes constant parameters from an LPS\n .SH SYNOPSIS\n .B lpsconstelm\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Remove constant process parameters from the LPS in INFILE and write the result \n" } ] }, { "source1": "./usr/share/man/man1/lpsinfo.1.gz", "source2": "./usr/share/man/man1/lpsinfo.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1516\n+gzip compressed data, max compression, from Unix, original size 1514\n" }, { "source1": "lpsinfo.1", "source2": "lpsinfo.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsinfo version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsinfo --generate-man-page. .\\\"\n-.TH LPSINFO \"1\" \"August 2020\" \"lpsinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSINFO \"1\" \"July 2019\" \"lpsinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsinfo \\- display basic information about an LPS\n .SH SYNOPSIS\n .B lpsinfo\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Print basic information on the linear process specification (LPS) in INFILE.\n" } ] }, { "source1": "./usr/share/man/man1/lpsinvelm.1.gz", "source2": "./usr/share/man/man1/lpsinvelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3796\n+gzip compressed data, max compression, from Unix, original size 3794\n" }, { "source1": "lpsinvelm.1", "source2": "lpsinvelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsinvelm version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsinvelm --generate-man-page. .\\\"\n-.TH LPSINVELM \"1\" \"August 2020\" \"lpsinvelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSINVELM \"1\" \"July 2019\" \"lpsinvelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsinvelm \\- check invariants and use these to simplify or eliminate summands of an LPS\n .SH SYNOPSIS\n .B lpsinvelm\n [\\fIOPTION\\fR]... --invfile=INVFILE [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Checks whether the boolean formula (an mCRL2 data expression of sort Bool) \n" } ] }, { "source1": "./usr/share/man/man1/lpsparelm.1.gz", "source2": "./usr/share/man/man1/lpsparelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1703\n+gzip compressed data, max compression, from Unix, original size 1701\n" }, { "source1": "lpsparelm.1", "source2": "lpsparelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsparelm version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsparelm --generate-man-page. .\\\"\n-.TH LPSPARELM \"1\" \"August 2020\" \"lpsparelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSPARELM \"1\" \"July 2019\" \"lpsparelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsparelm \\- remove unused parameters from an LPS\n .SH SYNOPSIS\n .B lpsparelm\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Remove unused parameters from the linear process specification (LPS) in INFILE \n" } ] }, { "source1": "./usr/share/man/man1/lpsparunfold.1.gz", "source2": "./usr/share/man/man1/lpsparunfold.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2396\n+gzip compressed data, max compression, from Unix, original size 2394\n" }, { "source1": "lpsparunfold.1", "source2": "lpsparunfold.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsparunfold version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsparunfold --generate-man-page. .\\\"\n-.TH LPSPARUNFOLD \"1\" \"August 2020\" \"lpsparunfold mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSPARUNFOLD \"1\" \"July 2019\" \"lpsparunfold mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsparunfold \\- unfolds process parameter of an LPS\n .SH SYNOPSIS\n .B lpsparunfold\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Unfolds a set of given process parameters of the linear process specification \n" } ] }, { "source1": "./usr/share/man/man1/lpspp.1.gz", "source2": "./usr/share/man/man1/lpspp.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1870\n+gzip compressed data, max compression, from Unix, original size 1868\n" }, { "source1": "lpspp.1", "source2": "lpspp.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpspp version 201409.0 (Release). .\\\"\n .\\\" Generated from lpspp --generate-man-page. .\\\"\n-.TH LPSPP \"1\" \"August 2020\" \"lpspp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSPP \"1\" \"July 2019\" \"lpspp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpspp \\- pretty print an LPS\n .SH SYNOPSIS\n .B lpspp\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Print the mCRL2 LPS in INFILE to OUTFILE in a human readable format. If OUTFILE \n" } ] }, { "source1": "./usr/share/man/man1/lpsrewr.1.gz", "source2": "./usr/share/man/man1/lpsrewr.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1977\n+gzip compressed data, max compression, from Unix, original size 1975\n" }, { "source1": "lpsrewr.1", "source2": "lpsrewr.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsrewr version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsrewr --generate-man-page. .\\\"\n-.TH LPSREWR \"1\" \"August 2020\" \"lpsrewr mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSREWR \"1\" \"July 2019\" \"lpsrewr mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsrewr \\- rewrite data expressions in an LPS\n .SH SYNOPSIS\n .B lpsrewr\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Rewrite data expressions of the LPS in INFILE and save the result to OUTFILE.If \n" } ] }, { "source1": "./usr/share/man/man1/lpssim.1.gz", "source2": "./usr/share/man/man1/lpssim.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1899\n+gzip compressed data, max compression, from Unix, original size 1897\n" }, { "source1": "lpssim.1", "source2": "lpssim.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpssim version 201409.0 (Release). .\\\"\n .\\\" Generated from lpssim --generate-man-page. .\\\"\n-.TH LPSSIM \"1\" \"August 2020\" \"lpssim mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSSIM \"1\" \"July 2019\" \"lpssim mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpssim \\- command-line simulation of an LPS\n .SH SYNOPSIS\n .B lpssim\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Simulate the LPS in INFILE via a text-based interface.\n" } ] }, { "source1": "./usr/share/man/man1/lpssumelm.1.gz", "source2": "./usr/share/man/man1/lpssumelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1724\n+gzip compressed data, max compression, from Unix, original size 1722\n" }, { "source1": "lpssumelm.1", "source2": "lpssumelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpssumelm version 201409.0 (Release). .\\\"\n .\\\" Generated from lpssumelm --generate-man-page. .\\\"\n-.TH LPSSUMELM \"1\" \"August 2020\" \"lpssumelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSSUMELM \"1\" \"July 2019\" \"lpssumelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpssumelm \\- remove superfluous summations from an LPS\n .SH SYNOPSIS\n .B lpssumelm\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Remove superfluous summations from the linear process specification (LPS) in \n" } ] }, { "source1": "./usr/share/man/man1/lpssuminst.1.gz", "source2": "./usr/share/man/man1/lpssuminst.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2301\n+gzip compressed data, max compression, from Unix, original size 2299\n" }, { "source1": "lpssuminst.1", "source2": "lpssuminst.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpssuminst version 201409.0 (Release). .\\\"\n .\\\" Generated from lpssuminst --generate-man-page. .\\\"\n-.TH LPSSUMINST \"1\" \"August 2020\" \"lpssuminst mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSSUMINST \"1\" \"July 2019\" \"lpssuminst mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpssuminst \\- instantiate summation variables of an LPS\n .SH SYNOPSIS\n .B lpssuminst\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Instantiate the summation variables of the linear process specification (LPS) \n" } ] }, { "source1": "./usr/share/man/man1/lpsuntime.1.gz", "source2": "./usr/share/man/man1/lpsuntime.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1617\n+gzip compressed data, max compression, from Unix, original size 1615\n" }, { "source1": "lpsuntime.1", "source2": "lpsuntime.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lpsuntime version 201409.0 (Release). .\\\"\n .\\\" Generated from lpsuntime --generate-man-page. .\\\"\n-.TH LPSUNTIME \"1\" \"August 2020\" \"lpsuntime mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSUNTIME \"1\" \"July 2019\" \"lpsuntime mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lpsuntime \\- remove time from an LPS\n .SH SYNOPSIS\n .B lpsuntime\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Remove time from the linear process specification (LPS) in INFILE and write the \n" } ] }, { "source1": "./usr/share/man/man1/lpsxsim.1.gz", "source2": "./usr/share/man/man1/lpsxsim.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1966\n+gzip compressed data, max compression, from Unix, original size 1964\n" }, { "source1": "lpsxsim.1", "source2": "lpsxsim.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for LpsXSim version 201409.0 (Release). .\\\"\n .\\\" Generated from LpsXSim --generate-man-page. .\\\"\n-.TH LPSXSIM \"1\" \"August 2020\" \"LpsXSim mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LPSXSIM \"1\" \"July 2019\" \"LpsXSim mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n LpsXSim \\- graphical simulation of an LPS\n .SH SYNOPSIS\n .B LpsXSim\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Simulates linear process descriptions in a graphical environment. If INFILE is \n" } ] }, { "source1": "./usr/share/man/man1/lts2lps.1.gz", "source2": "./usr/share/man/man1/lts2lps.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2039\n+gzip compressed data, max compression, from Unix, original size 2037\n" }, { "source1": "lts2lps.1", "source2": "lts2lps.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lts2lps version 201409.0 (Release). .\\\"\n .\\\" Generated from lts2lps --generate-man-page. .\\\"\n-.TH LTS2LPS \"1\" \"August 2020\" \"lts2lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTS2LPS \"1\" \"July 2019\" \"lts2lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lts2lps \\- translates an LTS into an LPS\n .SH SYNOPSIS\n .B lts2lps\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Translates an LTS in INFILE and writes the resulting LPS to OUTFILE. If OUTFILE \n" } ] }, { "source1": "./usr/share/man/man1/lts2pbes.1.gz", "source2": "./usr/share/man/man1/lts2pbes.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2335\n+gzip compressed data, max compression, from Unix, original size 2333\n" }, { "source1": "lts2pbes.1", "source2": "lts2pbes.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for lts2pbes version 201409.0 (Release). .\\\"\n .\\\" Generated from lts2pbes --generate-man-page. .\\\"\n-.TH LTS2PBES \"1\" \"August 2020\" \"lts2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTS2PBES \"1\" \"July 2019\" \"lts2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n lts2pbes \\- translates an LTS into an PBES\n .SH SYNOPSIS\n .B lts2pbes\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Translates an LTS in INFILE and writes the resulting PBES to OUTFILE. If \n" } ] }, { "source1": "./usr/share/man/man1/ltscompare.1.gz", "source2": "./usr/share/man/man1/ltscompare.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3276\n+gzip compressed data, max compression, from Unix, original size 3274\n" }, { "source1": "ltscompare.1", "source2": "ltscompare.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for ltscompare version 201409.0 (Release). .\\\"\n .\\\" Generated from ltscompare --generate-man-page. .\\\"\n-.TH LTSCOMPARE \"1\" \"August 2020\" \"ltscompare mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTSCOMPARE \"1\" \"July 2019\" \"ltscompare mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n ltscompare \\- compare two LTSs\n .SH SYNOPSIS\n .B ltscompare\n [\\fIOPTION\\fR]... [\\fIINFILE1\\fR] INFILE2\n .SH DESCRIPTION\n Determine whether or not the labelled transition systems (LTSs) in INFILE1 and \n" } ] }, { "source1": "./usr/share/man/man1/ltsconvert.1.gz", "source2": "./usr/share/man/man1/ltsconvert.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3895\n+gzip compressed data, max compression, from Unix, original size 3893\n" }, { "source1": "ltsconvert.1", "source2": "ltsconvert.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for ltsconvert version 201409.0 (Release). .\\\"\n .\\\" Generated from ltsconvert --generate-man-page. .\\\"\n-.TH LTSCONVERT \"1\" \"August 2020\" \"ltsconvert mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTSCONVERT \"1\" \"July 2019\" \"ltsconvert mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n ltsconvert \\- convert and optionally minimise an LTS\n .SH SYNOPSIS\n .B ltsconvert\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Convert the labelled transition system (LTS) from INFILE to OUTFILE in the\n" } ] }, { "source1": "./usr/share/man/man1/ltsgraph.1.gz", "source2": "./usr/share/man/man1/ltsgraph.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1566\n+gzip compressed data, max compression, from Unix, original size 1564\n" }, { "source1": "ltsgraph.1", "source2": "ltsgraph.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for LTSGraph version 201409.0 (Release). .\\\"\n .\\\" Generated from LTSGraph --generate-man-page. .\\\"\n-.TH LTSGRAPH \"1\" \"August 2020\" \"LTSGraph mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTSGRAPH \"1\" \"July 2019\" \"LTSGraph mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n LTSGraph \\- visualise an LTS as a graph and manipulate its layout in 2D and 3D\n .SH SYNOPSIS\n .B LTSGraph\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Tool for visualizing a labelled transition systems as a graph, and optimizing \n" } ] }, { "source1": "./usr/share/man/man1/ltsinfo.1.gz", "source2": "./usr/share/man/man1/ltsinfo.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1954\n+gzip compressed data, max compression, from Unix, original size 1952\n" }, { "source1": "ltsinfo.1", "source2": "ltsinfo.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for ltsinfo version 201409.0 (Release). .\\\"\n .\\\" Generated from ltsinfo --generate-man-page. .\\\"\n-.TH LTSINFO \"1\" \"August 2020\" \"ltsinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTSINFO \"1\" \"July 2019\" \"ltsinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n ltsinfo \\- display basic information about an LTS\n .SH SYNOPSIS\n .B ltsinfo\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Print information about the labelled transition system (LTS) in INFILE. If \n" } ] }, { "source1": "./usr/share/man/man1/ltsview.1.gz", "source2": "./usr/share/man/man1/ltsview.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1923\n+gzip compressed data, max compression, from Unix, original size 1921\n" }, { "source1": "ltsview.1", "source2": "ltsview.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for LTSView version 201409.0 (Release). .\\\"\n .\\\" Generated from LTSView --generate-man-page. .\\\"\n-.TH LTSVIEW \"1\" \"August 2020\" \"LTSView mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH LTSVIEW \"1\" \"July 2019\" \"LTSView mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n LTSView \\- 3D interactive visualization of a labelled transition system\n .SH SYNOPSIS\n .B LTSView\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Start the LTSView application. If INFILE is supplied then the LTS in INFILE is \n" } ] }, { "source1": "./usr/share/man/man1/mcrl2-gui.1.gz", "source2": "./usr/share/man/man1/mcrl2-gui.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1455\n+gzip compressed data, max compression, from Unix, original size 1453\n" }, { "source1": "mcrl2-gui.1", "source2": "mcrl2-gui.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for mcrl2-gui version 201409.0 (Release). .\\\"\n .\\\" Generated from mcrl2-gui --generate-man-page. .\\\"\n-.TH MCRL2-GUI \"1\" \"August 2020\" \"mcrl2-gui mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH MCRL2-GUI \"1\" \"July 2019\" \"mcrl2-gui mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n mcrl2-gui \\- graphical front-end for mCRL2 tools\n .SH SYNOPSIS\n .B mcrl2-gui\n [\\fIOPTION\\fR]...\n .SH DESCRIPTION\n A graphical front-end for mCRL2 tools.\n" } ] }, { "source1": "./usr/share/man/man1/mcrl22lps.1.gz", "source2": "./usr/share/man/man1/mcrl22lps.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 6607\n+gzip compressed data, max compression, from Unix, original size 6605\n" }, { "source1": "mcrl22lps.1", "source2": "mcrl22lps.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for mcrl22lps version 201409.0 (Release). .\\\"\n .\\\" Generated from mcrl22lps --generate-man-page. .\\\"\n-.TH MCRL22LPS \"1\" \"August 2020\" \"mcrl22lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH MCRL22LPS \"1\" \"July 2019\" \"mcrl22lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n mcrl22lps \\- translate an mCRL2 specification to an LPS\n .SH SYNOPSIS\n .B mcrl22lps\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Linearises the mCRL2 specification in INFILE and writes the resulting LPS to \n" } ] }, { "source1": "./usr/share/man/man1/mcrl2i.1.gz", "source2": "./usr/share/man/man1/mcrl2i.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3149\n+gzip compressed data, max compression, from Unix, original size 3147\n" }, { "source1": "mcrl2i.1", "source2": "mcrl2i.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for mcrl2i version 201409.0 (Release). .\\\"\n .\\\" Generated from mcrl2i --generate-man-page. .\\\"\n-.TH MCRL2I \"1\" \"August 2020\" \"mcrl2i mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH MCRL2I \"1\" \"July 2019\" \"mcrl2i mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n mcrl2i \\- Interpreter for the mCRL2 data language\n .SH SYNOPSIS\n .B mcrl2i\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Evaluate mCRL2 data expressions via a text-based interface. If INFILE is \n" } ] }, { "source1": "./usr/share/man/man1/mcrl2xi.1.gz", "source2": "./usr/share/man/man1/mcrl2xi.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1828\n+gzip compressed data, max compression, from Unix, original size 1826\n" }, { "source1": "mcrl2xi.1", "source2": "mcrl2xi.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for mCRL2xi version 201409.0 (Release). .\\\"\n .\\\" Generated from mCRL2xi --generate-man-page. .\\\"\n-.TH MCRL2XI \"1\" \"August 2020\" \"mCRL2xi mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH MCRL2XI \"1\" \"July 2019\" \"mCRL2xi mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n mCRL2xi \\- graphical mCRL2 data specification editor\n .SH SYNOPSIS\n .B mCRL2xi\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n A graphical mCRL2 data specification editor.\n" } ] }, { "source1": "./usr/share/man/man1/pbes2bes.1.gz", "source2": "./usr/share/man/man1/pbes2bes.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 5460\n+gzip compressed data, max compression, from Unix, original size 5458\n" }, { "source1": "pbes2bes.1", "source2": "pbes2bes.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbes2bes version 201409.0 (Release). .\\\"\n .\\\" Generated from pbes2bes --generate-man-page. .\\\"\n-.TH PBES2BES \"1\" \"August 2020\" \"pbes2bes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBES2BES \"1\" \"July 2019\" \"pbes2bes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbes2bes \\- Generate a BES from a PBES. \n .SH SYNOPSIS\n .B pbes2bes\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Reads the PBES from INFILE and writes an equivalent BES to OUTFILE. If INFILE \n" } ] }, { "source1": "./usr/share/man/man1/pbes2bool.1.gz", "source2": "./usr/share/man/man1/pbes2bool.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 5389\n+gzip compressed data, max compression, from Unix, original size 5387\n" }, { "source1": "pbes2bool.1", "source2": "pbes2bool.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbes2bool version 201409.0 (Release). .\\\"\n .\\\" Generated from pbes2bool --generate-man-page. .\\\"\n-.TH PBES2BOOL \"1\" \"August 2020\" \"pbes2bool mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBES2BOOL \"1\" \"July 2019\" \"pbes2bool mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbes2bool \\- Generate a BES from a PBES and solve it. \n .SH SYNOPSIS\n .B pbes2bool\n [\\fIOPTION\\fR]...[\\fIINFILE\\fR]\n .SH DESCRIPTION\n Solves (P)BES from INFILE. If INFILE is not present, stdin is used. \n" } ] }, { "source1": "./usr/share/man/man1/pbesconstelm.1.gz", "source2": "./usr/share/man/man1/pbesconstelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3183\n+gzip compressed data, max compression, from Unix, original size 3181\n" }, { "source1": "pbesconstelm.1", "source2": "pbesconstelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbesconstelm version 201409.0 (Release). .\\\"\n .\\\" Generated from pbesconstelm --generate-man-page. .\\\"\n-.TH PBESCONSTELM \"1\" \"August 2020\" \"pbesconstelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESCONSTELM \"1\" \"July 2019\" \"pbesconstelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbesconstelm \\- remove constant parameters from a PBES\n .SH SYNOPSIS\n .B pbesconstelm\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Reads a file containing a PBES, and applies constant parameter elimination to \n" } ] }, { "source1": "./usr/share/man/man1/pbesinfo.1.gz", "source2": "./usr/share/man/man1/pbesinfo.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1971\n+gzip compressed data, max compression, from Unix, original size 1969\n" }, { "source1": "pbesinfo.1", "source2": "pbesinfo.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbesinfo version 201409.0 (Release). .\\\"\n .\\\" Generated from pbesinfo --generate-man-page. .\\\"\n-.TH PBESINFO \"1\" \"August 2020\" \"pbesinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESINFO \"1\" \"July 2019\" \"pbesinfo mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbesinfo \\- display basic information about a PBES\n .SH SYNOPSIS\n .B pbesinfo\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Print basic information about the PBES in INFILE. If INFILE is not present, \n" } ] }, { "source1": "./usr/share/man/man1/pbesparelm.1.gz", "source2": "./usr/share/man/man1/pbesparelm.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2211\n+gzip compressed data, max compression, from Unix, original size 2209\n" }, { "source1": "pbesparelm.1", "source2": "pbesparelm.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbesparelm version 201409.0 (Release). .\\\"\n .\\\" Generated from pbesparelm --generate-man-page. .\\\"\n-.TH PBESPARELM \"1\" \"August 2020\" \"pbesparelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESPARELM \"1\" \"July 2019\" \"pbesparelm mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbesparelm \\- remove unused parameters from a PBES\n .SH SYNOPSIS\n .B pbesparelm\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Reads a file containing a PBES, and applies parameter elimination to it. If \n" } ] }, { "source1": "./usr/share/man/man1/pbespgsolve.1.gz", "source2": "./usr/share/man/man1/pbespgsolve.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2866\n+gzip compressed data, max compression, from Unix, original size 2864\n" }, { "source1": "pbespgsolve.1", "source2": "pbespgsolve.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbespgsolve version 201409.0 (Release). .\\\"\n .\\\" Generated from pbespgsolve --generate-man-page. .\\\"\n-.TH PBESPGSOLVE \"1\" \"August 2020\" \"pbespgsolve mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESPGSOLVE \"1\" \"July 2019\" \"pbespgsolve mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbespgsolve \\- Solve a (P)BES or parity game using a parity game solver\n .SH SYNOPSIS\n .B pbespgsolve\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR]\n .SH DESCRIPTION\n Reads a file containing a (P)BES or a max parity game in PGSolver \n" } ] }, { "source1": "./usr/share/man/man1/pbespp.1.gz", "source2": "./usr/share/man/man1/pbespp.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1783\n+gzip compressed data, max compression, from Unix, original size 1781\n" }, { "source1": "pbespp.1", "source2": "pbespp.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbespp version 201409.0 (Release). .\\\"\n .\\\" Generated from pbespp --generate-man-page. .\\\"\n-.TH PBESPP \"1\" \"August 2020\" \"pbespp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESPP \"1\" \"July 2019\" \"pbespp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbespp \\- pretty print a PBES\n .SH SYNOPSIS\n .B pbespp\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Print the PBES in INFILE to OUTFILE in a human readable format. If OUTFILE is \n" } ] }, { "source1": "./usr/share/man/man1/pbesrewr.1.gz", "source2": "./usr/share/man/man1/pbesrewr.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 3061\n+gzip compressed data, max compression, from Unix, original size 3059\n" }, { "source1": "pbesrewr.1", "source2": "pbesrewr.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for pbesrewr version 201409.0 (Release). .\\\"\n .\\\" Generated from pbesrewr --generate-man-page. .\\\"\n-.TH PBESREWR \"1\" \"August 2020\" \"pbesrewr mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH PBESREWR \"1\" \"July 2019\" \"pbesrewr mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n pbesrewr \\- rewrite and simplify a PBES\n .SH SYNOPSIS\n .B pbesrewr\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Rewrite the PBES in INFILE, remove quantified variables and write the resulting \n" } ] }, { "source1": "./usr/share/man/man1/tracepp.1.gz", "source2": "./usr/share/man/man1/tracepp.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 2011\n+gzip compressed data, max compression, from Unix, original size 2009\n" }, { "source1": "tracepp.1", "source2": "tracepp.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for tracepp version 201409.0 (Release). .\\\"\n .\\\" Generated from tracepp --generate-man-page. .\\\"\n-.TH TRACEPP \"1\" \"August 2020\" \"tracepp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH TRACEPP \"1\" \"July 2019\" \"tracepp mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n tracepp \\- convert and pretty print traces\n .SH SYNOPSIS\n .B tracepp\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Convert the trace in INFILE and save it in another format to OUTFILE. If \n" } ] }, { "source1": "./usr/share/man/man1/txt2lps.1.gz", "source2": "./usr/share/man/man1/txt2lps.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1653\n+gzip compressed data, max compression, from Unix, original size 1651\n" }, { "source1": "txt2lps.1", "source2": "txt2lps.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for txt2lps version 201409.0 (Release). .\\\"\n .\\\" Generated from txt2lps --generate-man-page. .\\\"\n-.TH TXT2LPS \"1\" \"August 2020\" \"txt2lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH TXT2LPS \"1\" \"July 2019\" \"txt2lps mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n txt2lps \\- translates an mCRL2 specification of a linear process into an LPS\n .SH SYNOPSIS\n .B txt2lps\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Translates the mCRL2 specification in INFILE and writes the resulting LPS to \n" } ] }, { "source1": "./usr/share/man/man1/txt2pbes.1.gz", "source2": "./usr/share/man/man1/txt2pbes.1.gz", "unified_diff": null, "details": [ { "source1": "filetype from file(1)", "source2": "filetype from file(1)", "unified_diff": "@@ -1 +1 @@\n-gzip compressed data, max compression, from Unix, original size 1938\n+gzip compressed data, max compression, from Unix, original size 1936\n" }, { "source1": "txt2pbes.1", "source2": "txt2pbes.1", "unified_diff": "@@ -1,10 +1,10 @@\n .\\\" Manual page for txt2pbes version 201409.0 (Release). .\\\"\n .\\\" Generated from txt2pbes --generate-man-page. .\\\"\n-.TH TXT2PBES \"1\" \"August 2020\" \"txt2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n+.TH TXT2PBES \"1\" \"July 2019\" \"txt2pbes mCRL2 toolset 201409.0 (Release)\" \"User Commands\"\n .SH NAME\n txt2pbes \\- parse a textual description of a PBES\n .SH SYNOPSIS\n .B txt2pbes\n [\\fIOPTION\\fR]... [\\fIINFILE\\fR [\\fIOUTFILE\\fR]]\n .SH DESCRIPTION\n Parse the textual description of a PBES from INFILE and write it to OUTFILE. If \n" } ] } ] } ] } ] } ] }