verifypn

lp:~tapaal-ltl/verifypn/ltl-stubborn-merge

Created by Nikolaj Jensen Ulrik on 2021-04-14 and last modified on 2021-04-15

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/ltl-stubborn-merge

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

Branch merges

No branches dependent on this one.

Ready for review for merging into lp:~tapaal-ltl/verifypn/random-fix

tapaal-ltl: Pending requested 2021-04-14

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: tapaal-ltl

Project:: verifypn

Status:: Merged

Recent revisions

290. By Nikolaj Jensen Ulrik on 2021-04-15: Realign help and options parse v2
289. By Nikolaj Jensen Ulrik on 2021-04-15: Realign help and options parse (whoops!)
288. By Nikolaj Jensen Ulrik on 2021-04-14: Remove RandomNDFS and use NestedDepthFirstSearch for random NDFS instead
287. By Nikolaj Jensen Ulrik on 2021-04-14: Reformulate POR documentation in -h
286. By Nikolaj Jensen Ulrik on 2021-04-14: Fixing warnings
285. By Nikolaj Jensen Ulrik on 2021-04-14: Fix build error, document --ltl-por
284. By Nikolaj Jensen Ulrik on 2021-04-14: Merge reach-aut-stub@275
283. By Nikolaj Jensen Ulrik on 2021-04-14: Merge random-fix@240
282. By Nikolaj Jensen Ulrik on 2021-04-13: Replace extstack with dentry bit on CEntry
281. By Nikolaj Jensen Ulrik on 2021-04-09: Merge remote@282

»

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