lp:~tapaal-ltl/verifypn/ltl-trunk

Created by Simon Virenfeldt and last modified
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/ltl-trunk
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

266. By Jiri Srba on 2021-04-12

updated competition script

265. By Nikolaj Jensen Ulrik on 2021-04-09

Fix out of date documentation string

264. By Simon Virenfeldt on 2021-04-08

Changed the LTL competition timeouts to match CTL in the sequential step.

263. By Simon Virenfeldt on 2021-04-07

Created MCC21 folder as a copy of MCC20 but with tapaal.sh updated with LTL.

262. By Nikolaj Jensen Ulrik on 2021-04-07

merge remote

261. By Nikolaj Jensen Ulrik on 2021-04-07

Properly default to heuristic search in LTL engine

260. By Nikolaj Jensen Ulrik on 2021-04-07

Fix RandomNDFS not getting any states

259. By Nikolaj Jensen Ulrik on 2021-04-06

Default AP compression to off and set spot optimizations to low

258. By Simon Virenfeldt on 2021-04-06

Fixed bug in interesting transition visitor and changed LTL to default to BestFS search

257. By Simon Virenfeldt on 2021-04-06

Merge lp:verifypn

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