verifypn

lp:~tapaal-ltl/verifypn/random-ndfs

Created by Nikolaj Jensen Ulrik and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/random-ndfs
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Merged

Recent revisions

242. By Nikolaj Jensen Ulrik

Rough sketch of random NDFS implementation

241. By Nikolaj Jensen Ulrik

XML format for LTL quantifiers

240. By Nikolaj Jensen Ulrik

Fix reachability engine not being called

239. By Simon Virenfeldt

Disable LTL query simplifications if queryReductionTimeout is 0

238. By Nikolaj Jensen Ulrik

Merge integration@241

237. By Nikolaj Jensen Ulrik

Merge weak-tarjan2@237

236. By Nikolaj Jensen Ulrik

Minor tweaks in Tarjan

235. By Simon Virenfeldt

Merge ltl-structural-reductions@267 into ltl_model_checker@234

234. By Nikolaj Jensen Ulrik

Merge query-simplifications into ltl_model_checker

233. By Simon Virenfeldt

Merge ltl-weak-ndfs

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