lp:~tapaal-ltl/verifypn/loopInvariantReduction

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

262. By Simon Virenfeldt on 2021-03-26

Added states explored print and disabled fallthrough to reachability,

261. By Simon Virenfeldt on 2021-03-02

Remove complete preference from the buchi generation

260. By Simon Virenfeldt on 2021-02-18

If reduction is set to 4 or 5 revert to 1 if we are trying to do reachability.

259. By Simon Virenfeldt on 2021-02-18

Added options to disable loop invariant reduction

258. By Simon Virenfeldt on 2021-02-17

Fix bug in rule K which removed marked selfloop outside relevant transitions

257. By Simon Virenfeldt on 2021-02-17

Code format

256. By Simon Virenfeldt on 2021-02-17

Added context analysis to reduction flow

255. By Simon Virenfeldt on 2021-02-15

Implemented is dirty. Corectness testing begun

254. By Simon Virenfeldt on 2021-02-12

Initial implementation of loop invariant reduction. is_dirty has not yet been implemented.

253. By Simon Virenfeldt on 2021-02-12

Merge ltl-stubborn-set@253