lp:~tapaal-ltl/verifypn/replay-trace

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

259. By Nikolaj Jensen Ulrik on 2021-03-26

Commenting the code

258. By Nikolaj Jensen Ulrik on 2021-03-26

Add marking checks to trace replay, assorted bugfixes

257. By Nikolaj Jensen Ulrik on 2021-03-26

Merging ltl trunk, integrating Buchi and marking into playback

256. By Nikolaj Jensen Ulrik on 2021-03-25

WIP: Partially incorporate B├╝chi state in replay

255. By Nikolaj Jensen Ulrik on 2021-03-24

merge

254. By Nikolaj Jensen Ulrik on 2021-03-24

Speed-up loop + parse deadlock tag

253. By Simon Virenfeldt on 2021-03-24

Quick implementation of trace replay

252. By Simon Virenfeldt on 2021-03-19

Remove using namespace statements from LTL header files.

251. By Simon Virenfeldt on 2021-03-18

Make Spot compile with C++17 instead of C++14

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