Boogie

v2.16.3

Bring back ReportEndVerifyImplementation (#705)

Boogie

Make verbosity settable (#699)

* Make verbosity settable

* Initialize Verbosity

Boogie

v2.16.1

Bump version to 2.16.1 (#697)

Boogie

v2.16.0

Release version 2.16.0 (#657)

Boogie

v2.15.9

Bump version to 2.15.9 (#642)

Boogie

v2.15.8

Release version 2.15.8

Boogie

Make TryRun thread safe (#605)

### Changes
- Make `IImpelementationTask.TryRun` thread-safe
- Add `IImpelementationTask.IsIdle`

### Testing
- Update tests to exercise new behavior.

v2.8.22

[CIVL] fixed monomorphization bug (#329)

* fixed a bug in monomorphization
small cleanup in trieber stack sample

* update golden file

* Port seqlock to use polymorphism

* Port Paxos to use polymorphism

Co-authored-by: Bernhard Kragl <bernhard.kragl@gmail.com>

v2.8.21

Treat incomplete-arithmetic and model-unavailable (#324)

* Treat incomplete-arithmetic and model-unavailable

* Remove error codes from new .expect files

* Turn model-unavailable into Undetermined

Note, there will be a new Z3 option, `candidate_models`, that Boogie can use to always get a model back. This would be a good option to use, when Boogie and Boogie clients switch to that future version of Z3. See https://github.com/Z3Prover/z3/issues/4924.

* Add clarification in comments

v2.8.20

add quotes and extension to OutputCheck command (#326)

without quotes the command does not work if the file name has spaces