verifypn

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

Created by Simon Virenfeldt on 2021-03-24 and last modified on 2021-03-26

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

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

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
250. By Simon Virenfeldt on 2021-03-17: Merge lp:~tapaal-ltl/verifypn/embed_nba_export@263

»

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