verifypn

lp:~tapaal-ltl/verifypn/buchi-better-cleanup

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

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/buchi-better-cleanup

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

Branch merges

No branches dependent on this one.

Merged into lp:~tapaal-ltl/verifypn/ltl-model-checker at revision 251

Simon Virenfeldt: Approve on 2021-02-15

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: tapaal-ltl

Project:: verifypn

Status:: Merged

Recent revisions

251. By Nikolaj Jensen Ulrik on 2021-02-15: Use release_iter instead of delete to clean-up twa_succ_iterator
250. By Nikolaj Jensen Ulrik on 2021-02-05: High -> Medium optimizations in Spot for less overkill
249. By Nikolaj Jensen Ulrik on 2021-02-04: Merge from origin
248. By Nikolaj Jensen Ulrik on 2021-02-04: Proper print of CommutativeExpr
247. By Simon Virenfeldt on 2021-02-01: Merge ltl-cleanup@247
246. By Simon Virenfeldt on 2021-02-01: Merge binary-encoder@247
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

»

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