v2.8.18

Remove Boogie error codes (#325)

v2.8.17

Fix issue #322

v2.8.16

Documentation for encoding of control flow in VC generation (#320)

* added documentation

* triggering rebuild

v2.8.15

Update GitVersionTask to latest version to resolve issue requiring MS…

…… (#319)

* Update GitVersionTask to latest version to resolve issue requiring MSBUILDSINGLELOADCONTEXT workaround

* Do not create the NuGet package on build. Do not run GitVersion by default.

* Swap lines to trigger rebuild

Co-authored-by: Remy Willems <rgv.willems@gmail.com>

v2.8.14

Add example used in the CAV 2020 talk to illustrate yield invariants

v2.8.13

added case to support output from cvc4 (#318)

v2.8.12

Improve command-line interface (#316)

v2.8.11

Fix bug which causes redundant declarations to be generated in the VC…

… (#313)

* fix bug which caused redundant declarations to be generated in the VC

* new list at callsite of MutateTriggers in TypeErasurePremises instead of in MutateTriggers itself

* removed space

v2.8.10

[CIVL] renamed non-blocking -> cooperation, terminates -> cooperates …

…(#314)

* renamed non-blocking -> cooperation, terminates -> cooperates

* added more explanation

v2.8.9

CIVL: better refinement error messages (#312)