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

Created by Simon Virenfeldt and last modified
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

Related bugs

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.

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