lp:~verifypn-cpn/verifypn/colored

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

201. By Andreas Klostergaard on 2018-02-20

Further added expressions and begun implementing Multiset

200. By Andreas Klostergaard on 2018-02-20

Begun adding expressions and color classes

199. By Andreas Klostergaard on 2018-02-19

merged with write_query_model

198. By Andreas Klostergaard on 2018-02-17

Finishing up for tonight

197. By Jiri Srba on 2018-01-23

merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates

196. By Jiri Srba on 2018-01-15

updated the license file

195. By Jiri Srba on 2018-01-15

merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)

194. By Jiri Srba on 2018-01-13

changed version number to 2.2.0 and copyright to 2018

193. By Jiri Srba <email address hidden> on 2018-01-04

merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm

192. By Jiri Srba <email address hidden> on 2017-12-14

merged in branch lp:~verifypn-stub/verifypn/conjunction
- Compiles inequalities into a convex constraint-system when possible.
- Unfolds fire-ability propositions on-the-fly instead of up front.
- Removes occurrences of same variable of each side of an equality over commutative arithmetic operators (eg a+b+c<=a can be rewritten b+c<=0).
- Compiles id-expressions and constants directly into an array of a commutative arithmetic expression rather than as child-objects.
- Constructs lazy linear programs into a (balanced) tree instead of a linear walk through (fixes issue with stack-overflow).