⊟
48.5 KB
/srv/reproducible-results/rbuild-debian/tmp.TBC7NlG8AD/b1/mcrl2_201409.0-1_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.TBC7NlG8AD/b2/mcrl2_201409.0-1_arm64.changes
⊟
281 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·ef109e8d0e410ba0e3ccb399868aff04·722688·debug·optional·mcrl2-dbgsym_201409.0-1_arm64.deb1 ·ef109e8d0e410ba0e3ccb399868aff04·722688·debug·optional·mcrl2-dbgsym_201409.0-1_arm64.deb
2 ·211bd72e76e15f6115689e526a940454·6719956·math·extra·mcrl2_201409.0-1_arm64.deb2 ·fcfc10813e12b6b8921bc4ec5784abfc·6719788·math·extra·mcrl2_201409.0-1_arm64.deb
⊟
48.1 KB
mcrl2_201409.0-1_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2014-09-06·21:34:26.000000·debian-binary1 -rw-r--r--···0········0········0········4·2014-09-06·21:34:26.000000·debian-binary
2 -rw-r--r--···0········0········0····25460·2014-09-06·21:34:26.000000·control.tar.xz2 -rw-r--r--···0········0········0····25452·2014-09-06·21:34:26.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6694304·2014-09-06·21:34:26.000000·data.tar.xz3 -rw-r--r--···0········0········0··6694144·2014-09-06·21:34:26.000000·data.tar.xz
⊟
754 B
control.tar.xz
⊟
726 B
control.tar
⊟
656 B
./control
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 Package:·mcrl21 Package:·mcrl2
2 Version:·201409.0-12 Version:·201409.0-1
3 Architecture:·arm643 Architecture:·arm64
4 Maintainer:·Sjoerd·Cranen·<scranen@win.tue.nl>4 Maintainer:·Sjoerd·Cranen·<scranen@win.tue.nl>
5 Installed-Size:·396035 Installed-Size:·39602
6 Depends:·libc6·(>=·2.27),·libgcc1·(>=·1:3.0),·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)6 Depends:·libc6·(>=·2.27),·libgcc1·(>=·1:3.0),·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)
7 Section:·math7 Section:·math
8 Priority:·extra8 Priority:·extra
9 Homepage:·http://www.mcrl2.org/9 Homepage:·http://www.mcrl2.org/
10 Description:·formal·specification·language·toolset10 Description:·formal·specification·language·toolset
11 ·mCRL2·stands·for·micro·Common·Representation·Language·2.··It·is·a11 ·mCRL2·stands·for·micro·Common·Representation·Language·2.··It·is·a
12 ·specification·language·that·can·be·used·to·specify·and·analyse·the12 ·specification·language·that·can·be·used·to·specify·and·analyse·the
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
46.8 KB
data.tar.xz
⊟
46.8 KB
data.tar
⊟
11.7 KB
file list
    
Offset 1109, 55 lines modifiedOffset 1109, 55 lines modified
1109 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/icons/hicolor/96x96/apps/1109 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/icons/hicolor/96x96/apps/
1110 -rw-r--r--···0·root·········(0)·root·········(0)·····4086·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png1110 -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
1111 -rw-r--r--···0·root·········(0)·root·········(0)·····5113·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-green.png1111 -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
1112 -rw-r--r--···0·root·········(0)·root·········(0)·····4457·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png1112 -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
1113 -rw-r--r--···0·root·········(0)·root·········(0)·····4085·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-red.png1113 -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
1114 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/1114 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/
1115 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/man1/1115 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/man1/
1116 -rw-r--r--···0·root·········(0)·root·········(0)······959·2014-09-06·21:34:26.000000·./usr/share/man/man1/besinfo.1.gz1116 -rw-r--r--···0·root·········(0)·root·········(0)······957·2014-09-06·21:34:26.000000·./usr/share/man/man1/besinfo.1.gz
1117 -rw-r--r--···0·root·········(0)·root·········(0)······905·2014-09-06·21:34:26.000000·./usr/share/man/man1/bespp.1.gz1117 -rw-r--r--···0·root·········(0)·root·········(0)······903·2014-09-06·21:34:26.000000·./usr/share/man/man1/bespp.1.gz
1118 -rw-r--r--···0·root·········(0)·root·········(0)······921·2014-09-06·21:34:26.000000·./usr/share/man/man1/diagraphica.1.gz1118 -rw-r--r--···0·root·········(0)·root·········(0)······919·2014-09-06·21:34:26.000000·./usr/share/man/man1/diagraphica.1.gz
1119 -rw-r--r--···0·root·········(0)·root·········(0)·····3518·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2lts.1.gz1119 -rw-r--r--···0·root·········(0)·root·········(0)·····3516·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2lts.1.gz
1120 -rw-r--r--···0·root·········(0)·root·········(0)·····1118·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2pbes.1.gz1120 -rw-r--r--···0·root·········(0)·root·········(0)·····1116·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2pbes.1.gz
1121 -rw-r--r--···0·root·········(0)·root·········(0)·····1032·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2torx.1.gz1121 -rw-r--r--···0·root·········(0)·root·········(0)·····1031·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2torx.1.gz
1122 -rw-r--r--···0·root·········(0)·root·········(0)·····1249·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsactionrename.1.gz1122 -rw-r--r--···0·root·········(0)·root·········(0)·····1247·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsactionrename.1.gz
1123 -rw-r--r--···0·root·········(0)·root·········(0)·····1023·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsbinary.1.gz1123 -rw-r--r--···0·root·········(0)·root·········(0)·····1021·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsbinary.1.gz
1124 -rw-r--r--···0·root·········(0)·root·········(0)·····1699·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconfcheck.1.gz1124 -rw-r--r--···0·root·········(0)·root·········(0)·····1697·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconfcheck.1.gz
1125 -rw-r--r--···0·root·········(0)·root·········(0)·····1210·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconstelm.1.gz1125 -rw-r--r--···0·root·········(0)·root·········(0)·····1208·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconstelm.1.gz
1126 -rw-r--r--···0·root·········(0)·root·········(0)······825·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinfo.1.gz1126 -rw-r--r--···0·root·········(0)·root·········(0)······823·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinfo.1.gz
1127 -rw-r--r--···0·root·········(0)·root·········(0)·····1708·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinvelm.1.gz1127 -rw-r--r--···0·root·········(0)·root·········(0)·····1703·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinvelm.1.gz
1128 -rw-r--r--···0·root·········(0)·root·········(0)······913·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparelm.1.gz1128 -rw-r--r--···0·root·········(0)·root·········(0)······911·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparelm.1.gz
1129 -rw-r--r--···0·root·········(0)·root·········(0)·····1161·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparunfold.1.gz1129 -rw-r--r--···0·root·········(0)·root·········(0)·····1160·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparunfold.1.gz
1130 -rw-r--r--···0·root·········(0)·root·········(0)······977·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpspp.1.gz1130 -rw-r--r--···0·root·········(0)·root·········(0)······975·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpspp.1.gz
1131 -rw-r--r--···0·root·········(0)·root·········(0)·····1025·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsrewr.1.gz1131 -rw-r--r--···0·root·········(0)·root·········(0)·····1023·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsrewr.1.gz
1132 -rw-r--r--···0·root·········(0)·root·········(0)·····1000·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssim.1.gz1132 -rw-r--r--···0·root·········(0)·root·········(0)······998·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssim.1.gz
1133 -rw-r--r--···0·root·········(0)·root·········(0)······912·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssumelm.1.gz1133 -rw-r--r--···0·root·········(0)·root·········(0)······910·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssumelm.1.gz
1134 -rw-r--r--···0·root·········(0)·root·········(0)·····1148·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssuminst.1.gz1134 -rw-r--r--···0·root·········(0)·root·········(0)·····1146·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssuminst.1.gz
1135 -rw-r--r--···0·root·········(0)·root·········(0)······870·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsuntime.1.gz1135 -rw-r--r--···0·root·········(0)·root·········(0)······867·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsuntime.1.gz
1136 -rw-r--r--···0·root·········(0)·root·········(0)·····1035·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsxsim.1.gz1136 -rw-r--r--···0·root·········(0)·root·········(0)·····1033·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsxsim.1.gz
1137 -rw-r--r--···0·root·········(0)·root·········(0)······971·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2lps.1.gz1137 -rw-r--r--···0·root·········(0)·root·········(0)······969·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2lps.1.gz
1138 -rw-r--r--···0·root·········(0)·root·········(0)·····1069·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2pbes.1.gz1138 -rw-r--r--···0·root·········(0)·root·········(0)·····1067·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2pbes.1.gz
1139 -rw-r--r--···0·root·········(0)·root·········(0)·····1460·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltscompare.1.gz1139 -rw-r--r--···0·root·········(0)·root·········(0)·····1457·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltscompare.1.gz
1140 -rw-r--r--···0·root·········(0)·root·········(0)·····1655·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsconvert.1.gz1140 -rw-r--r--···0·root·········(0)·root·········(0)·····1652·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsconvert.1.gz
1141 -rw-r--r--···0·root·········(0)·root·········(0)······861·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsgraph.1.gz1141 -rw-r--r--···0·root·········(0)·root·········(0)······860·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsgraph.1.gz
1142 -rw-r--r--···0·root·········(0)·root·········(0)·····1024·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsinfo.1.gz1142 -rw-r--r--···0·root·········(0)·root·········(0)·····1022·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsinfo.1.gz
1143 -rw-r--r--···0·root·········(0)·root·········(0)·····1035·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsview.1.gz1143 -rw-r--r--···0·root·········(0)·root·········(0)·····1034·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsview.1.gz
1144 -rw-r--r--···0·root·········(0)·root·········(0)······784·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2-gui.1.gz1144 -rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2-gui.1.gz
1145 -rw-r--r--···0·root·········(0)·root·········(0)·····2766·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl22lps.1.gz1145 -rw-r--r--···0·root·········(0)·root·········(0)·····2764·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl22lps.1.gz
1146 -rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2compilerewriter.1.gz1146 -rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2compilerewriter.1.gz
1147 -rw-r--r--···0·root·········(0)·root·········(0)·····1503·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2i.1.gz1147 -rw-r--r--···0·root·········(0)·root·········(0)·····1501·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2i.1.gz
1148 -rw-r--r--···0·root·········(0)·root·········(0)······959·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2xi.1.gz1148 -rw-r--r--···0·root·········(0)·root·········(0)······958·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2xi.1.gz
1149 -rw-r--r--···0·root·········(0)·root·········(0)·····2197·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bes.1.gz1149 -rw-r--r--···0·root·········(0)·root·········(0)·····2195·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bes.1.gz
1150 -rw-r--r--···0·root·········(0)·root·········(0)·····2272·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bool.1.gz1150 -rw-r--r--···0·root·········(0)·root·········(0)·····2270·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bool.1.gz
1151 -rw-r--r--···0·root·········(0)·root·········(0)·····1360·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesconstelm.1.gz1151 -rw-r--r--···0·root·········(0)·root·········(0)·····1359·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesconstelm.1.gz
1152 -rw-r--r--···0·root·········(0)·root·········(0)······975·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesinfo.1.gz1152 -rw-r--r--···0·root·········(0)·root·········(0)······972·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesinfo.1.gz
1153 -rw-r--r--···0·root·········(0)·root·········(0)·····1018·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesparelm.1.gz1153 -rw-r--r--···0·root·········(0)·root·········(0)·····1016·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesparelm.1.gz
1154 -rw-r--r--···0·root·········(0)·root·········(0)·····1336·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespgsolve.1.gz1154 -rw-r--r--···0·root·········(0)·root·········(0)·····1334·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespgsolve.1.gz
1155 -rw-r--r--···0·root·········(0)·root·········(0)······942·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespp.1.gz1155 -rw-r--r--···0·root·········(0)·root·········(0)······939·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespp.1.gz
1156 -rw-r--r--···0·root·········(0)·root·········(0)·····1308·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesrewr.1.gz1156 -rw-r--r--···0·root·········(0)·root·········(0)·····1305·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesrewr.1.gz
1157 -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2014-09-06·21:34:26.000000·./usr/share/man/man1/tracepp.1.gz1157 -rw-r--r--···0·root·········(0)·root·········(0)·····1052·2014-09-06·21:34:26.000000·./usr/share/man/man1/tracepp.1.gz
1158 -rw-r--r--···0·root·········(0)·root·········(0)······878·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2lps.1.gz1158 -rw-r--r--···0·root·········(0)·root·········(0)······876·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2lps.1.gz
1159 -rw-r--r--···0·root·········(0)·root·········(0)······994·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2pbes.1.gz1159 -rw-r--r--···0·root·········(0)·root·········(0)······992·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2pbes.1.gz
1160 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/mcrl2/1160 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/mcrl2/
1161 -rw-r--r--···0·root·········(0)·root·········(0)·····3974·2014-08-05·09:12:48.000000·./usr/share/mcrl2/tool_catalog.xml1161 -rw-r--r--···0·root·········(0)·root·········(0)·····3974·2014-08-05·09:12:48.000000·./usr/share/mcrl2/tool_catalog.xml
1162 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/menu/1162 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/menu/
1163 -rw-r--r--···0·root·········(0)·root·········(0)······180·2010-08-03·09:58:38.000000·./usr/share/menu/mcrl21163 -rw-r--r--···0·root·········(0)·root·········(0)······180·2010-08-03·09:58:38.000000·./usr/share/menu/mcrl2
⊟
808 B
./usr/share/man/man1/besinfo.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19431 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1941
⊟
548 B
besinfo.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·besinfo·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·besinfo·version·201409.0·(Release).·.\"
2 .\"·Generated·from·besinfo·--generate-man-page.·.\"2 .\"·Generated·from·besinfo·--generate-man-page.·.\"
3 .TH·BESINFO·"1"·"September·2020"·"besinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·BESINFO·"1"·"October·2021"·"besinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 besinfo·\-·display·basic·information·about·a·BES5 besinfo·\-·display·basic·information·about·a·BES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·besinfo7 .B·besinfo
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·basic·information·about·the·BES·in·INFILE.·If·INFILE·is·not·present,·10 Print·basic·information·about·the·BES·in·INFILE.·If·INFILE·is·not·present,·
⊟
783 B
./usr/share/man/man1/bespp.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·16921 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1690
⊟
527 B
bespp.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·bespp·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·bespp·version·201409.0·(Release).·.\"
2 .\"·Generated·from·bespp·--generate-man-page.·.\"2 .\"·Generated·from·bespp·--generate-man-page.·.\"
3 .TH·BESPP·"1"·"September·2020"·"bespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·BESPP·"1"·"October·2021"·"bespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 bespp·\-·pretty·print·a·BES5 bespp·\-·pretty·print·a·BES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·bespp7 .B·bespp
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·the·BES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·10 Print·the·BES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·
⊟
851 B
./usr/share/man/man1/diagraphica.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·16801 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1678
⊟
583 B
diagraphica.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·DiaGraphica·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·DiaGraphica·version·201409.0·(Release).·.\"
2 .\"·Generated·from·DiaGraphica·--generate-man-page.·.\"2 .\"·Generated·from·DiaGraphica·--generate-man-page.·.\"
3 .TH·DIAGRAPHICA·"1"·"September·2020"·"DiaGraphica·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·DIAGRAPHICA·"1"·"October·2021"·"DiaGraphica·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 DiaGraphica·\-·interactive·visual·analysis·of·an·LTS5 DiaGraphica·\-·interactive·visual·analysis·of·an·LTS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·DiaGraphica7 .B·DiaGraphica
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Multivariate·state·visualisation·and·simulation·analysis·for·labelled·10 Multivariate·state·visualisation·and·simulation·analysis·for·labelled·
⊟
813 B
./usr/share/man/man1/lps2lts.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·89341 gzip·compressed·data,·max·compression,·from·Unix,·original·size·8932
⊟
553 B
lps2lts.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lps2lts·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lps2lts·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lps2lts·--generate-man-page.·.\"2 .\"·Generated·from·lps2lts·--generate-man-page.·.\"
3 .TH·LPS2LTS·"1"·"September·2020"·"lps2lts·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPS2LTS·"1"·"October·2021"·"lps2lts·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lps2lts·\-·generate·an·LTS·from·an·LPS5 lps2lts·\-·generate·an·LTS·from·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lps2lts7 .B·lps2lts
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Generate·an·LTS·from·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.·If·10 Generate·an·LTS·from·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.·If·
⊟
861 B
./usr/share/man/man1/lps2pbes.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·22551 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2253
⊟
599 B
lps2pbes.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lps2pbes·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lps2pbes·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lps2pbes·--generate-man-page.·.\"2 .\"·Generated·from·lps2pbes·--generate-man-page.·.\"
3 .TH·LPS2PBES·"1"·"September·2020"·"lps2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPS2PBES·"1"·"October·2021"·"lps2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lps2pbes·\-·generate·a·PBES·from·an·LPS·and·a·state·formula5 lps2pbes·\-·generate·a·PBES·from·an·LPS·and·a·state·formula
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lps2pbes7 .B·lps2pbes
8 [\fIOPTION\fR]...·--formula=FILE·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·--formula=FILE·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Convert·the·state·formula·in·FILE·and·the·LPS·in·INFILE·to·a·parameterised·10 Convert·the·state·formula·in·FILE·and·the·LPS·in·INFILE·to·a·parameterised·
⊟
797 B
./usr/share/man/man1/lps2torx.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19931 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1991
⊟
535 B
lps2torx.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lps2torx·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lps2torx·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lps2torx·--generate-man-page.·.\"2 .\"·Generated·from·lps2torx·--generate-man-page.·.\"
3 .TH·LPS2TORX·"1"·"September·2020"·"lps2torx·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPS2TORX·"1"·"October·2021"·"lps2torx·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lps2torx·\-·provide·TorX·explorer·interface·to·an·LPS5 lps2torx·\-·provide·TorX·explorer·interface·to·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lps2torx7 .B·lps2torx
8 [\fIOPTION\fR]...·INFILE8 [\fIOPTION\fR]...·INFILE
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Provide·a·TorX·explorer·interface·to·the·LPS·in·INFILE.·10 Provide·a·TorX·explorer·interface·to·the·LPS·in·INFILE.·
⊟
929 B
./usr/share/man/man1/lpsactionrename.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·25821 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2580
⊟
653 B
lpsactionrename.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsactionrename·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsactionrename·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsactionrename·--generate-man-page.·.\"2 .\"·Generated·from·lpsactionrename·--generate-man-page.·.\"
3 .TH·LPSACTIONRENAME·"1"·"September·2020"·"lpsactionrename·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSACTIONRENAME·"1"·"October·2021"·"lpsactionrename·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsactionrename·\-·rename·actions·of·an·LPS5 lpsactionrename·\-·rename·actions·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsactionrename7 .B·lpsactionrename
8 [\fIOPTION\fR]...·--renamefile=NAME·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·--renamefile=NAME·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Apply·the·action·rename·specification·in·FILE·to·the·LPS·in·INFILE·and·save·it·10 Apply·the·action·rename·specification·in·FILE·to·the·LPS·in·INFILE·and·save·it·
⊟
883 B
./usr/share/man/man1/lpsbinary.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·20251 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2023
⊟
619 B
lpsbinary.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsbinary·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsbinary·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsbinary·--generate-man-page.·.\"2 .\"·Generated·from·lpsbinary·--generate-man-page.·.\"
3 .TH·LPSBINARY·"1"·"September·2020"·"lpsbinary·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSBINARY·"1"·"October·2021"·"lpsbinary·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsbinary·\-·replace·finite·sort·variables·by·vectors·of·boolean·variables·in·an·LPS5 lpsbinary·\-·replace·finite·sort·variables·by·vectors·of·boolean·variables·in·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsbinary7 .B·lpsbinary
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Replace·finite·sort·variables·by·vectors·of·boolean·variables·in·the·LPS·in·10 Replace·finite·sort·variables·by·vectors·of·boolean·variables·in·the·LPS·in·
⊟
888 B
./usr/share/man/man1/lpsconfcheck.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·37001 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3698
⊟
618 B
lpsconfcheck.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsconfcheck·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsconfcheck·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsconfcheck·--generate-man-page.·.\"2 .\"·Generated·from·lpsconfcheck·--generate-man-page.·.\"
3 .TH·LPSCONFCHECK·"1"·"September·2020"·"lpsconfcheck·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSCONFCHECK·"1"·"October·2021"·"lpsconfcheck·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsconfcheck·\-·mark·confluent·tau-summands·of·an·LPS5 lpsconfcheck·\-·mark·confluent·tau-summands·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsconfcheck7 .B·lpsconfcheck
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Checks·which·tau-summands·of·the·mCRL2·LPS·in·INFILE·are·confluent,·marks·them·10 Checks·which·tau-summands·of·the·mCRL2·LPS·in·INFILE·are·confluent,·marks·them·
⊟
878 B
./usr/share/man/man1/lpsconstelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·24451 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2443
⊟
610 B
lpsconstelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsconstelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsconstelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsconstelm·--generate-man-page.·.\"2 .\"·Generated·from·lpsconstelm·--generate-man-page.·.\"
3 .TH·LPSCONSTELM·"1"·"September·2020"·"lpsconstelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSCONSTELM·"1"·"October·2021"·"lpsconstelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsconstelm·\-·removes·constant·parameters·from·an·LPS5 lpsconstelm·\-·removes·constant·parameters·from·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsconstelm7 .B·lpsconstelm
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Remove·constant·process·parameters·from·the·LPS·in·INFILE·and·write·the·result·10 Remove·constant·process·parameters·from·the·LPS·in·INFILE·and·write·the·result·
⊟
810 B
./usr/share/man/man1/lpsinfo.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·15191 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1517
⊟
550 B
lpsinfo.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsinfo·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsinfo·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsinfo·--generate-man-page.·.\"2 .\"·Generated·from·lpsinfo·--generate-man-page.·.\"
3 .TH·LPSINFO·"1"·"September·2020"·"lpsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSINFO·"1"·"October·2021"·"lpsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsinfo·\-·display·basic·information·about·an·LPS5 lpsinfo·\-·display·basic·information·about·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsinfo7 .B·lpsinfo
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·basic·information·on·the·linear·process·specification·(LPS)·in·INFILE.10 Print·basic·information·on·the·linear·process·specification·(LPS)·in·INFILE.
⊟
903 B
./usr/share/man/man1/lpsinvelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·37991 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3797
⊟
639 B
lpsinvelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsinvelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsinvelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsinvelm·--generate-man-page.·.\"2 .\"·Generated·from·lpsinvelm·--generate-man-page.·.\"
3 .TH·LPSINVELM·"1"·"September·2020"·"lpsinvelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSINVELM·"1"·"October·2021"·"lpsinvelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsinvelm·\-·check·invariants·and·use·these·to·simplify·or·eliminate·summands·of·an·LPS5 lpsinvelm·\-·check·invariants·and·use·these·to·simplify·or·eliminate·summands·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsinvelm7 .B·lpsinvelm
8 [\fIOPTION\fR]...·--invfile=INVFILE·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·--invfile=INVFILE·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Checks·whether·the·boolean·formula·(an·mCRL2·data·expression·of·sort·Bool)·10 Checks·whether·the·boolean·formula·(an·mCRL2·data·expression·of·sort·Bool)·
⊟
851 B
./usr/share/man/man1/lpsparelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·17061 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1704
⊟
587 B
lpsparelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsparelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsparelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsparelm·--generate-man-page.·.\"2 .\"·Generated·from·lpsparelm·--generate-man-page.·.\"
3 .TH·LPSPARELM·"1"·"September·2020"·"lpsparelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSPARELM·"1"·"October·2021"·"lpsparelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsparelm·\-·remove·unused·parameters·from·an·LPS5 lpsparelm·\-·remove·unused·parameters·from·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsparelm7 .B·lpsparelm
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Remove·unused·parameters·from·the·linear·process·specification·(LPS)·in·INFILE·10 Remove·unused·parameters·from·the·linear·process·specification·(LPS)·in·INFILE·
⊟
885 B
./usr/share/man/man1/lpsparunfold.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·23991 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2397
⊟
615 B
lpsparunfold.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsparunfold·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsparunfold·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsparunfold·--generate-man-page.·.\"2 .\"·Generated·from·lpsparunfold·--generate-man-page.·.\"
3 .TH·LPSPARUNFOLD·"1"·"September·2020"·"lpsparunfold·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSPARUNFOLD·"1"·"October·2021"·"lpsparunfold·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsparunfold·\-·unfolds·process·parameter·of·an·LPS5 lpsparunfold·\-·unfolds·process·parameter·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsparunfold7 .B·lpsparunfold
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Unfolds·a·set·of·given·process·parameters·of·the·linear·process·specification·10 Unfolds·a·set·of·given·process·parameters·of·the·linear·process·specification·
⊟
787 B
./usr/share/man/man1/lpspp.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·18731 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1871
⊟
531 B
lpspp.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpspp·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpspp·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpspp·--generate-man-page.·.\"2 .\"·Generated·from·lpspp·--generate-man-page.·.\"
3 .TH·LPSPP·"1"·"September·2020"·"lpspp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSPP·"1"·"October·2021"·"lpspp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpspp·\-·pretty·print·an·LPS5 lpspp·\-·pretty·print·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpspp7 .B·lpspp
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·the·mCRL2·LPS·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·10 Print·the·mCRL2·LPS·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·
⊟
826 B
./usr/share/man/man1/lpsrewr.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19801 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1978
⊟
566 B
lpsrewr.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsrewr·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsrewr·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsrewr·--generate-man-page.·.\"2 .\"·Generated·from·lpsrewr·--generate-man-page.·.\"
3 .TH·LPSREWR·"1"·"September·2020"·"lpsrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSREWR·"1"·"October·2021"·"lpsrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsrewr·\-·rewrite·data·expressions·in·an·LPS5 lpsrewr·\-·rewrite·data·expressions·in·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsrewr7 .B·lpsrewr
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Rewrite·data·expressions·of·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.If·10 Rewrite·data·expressions·of·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.If·
⊟
771 B
./usr/share/man/man1/lpssim.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19021 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1900
⊟
513 B
lpssim.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpssim·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpssim·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpssim·--generate-man-page.·.\"2 .\"·Generated·from·lpssim·--generate-man-page.·.\"
3 .TH·LPSSIM·"1"·"September·2020"·"lpssim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSSIM·"1"·"October·2021"·"lpssim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpssim·\-·command-line·simulation·of·an·LPS5 lpssim·\-·command-line·simulation·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpssim7 .B·lpssim
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Simulate·the·LPS·in·INFILE·via·a·text-based·interface.10 Simulate·the·LPS·in·INFILE·via·a·text-based·interface.
⊟
854 B
./usr/share/man/man1/lpssumelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·17271 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1725
⊟
590 B
lpssumelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpssumelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpssumelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpssumelm·--generate-man-page.·.\"2 .\"·Generated·from·lpssumelm·--generate-man-page.·.\"
3 .TH·LPSSUMELM·"1"·"September·2020"·"lpssumelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSSUMELM·"1"·"October·2021"·"lpssumelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpssumelm·\-·remove·superfluous·summations·from·an·LPS5 lpssumelm·\-·remove·superfluous·summations·from·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpssumelm7 .B·lpssumelm
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Remove·superfluous·summations·from·the·linear·process·specification·(LPS)·in·10 Remove·superfluous·summations·from·the·linear·process·specification·(LPS)·in·
⊟
867 B
./usr/share/man/man1/lpssuminst.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·23041 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2302
⊟
601 B
lpssuminst.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpssuminst·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpssuminst·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpssuminst·--generate-man-page.·.\"2 .\"·Generated·from·lpssuminst·--generate-man-page.·.\"
3 .TH·LPSSUMINST·"1"·"September·2020"·"lpssuminst·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSSUMINST·"1"·"October·2021"·"lpssuminst·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpssuminst·\-·instantiate·summation·variables·of·an·LPS5 lpssuminst·\-·instantiate·summation·variables·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpssuminst7 .B·lpssuminst
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Instantiate·the·summation·variables·of·the·linear·process·specification·(LPS)·10 Instantiate·the·summation·variables·of·the·linear·process·specification·(LPS)·
⊟
839 B
./usr/share/man/man1/lpsuntime.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·16201 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1618
⊟
575 B
lpsuntime.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lpsuntime·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lpsuntime·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lpsuntime·--generate-man-page.·.\"2 .\"·Generated·from·lpsuntime·--generate-man-page.·.\"
3 .TH·LPSUNTIME·"1"·"September·2020"·"lpsuntime·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSUNTIME·"1"·"October·2021"·"lpsuntime·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lpsuntime·\-·remove·time·from·an·LPS5 lpsuntime·\-·remove·time·from·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lpsuntime7 .B·lpsuntime
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Remove·time·from·the·linear·process·specification·(LPS)·in·INFILE·and·write·the·10 Remove·time·from·the·linear·process·specification·(LPS)·in·INFILE·and·write·the·
⊟
805 B
./usr/share/man/man1/lpsxsim.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19691 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1967
⊟
545 B
lpsxsim.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·LpsXSim·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·LpsXSim·version·201409.0·(Release).·.\"
2 .\"·Generated·from·LpsXSim·--generate-man-page.·.\"2 .\"·Generated·from·LpsXSim·--generate-man-page.·.\"
3 .TH·LPSXSIM·"1"·"September·2020"·"LpsXSim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LPSXSIM·"1"·"October·2021"·"LpsXSim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 LpsXSim·\-·graphical·simulation·of·an·LPS5 LpsXSim·\-·graphical·simulation·of·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·LpsXSim7 .B·LpsXSim
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Simulates·linear·process·descriptions·in·a·graphical·environment.·If·INFILE·is·10 Simulates·linear·process·descriptions·in·a·graphical·environment.·If·INFILE·is·
⊟
821 B
./usr/share/man/man1/lts2lps.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·20421 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2040
⊟
561 B
lts2lps.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lts2lps·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lts2lps·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lts2lps·--generate-man-page.·.\"2 .\"·Generated·from·lts2lps·--generate-man-page.·.\"
3 .TH·LTS2LPS·"1"·"September·2020"·"lts2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTS2LPS·"1"·"October·2021"·"lts2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lts2lps·\-·translates·an·LTS·into·an·LPS5 lts2lps·\-·translates·an·LTS·into·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lts2lps7 .B·lts2lps
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Translates·an·LTS·in·INFILE·and·writes·the·resulting·LPS·to·OUTFILE.·If·OUTFILE·10 Translates·an·LTS·in·INFILE·and·writes·the·resulting·LPS·to·OUTFILE.·If·OUTFILE·
⊟
827 B
./usr/share/man/man1/lts2pbes.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·23381 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2336
⊟
565 B
lts2pbes.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·lts2pbes·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·lts2pbes·version·201409.0·(Release).·.\"
2 .\"·Generated·from·lts2pbes·--generate-man-page.·.\"2 .\"·Generated·from·lts2pbes·--generate-man-page.·.\"
3 .TH·LTS2PBES·"1"·"September·2020"·"lts2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTS2PBES·"1"·"October·2021"·"lts2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 lts2pbes·\-·translates·an·LTS·into·an·PBES5 lts2pbes·\-·translates·an·LTS·into·an·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·lts2pbes7 .B·lts2pbes
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Translates·an·LTS·in·INFILE·and·writes·the·resulting·PBES·to·OUTFILE.·If·10 Translates·an·LTS·in·INFILE·and·writes·the·resulting·PBES·to·OUTFILE.·If·
⊟
836 B
./usr/share/man/man1/ltscompare.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·32791 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3277
⊟
570 B
ltscompare.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·ltscompare·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·ltscompare·version·201409.0·(Release).·.\"
2 .\"·Generated·from·ltscompare·--generate-man-page.·.\"2 .\"·Generated·from·ltscompare·--generate-man-page.·.\"
3 .TH·LTSCOMPARE·"1"·"September·2020"·"ltscompare·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTSCOMPARE·"1"·"October·2021"·"ltscompare·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 ltscompare·\-·compare·two·LTSs5 ltscompare·\-·compare·two·LTSs
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·ltscompare7 .B·ltscompare
8 [\fIOPTION\fR]...·[\fIINFILE1\fR]·INFILE28 [\fIOPTION\fR]...·[\fIINFILE1\fR]·INFILE2
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Determine·whether·or·not·the·labelled·transition·systems·(LTSs)·in·INFILE1·and·10 Determine·whether·or·not·the·labelled·transition·systems·(LTSs)·in·INFILE1·and·
⊟
860 B
./usr/share/man/man1/ltsconvert.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·38981 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3896
⊟
594 B
ltsconvert.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·ltsconvert·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·ltsconvert·version·201409.0·(Release).·.\"
2 .\"·Generated·from·ltsconvert·--generate-man-page.·.\"2 .\"·Generated·from·ltsconvert·--generate-man-page.·.\"
3 .TH·LTSCONVERT·"1"·"September·2020"·"ltsconvert·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTSCONVERT·"1"·"October·2021"·"ltsconvert·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 ltsconvert·\-·convert·and·optionally·minimise·an·LTS5 ltsconvert·\-·convert·and·optionally·minimise·an·LTS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·ltsconvert7 .B·ltsconvert
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Convert·the·labelled·transition·system·(LTS)·from·INFILE·to·OUTFILE·in·the10 Convert·the·labelled·transition·system·(LTS)·from·INFILE·to·OUTFILE·in·the
⊟
852 B
./usr/share/man/man1/ltsgraph.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·15691 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1567
⊟
590 B
ltsgraph.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·LTSGraph·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·LTSGraph·version·201409.0·(Release).·.\"
2 .\"·Generated·from·LTSGraph·--generate-man-page.·.\"2 .\"·Generated·from·LTSGraph·--generate-man-page.·.\"
3 .TH·LTSGRAPH·"1"·"September·2020"·"LTSGraph·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTSGRAPH·"1"·"October·2021"·"LTSGraph·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 LTSGraph·\-·visualise·an·LTS·as·a·graph·and·manipulate·its·layout·in·2D·and·3D5 LTSGraph·\-·visualise·an·LTS·as·a·graph·and·manipulate·its·layout·in·2D·and·3D
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·LTSGraph7 .B·LTSGraph
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Tool·for·visualizing·a·labelled·transition·systems·as·a·graph,·and·optimizing·10 Tool·for·visualizing·a·labelled·transition·systems·as·a·graph,·and·optimizing·
⊟
809 B
./usr/share/man/man1/ltsinfo.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19571 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1955
⊟
549 B
ltsinfo.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·ltsinfo·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·ltsinfo·version·201409.0·(Release).·.\"
2 .\"·Generated·from·ltsinfo·--generate-man-page.·.\"2 .\"·Generated·from·ltsinfo·--generate-man-page.·.\"
3 .TH·LTSINFO·"1"·"September·2020"·"ltsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTSINFO·"1"·"October·2021"·"ltsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 ltsinfo·\-·display·basic·information·about·an·LTS5 ltsinfo·\-·display·basic·information·about·an·LTS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·ltsinfo7 .B·ltsinfo
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·information·about·the·labelled·transition·system·(LTS)·in·INFILE.·If·10 Print·information·about·the·labelled·transition·system·(LTS)·in·INFILE.·If·
⊟
835 B
./usr/share/man/man1/ltsview.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19261 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1924
⊟
575 B
ltsview.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·LTSView·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·LTSView·version·201409.0·(Release).·.\"
2 .\"·Generated·from·LTSView·--generate-man-page.·.\"2 .\"·Generated·from·LTSView·--generate-man-page.·.\"
3 .TH·LTSVIEW·"1"·"September·2020"·"LTSView·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·LTSVIEW·"1"·"October·2021"·"LTSView·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 LTSView·\-·3D·interactive·visualization·of·a·labelled·transition·system5 LTSView·\-·3D·interactive·visualization·of·a·labelled·transition·system
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·LTSView7 .B·LTSView
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Start·the·LTSView·application.·If·INFILE·is·supplied·then·the·LTS·in·INFILE·is·10 Start·the·LTSView·application.·If·INFILE·is·supplied·then·the·LTS·in·INFILE·is·
⊟
778 B
./usr/share/man/man1/mcrl2-gui.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·14581 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1456
⊟
514 B
mcrl2-gui.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·mcrl2-gui·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·mcrl2-gui·version·201409.0·(Release).·.\"
2 .\"·Generated·from·mcrl2-gui·--generate-man-page.·.\"2 .\"·Generated·from·mcrl2-gui·--generate-man-page.·.\"
3 .TH·MCRL2-GUI·"1"·"September·2020"·"mcrl2-gui·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·MCRL2-GUI·"1"·"October·2021"·"mcrl2-gui·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 mcrl2-gui·\-·graphical·front-end·for·mCRL2·tools5 mcrl2-gui·\-·graphical·front-end·for·mCRL2·tools
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·mcrl2-gui7 .B·mcrl2-gui
8 [\fIOPTION\fR]...8 [\fIOPTION\fR]...
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 A·graphical·front-end·for·mCRL2·tools.10 A·graphical·front-end·for·mCRL2·tools.
⊟
855 B
./usr/share/man/man1/mcrl22lps.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·66101 gzip·compressed·data,·max·compression,·from·Unix,·original·size·6608
⊟
591 B
mcrl22lps.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·mcrl22lps·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·mcrl22lps·version·201409.0·(Release).·.\"
2 .\"·Generated·from·mcrl22lps·--generate-man-page.·.\"2 .\"·Generated·from·mcrl22lps·--generate-man-page.·.\"
3 .TH·MCRL22LPS·"1"·"September·2020"·"mcrl22lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·MCRL22LPS·"1"·"October·2021"·"mcrl22lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 mcrl22lps·\-·translate·an·mCRL2·specification·to·an·LPS5 mcrl22lps·\-·translate·an·mCRL2·specification·to·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·mcrl22lps7 .B·mcrl22lps
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Linearises·the·mCRL2·specification·in·INFILE·and·writes·the·resulting·LPS·to·10 Linearises·the·mCRL2·specification·in·INFILE·and·writes·the·resulting·LPS·to·
⊟
796 B
./usr/share/man/man1/mcrl2i.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·31521 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3150
⊟
538 B
mcrl2i.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·mcrl2i·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·mcrl2i·version·201409.0·(Release).·.\"
2 .\"·Generated·from·mcrl2i·--generate-man-page.·.\"2 .\"·Generated·from·mcrl2i·--generate-man-page.·.\"
3 .TH·MCRL2I·"1"·"September·2020"·"mcrl2i·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·MCRL2I·"1"·"October·2021"·"mcrl2i·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 mcrl2i·\-·Interpreter·for·the·mCRL2·data·language5 mcrl2i·\-·Interpreter·for·the·mCRL2·data·language
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·mcrl2i7 .B·mcrl2i
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Evaluate·mCRL2·data·expressions·via·a·text-based·interface.·If·INFILE·is·10 Evaluate·mCRL2·data·expressions·via·a·text-based·interface.·If·INFILE·is·
⊟
781 B
./usr/share/man/man1/mcrl2xi.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·18311 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1829
⊟
521 B
mcrl2xi.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·mCRL2xi·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·mCRL2xi·version·201409.0·(Release).·.\"
2 .\"·Generated·from·mCRL2xi·--generate-man-page.·.\"2 .\"·Generated·from·mCRL2xi·--generate-man-page.·.\"
3 .TH·MCRL2XI·"1"·"September·2020"·"mCRL2xi·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·MCRL2XI·"1"·"October·2021"·"mCRL2xi·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 mCRL2xi·\-·graphical·mCRL2·data·specification·editor5 mCRL2xi·\-·graphical·mCRL2·data·specification·editor
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·mCRL2xi7 .B·mCRL2xi
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 A·graphical·mCRL2·data·specification·editor.10 A·graphical·mCRL2·data·specification·editor.
⊟
830 B
./usr/share/man/man1/pbes2bes.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·54631 gzip·compressed·data,·max·compression,·from·Unix,·original·size·5461
⊟
568 B
pbes2bes.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbes2bes·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbes2bes·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbes2bes·--generate-man-page.·.\"2 .\"·Generated·from·pbes2bes·--generate-man-page.·.\"
3 .TH·PBES2BES·"1"·"September·2020"·"pbes2bes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBES2BES·"1"·"October·2021"·"pbes2bes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbes2bes·\-·Generate·a·BES·from·a·PBES.·5 pbes2bes·\-·Generate·a·BES·from·a·PBES.·
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbes2bes7 .B·pbes2bes
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Reads·the·PBES·from·INFILE·and·writes·an·equivalent·BES·to·OUTFILE.·If·INFILE·10 Reads·the·PBES·from·INFILE·and·writes·an·equivalent·BES·to·OUTFILE.·If·INFILE·
⊟
828 B
./usr/share/man/man1/pbes2bool.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·53921 gzip·compressed·data,·max·compression,·from·Unix,·original·size·5390
⊟
564 B
pbes2bool.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbes2bool·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbes2bool·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbes2bool·--generate-man-page.·.\"2 .\"·Generated·from·pbes2bool·--generate-man-page.·.\"
3 .TH·PBES2BOOL·"1"·"September·2020"·"pbes2bool·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBES2BOOL·"1"·"October·2021"·"pbes2bool·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbes2bool·\-·Generate·a·BES·from·a·PBES·and·solve·it.·5 pbes2bool·\-·Generate·a·BES·from·a·PBES·and·solve·it.·
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbes2bool7 .B·pbes2bool
8 [\fIOPTION\fR]...[\fIINFILE\fR]8 [\fIOPTION\fR]...[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Solves·(P)BES·from·INFILE.·If·INFILE·is·not·present,·stdin·is·used.·10 Solves·(P)BES·from·INFILE.·If·INFILE·is·not·present,·stdin·is·used.·
⊟
888 B
./usr/share/man/man1/pbesconstelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·31861 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3184
⊟
618 B
pbesconstelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbesconstelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbesconstelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbesconstelm·--generate-man-page.·.\"2 .\"·Generated·from·pbesconstelm·--generate-man-page.·.\"
3 .TH·PBESCONSTELM·"1"·"September·2020"·"pbesconstelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESCONSTELM·"1"·"October·2021"·"pbesconstelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbesconstelm·\-·remove·constant·parameters·from·a·PBES5 pbesconstelm·\-·remove·constant·parameters·from·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbesconstelm7 .B·pbesconstelm
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Reads·a·file·containing·a·PBES,·and·applies·constant·parameter·elimination·to·10 Reads·a·file·containing·a·PBES,·and·applies·constant·parameter·elimination·to·
⊟
822 B
./usr/share/man/man1/pbesinfo.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19741 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1972
⊟
560 B
pbesinfo.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbesinfo·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbesinfo·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbesinfo·--generate-man-page.·.\"2 .\"·Generated·from·pbesinfo·--generate-man-page.·.\"
3 .TH·PBESINFO·"1"·"September·2020"·"pbesinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESINFO·"1"·"October·2021"·"pbesinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbesinfo·\-·display·basic·information·about·a·PBES5 pbesinfo·\-·display·basic·information·about·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbesinfo7 .B·pbesinfo
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·basic·information·about·the·PBES·in·INFILE.·If·INFILE·is·not·present,·10 Print·basic·information·about·the·PBES·in·INFILE.·If·INFILE·is·not·present,·
⊟
860 B
./usr/share/man/man1/pbesparelm.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·22141 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2212
⊟
594 B
pbesparelm.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbesparelm·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbesparelm·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbesparelm·--generate-man-page.·.\"2 .\"·Generated·from·pbesparelm·--generate-man-page.·.\"
3 .TH·PBESPARELM·"1"·"September·2020"·"pbesparelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESPARELM·"1"·"October·2021"·"pbesparelm·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbesparelm·\-·remove·unused·parameters·from·a·PBES5 pbesparelm·\-·remove·unused·parameters·from·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbesparelm7 .B·pbesparelm
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Reads·a·file·containing·a·PBES,·and·applies·parameter·elimination·to·it.·If·10 Reads·a·file·containing·a·PBES,·and·applies·parameter·elimination·to·it.·If·
⊟
866 B
./usr/share/man/man1/pbespgsolve.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·28691 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2867
⊟
598 B
pbespgsolve.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbespgsolve·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbespgsolve·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbespgsolve·--generate-man-page.·.\"2 .\"·Generated·from·pbespgsolve·--generate-man-page.·.\"
3 .TH·PBESPGSOLVE·"1"·"September·2020"·"pbespgsolve·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESPGSOLVE·"1"·"October·2021"·"pbespgsolve·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbespgsolve·\-·Solve·a·(P)BES·or·parity·game·using·a·parity·game·solver5 pbespgsolve·\-·Solve·a·(P)BES·or·parity·game·using·a·parity·game·solver
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbespgsolve7 .B·pbespgsolve
8 [\fIOPTION\fR]...·[\fIINFILE\fR]8 [\fIOPTION\fR]...·[\fIINFILE\fR]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Reads·a·file·containing·a·(P)BES·or·a·max·parity·game·in·PGSolver·10 Reads·a·file·containing·a·(P)BES·or·a·max·parity·game·in·PGSolver·
⊟
797 B
./usr/share/man/man1/pbespp.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·17861 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1784
⊟
539 B
pbespp.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbespp·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbespp·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbespp·--generate-man-page.·.\"2 .\"·Generated·from·pbespp·--generate-man-page.·.\"
3 .TH·PBESPP·"1"·"September·2020"·"pbespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESPP·"1"·"October·2021"·"pbespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbespp·\-·pretty·print·a·PBES5 pbespp·\-·pretty·print·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbespp7 .B·pbespp
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Print·the·PBES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·10 Print·the·PBES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·
⊟
831 B
./usr/share/man/man1/pbesrewr.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·30641 gzip·compressed·data,·max·compression,·from·Unix,·original·size·3062
⊟
569 B
pbesrewr.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·pbesrewr·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·pbesrewr·version·201409.0·(Release).·.\"
2 .\"·Generated·from·pbesrewr·--generate-man-page.·.\"2 .\"·Generated·from·pbesrewr·--generate-man-page.·.\"
3 .TH·PBESREWR·"1"·"September·2020"·"pbesrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·PBESREWR·"1"·"October·2021"·"pbesrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 pbesrewr·\-·rewrite·and·simplify·a·PBES5 pbesrewr·\-·rewrite·and·simplify·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·pbesrewr7 .B·pbesrewr
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Rewrite·the·PBES·in·INFILE,·remove·quantified·variables·and·write·the·resulting·10 Rewrite·the·PBES·in·INFILE,·remove·quantified·variables·and·write·the·resulting·
⊟
816 B
./usr/share/man/man1/tracepp.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·20141 gzip·compressed·data,·max·compression,·from·Unix,·original·size·2012
⊟
556 B
tracepp.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·tracepp·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·tracepp·version·201409.0·(Release).·.\"
2 .\"·Generated·from·tracepp·--generate-man-page.·.\"2 .\"·Generated·from·tracepp·--generate-man-page.·.\"
3 .TH·TRACEPP·"1"·"September·2020"·"tracepp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·TRACEPP·"1"·"October·2021"·"tracepp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 tracepp·\-·convert·and·pretty·print·traces5 tracepp·\-·convert·and·pretty·print·traces
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·tracepp7 .B·tracepp
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Convert·the·trace·in·INFILE·and·save·it·in·another·format·to·OUTFILE.·If·10 Convert·the·trace·in·INFILE·and·save·it·in·another·format·to·OUTFILE.·If·
⊟
854 B
./usr/share/man/man1/txt2lps.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·16561 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1654
⊟
594 B
txt2lps.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·txt2lps·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·txt2lps·version·201409.0·(Release).·.\"
2 .\"·Generated·from·txt2lps·--generate-man-page.·.\"2 .\"·Generated·from·txt2lps·--generate-man-page.·.\"
3 .TH·TXT2LPS·"1"·"September·2020"·"txt2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·TXT2LPS·"1"·"October·2021"·"txt2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 txt2lps·\-·translates·an·mCRL2·specification·of·a·linear·process·into·an·LPS5 txt2lps·\-·translates·an·mCRL2·specification·of·a·linear·process·into·an·LPS
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·txt2lps7 .B·txt2lps
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Translates·the·mCRL2·specification·in·INFILE·and·writes·the·resulting·LPS·to·10 Translates·the·mCRL2·specification·in·INFILE·and·writes·the·resulting·LPS·to·
⊟
841 B
./usr/share/man/man1/txt2pbes.1.gz
⊟
194 B
filetype from file(1)
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 gzip·compressed·data,·max·compression,·from·Unix,·original·size·19411 gzip·compressed·data,·max·compression,·from·Unix,·original·size·1939
⊟
579 B
txt2pbes.1
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 .\"·Manual·page·for·txt2pbes·version·201409.0·(Release).·.\"1 .\"·Manual·page·for·txt2pbes·version·201409.0·(Release).·.\"
2 .\"·Generated·from·txt2pbes·--generate-man-page.·.\"2 .\"·Generated·from·txt2pbes·--generate-man-page.·.\"
3 .TH·TXT2PBES·"1"·"September·2020"·"txt2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"3 .TH·TXT2PBES·"1"·"October·2021"·"txt2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4 .SH·NAME4 .SH·NAME
5 txt2pbes·\-·parse·a·textual·description·of·a·PBES5 txt2pbes·\-·parse·a·textual·description·of·a·PBES
6 .SH·SYNOPSIS6 .SH·SYNOPSIS
7 .B·txt2pbes7 .B·txt2pbes
8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]8 [\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9 .SH·DESCRIPTION9 .SH·DESCRIPTION
10 Parse·the·textual·description·of·a·PBES·from·INFILE·and·write·it·to·OUTFILE.·If·10 Parse·the·textual·description·of·a·PBES·from·INFILE·and·write·it·to·OUTFILE.·If·
Generated by diffoscope 159