Created by Nikolaj Jensen Ulrik and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/simple-ltl-heuristics
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

255. By Nikolaj Jensen Ulrik

making the --ltl-heur help string more clear

254. By Nikolaj Jensen Ulrik

Removing dangling HeuristicParser.h

253. By Nikolaj Jensen Ulrik

Reverting bison dependency bump---tested on Bison 3.5.1

252. By Nikolaj Jensen Ulrik

Remove combined heuristics and hence simplify the CLI parameter

251. By Jiri Srba <email address hidden>

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

250. By Jiri Srba

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>

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

248. By Jiri Srba

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>

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

246. By Jiri Srba

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.