lp:~tapaal-ltl/verifypn/stubborn-set-refactor-merged

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

249. By Nikolaj Jensen Ulrik on 2021-03-16

comment about naive PQL -> spot translation

248. By Nikolaj Jensen Ulrik on 2021-03-16

Update version string with new authors

247. By Nikolaj Jensen Ulrik on 2021-03-16

Merge fix of cross-compililation

Merged branch lp:~yrke/verifypn/stubborn-set-refactor-merged-buildwin

246. By Nikolaj Jensen Ulrik on 2021-03-10

Write ID instead of formula string to Büchi automaton

245. By Nikolaj Jensen Ulrik on 2021-03-09

Allow pushNegation on ACondition and ECondition

244. By Peter G. Jensen <email address hidden> on 2021-03-07

fixing output

243. By Peter G. Jensen <email address hidden> on 2021-03-07

fixed infinite recursion

242. By Peter G. Jensen <email address hidden> on 2021-03-07

allowing overapprox for LTL

241. By Nikolaj Jensen Ulrik on 2021-03-07

Fix interesting transitions of temporal quantifiers

240. By Simon Virenfeldt on 2021-03-06

Disable reduction rule K as correcness has not been ensured.