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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~tapaal-ltl/verifypn/stubborn-set-refactor-merged at revision 247

tapaal-ltl: Pending requested 2021-03-15

Diff: 16 lines (+3/-3)

1 file modified

CMakeLists.txt (+3/-3)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

249. By Kenneth Yrke Jørgensen on 2021-03-15

Updated SPOT to 2.9.6

248. By Kenneth Yrke Jørgensen on 2021-03-15

Reverted lib updatewq

247. By Kenneth Yrke Jørgensen on 2021-03-15

Parsed tool-chain down to dependency

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.