lp:~tapaal-ltl/verifypn/automata-stubborn-sets

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

271. By Simon Virenfeldt on 2021-03-05

Fixed infinite loop bug in TarjanModelChecker trace

270. By Nikolaj Jensen Ulrik on 2021-03-04

fy fan linker error

269. By Simon Virenfeldt on 2021-03-04

Merge lp:~tapaal-ltl/verifypn/ltl-model-checker@257

268. By Simon Virenfeldt on 2021-03-04

Changed remaining negated stubborn copy to use the new copy function

267. By Simon Virenfeldt on 2021-03-03

If the retarding formula is not satisfied in an accepting state treat it as a progressing formula. Du not run clojure if the retarding formula is not satisfied.

266. By Simon Virenfeldt on 2021-03-03

Changed condition when we are in an accepting state. Now we do the closure on the complement of the negated retarding formula. This will add significantly more states to the stubborn set, it is however not inconcieveable that a lot of transitions are interesting wrt. staying in the accepting state.

265. By Simon Virenfeldt on 2021-03-03

Fix compile errors from merge

264. By Simon Virenfeldt on 2021-03-03

Merge lp:~tapaal-ltl/verifypn/ltl-model-checker@256

263. By Nikolaj Jensen Ulrik on 2021-03-02

misc changes

262. By Nikolaj Jensen Ulrik on 2021-02-25

Poor performance automata stubborn set