lp:~tapaal-contributor/verifypn/show-reduced-net

Branch merges

Propose for merging

Merged into lp:verifypn at revision 230

Jiri Srba: Approve on 2020-12-17

Peter Gjøl Jensen: Approve on 2020-12-14

Diff: 17 lines (+0/-7)

1 file modified

src/VerifyPN.cpp (+0/-7)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

230. By Thomas Pedersen <email address hidden> on 2020-11-13

Remove restriction preventing -s OverAprox -q 0

229. By Jiri Srba on 2020-10-31

increased version number to 3.1.1

228. By Jiri Srba on 2020-10-31

merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net

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