verifypn

lp:~tapaal-ltl/verifypn/composed-heuristics

Created by Simon Virenfeldt on 2021-04-09 and last modified on 2021-04-21

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/composed-heuristics

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:: Merged

Recent revisions

283. By Nikolaj Jensen Ulrik on 2021-04-21: Piecewise zero/log fire count heuristic
282. By Simon Virenfeldt on 2021-04-09: Merged lp:~tapaal-ltl/verifypn/ltl-trunk
281. By Simon Virenfeldt on 2021-04-08: Added weighted composed heuristic
280. By Simon Virenfeldt on 2021-04-07: Merge lp:~tapaal-ltl/verifypn/fire-count-heuristic@271
279. By Nikolaj Jensen Ulrik on 2021-04-07: merge remote ltl-stubborn-set@277
278. By Nikolaj Jensen Ulrik on 2021-04-06: Merge ltl-trunk@255..258
277. By Nikolaj Jensen Ulrik on 2021-04-06: Merge ltl-trunk@253
276. By Nikolaj Jensen Ulrik on 2021-03-26: interesting
275. By Nikolaj Jensen Ulrik on 2021-03-26: Fix end of trace in Tarjan
274. By Nikolaj Jensen Ulrik on 2021-03-25: Add switch to disable Büchi compression, and disable the compression when printing the automaton

»

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