verifypn

lp:~tapaal-ltl/verifypn/fire-count-heuristic

Created by Simon Virenfeldt on 2021-03-31 and last modified on 2021-03-31

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/fire-count-heuristic

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

271. By Simon Virenfeldt on 2021-03-31: Implemented fire count heuristic
270. By Nikolaj Jensen Ulrik on 2021-03-24: WIP Büchi guided search
269. By Nikolaj Jensen Ulrik on 2021-03-23: Ensure spooler gets set
268. By Nikolaj Jensen Ulrik on 2021-03-19: Add calls to generateAll
267. By Nikolaj Jensen Ulrik on 2021-03-19: LTL engine now allows combination of stubborn sets and heuristics
266. By Nikolaj Jensen Ulrik on 2021-03-19: Functioning spooling successor generator
265. By Nikolaj Jensen Ulrik on 2021-03-18: Refactor successor generator and make cleverer spooling successor generator
264. By Nikolaj Jensen Ulrik on 2021-03-17: merge resuming-stubborn-tarjan@261
263. By Nikolaj Jensen Ulrik on 2021-03-17: merge interesting-trans-stub@267
262. By Nikolaj Jensen Ulrik on 2021-03-17: merge automata-stubborn-sets@271

»

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