lp:~verifypn-wf/verifypn/png

Branch merges

Propose for merging

1 branch proposed for merging into this one.

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

228. By Bogi on 2020-11-02

* Applied changes from Peter
* Corrected spelling
* Renamed variables
* Extracted methods
* Other misc. refactorings

227. By <email address hidden> on 2020-09-18

fixed compilation with static libraries for mac

226. By <email address hidden> on 2020-09-11

updated version number to 3.1.0

225. By <email address hidden> on 2020-09-11

merged in lp:~verifypn-maintainers/verifypn/interval_tar doing
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
 - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
 - Implements new global properties, translated into CTL formulae.

224. By Jiri Srba on 2020-04-30

updated MCC 2020 competition script

223. By Jiri Srba on 2020-04-27

fixed a bug in MCC20 script BC should be BK

222. By <email address hidden> on 2020-04-26

updated MCC20 scripts and added README file for installing the VM

221. By <email address hidden> on 2020-04-25

small update in scripts

220. By <email address hidden> on 2020-04-25

added MCC 2020 competition scripts

219. By <email address hidden> on 2019-04-23

merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check
in NIM model