verifypn

lp:~tapaal-ltl/verifypn/scc-optimise

Created by Nikolaj Jensen Ulrik on 2021-02-11 and last modified on 2021-02-11

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/scc-optimise

Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: tapaal-ltl

Project:: verifypn

Status:: Abandoned

Recent revisions

247. By Nikolaj Jensen Ulrik on 2021-02-11: Misc tweaks/debugging
246. By Nikolaj Jensen Ulrik on 2021-02-01: NDFS: Replace weak test with direct SCC test
245. By Nikolaj Jensen Ulrik on 2021-01-08: More better printing
244. By Nikolaj Jensen Ulrik on 2021-01-08: Better print of LTL algorithm
243. By Simon Virenfeldt on 2021-01-04: Merge lp:~tapaal-ltl/verifypn/random-ndfs@242
242. By Simon Virenfeldt on 2020-12-21: Merge ltl-xml-write@241
241. By Simon Virenfeldt on 2020-12-21: Added a none option to ltl to perform a dry run
240. By Nikolaj Jensen Ulrik on 2020-12-17: Fix reachability engine not being called
239. By Simon Virenfeldt on 2020-12-14: Disable LTL query simplifications if queryReductionTimeout is 0
238. By Nikolaj Jensen Ulrik on 2020-12-11: Merge integration@241

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:verifypn

This branch contains Public information

Everyone can see this information.

Subscribers