verifypn

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

Created by Simon Virenfeldt on 2021-03-16 and last modified on 2021-04-12

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

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

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