lp:~tapaal-ltl/verifypn/experimental-ltl-heuristics

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

252. By Nikolaj Jensen Ulrik on 2021-10-12

Branch containing experimental heuristics in the LTL engine,
namely compositional heuristics (currently just weighted sums).
As of spring 2021, experimental evaluation did not show any benchmark-wide improvements.

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

243. By <email address hidden> on 2021-07-07

merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser