verifypn

lp:verifypn

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

Recent revisions

255. By Jiri Srba

merged in lp:~verifypn-cpn/verifypn/relevant-inhib-fix fixing a problem with inhibitor arcs in reduction rule

254. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuristics simplifying the heuristic search selection and back to Bison 3.5

253. By Jiri Srba

merged in lp:~verifypn-cpn/verifypn/xml_visitor making visitor pattern for printing

252. By <email address hidden>

merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR for LTL, improves NDFS performance and fixes trace generation

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

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:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.