verifypn

lp:~tapaal-ltl/verifypn/automata-stub

Created by Simon Virenfeldt on 2021-04-15 and last modified on 2021-04-28

Get this branch:: bzr branch lp:~tapaal-ltl/verifypn/automata-stub

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

292. By Nikolaj Jensen Ulrik on 2021-04-28: Ensuring Torsten cond 3 in smarter way, some magic constant cleanup
291. By Nikolaj Jensen Ulrik on 2021-04-27: Fix infinite recursion
290. By Nikolaj Jensen Ulrik on 2021-04-23: Fix one remaining error
289. By Nikolaj Jensen Ulrik on 2021-04-23: Fix bugs in new automaton stubborn set logic
288. By Nikolaj Jensen Ulrik on 2021-04-22: Nearly working smarter non-determinism
287. By Simon Virenfeldt on 2021-04-16: Change optimisations to low
286. By Simon Virenfeldt on 2021-04-16: Fix int and uint32_t compare warning
285. By Simon Virenfeldt on 2021-04-15: Fix retarding stubborn set not being prepared.
284. By Simon Virenfeldt on 2021-04-15: Merge lp:~tapaal-ltl/verifypn/replay-trace@259
283. By Simon Virenfeldt on 2021-04-15: Initial implementation of Automata Stubborn set following Torsten

»

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