verifypn

lp:~tapaal-ltl/verifypn/spot-integration

Created by Nikolaj Jensen Ulrik on 2020-09-23 and last modified on 2020-10-29

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/spot-integration

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

254. By Nikolaj Jensen Ulrik on 2020-10-19: Optimizations cleanup
253. By Nikolaj Jensen Ulrik on 2020-10-19: shhhhh
252. By Nikolaj Jensen Ulrik on 2020-10-19: Some optimizations of StateSet usage in NDFS and Tarjan
251. By Nikolaj Jensen Ulrik on 2020-10-16: Add ProductPrinter and slightly optimize Tarjan
250. By Nikolaj Jensen Ulrik on 2020-10-16: Fix infinite loop in Tarjan
249. By Nikolaj Jensen Ulrik on 2020-10-16: Fix serious bug in successor generation - NDFS now seems correct
248. By Nikolaj Jensen Ulrik on 2020-10-15: Add CLI switch for LTL algorithm
247. By Nikolaj Jensen Ulrik on 2020-10-15: Merge Tarjan's algorithm into spot-integration
246. By Simon Virenfeldt on 2020-10-09: Changes deadlock semantics, to fit MCC contestants. Added PRINTF_DEBUG to Debug builds
245. By Simon Virenfeldt on 2020-10-07: Changed the is satisfied output repsect the format set by MCC

»

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