lp:~tapaal-red/verifypn/rule-l

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

253. By Jesper Adriaan Van Diepen on 2021-09-28

Trying to commit to bzr

252. By Nicolaj Østerby Jensen on 2021-09-24

Add reduction rule L removing dominated transitions.

251. By Jiri Srba <email address hidden> on 2021-09-01

merged in lp:~yrke/verifypn/fixed-required-bison-version updateing cmake scripts for bison

250. By Jiri Srba on 2021-08-21

merged in lp:~tapaal-ltl/verifypn/kbound-fix-ltl fixing problem with k-bound and A true in LTL engine

249. By Jiri Srba <email address hidden> on 2021-08-19

merged in lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939 fixing id clashes under unfolding

248. By Jiri Srba on 2021-08-18

merged in lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix fixing fireability predicate for transitions with empty preset

247. By Jiri Srba <email address hidden> on 2021-08-09

merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing trace generation and replay

246. By Jiri Srba on 2021-08-05

merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation

245. By <email address hidden> on 2021-07-18

merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding

244. By Kenneth Yrke Jørgensen on 2021-07-14

Fixed typo