verifypn

lp:~boginw/verifypn/fix-branch

Created by Bogi on 2020-09-25 and last modified on 2020-09-25

Only Bogi can upload to this branch. If you are Bogi please log in for upload directions.

Ready for review for merging into lp:verifypn

Peter Gjøl Jensen: Disapprove on 2020-09-25

228. By Bogi on 2020-09-25: Changed `*.size() > 0` to `!*.empty()` and `*.size() == 0` to `*.empty()`
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

This branch contains Public information

Everyone can see this information.