v2.6.10

Merge pull request #233 from zvonimir/cvc4-models

Passing produce-models to CVC4

v2.6.9

Merge pull request #228 from zvonimir/fix-cvc4-warnings

Implemented processing of CVC4 warnings

v2.6.8

Merge pull request #232 from zvonimir/regressions-timeout

Setting lit timeout to 120 seconds per regression

v2.6.7

Remove (some) obsolete options

v2.6.6

a sample from Stephen Freund

v2.6.5

set default version of SMTLIB to 2.6

v2.6.4

Central configuration and conditioning of GitVersionTask (#223)

* Configure GitVersionTask centrally and condition on existence of .git

This enables the GitVersionTask configuration to be specified only once in a
Directory.Build.props file. Also Boogie can now be build outside of a Git clone
(i.e., without a .git directory), and GitVersionTask can be disabled by setting
the environment variable BOOGIE_NO_GITVERSION=1.

* Also configure .NET Core target framework centrally

* Protect against deployments with default version number 1.0.0

v2.6.3

Remove unused AIFramework project (close #31)

v2.6.2

Merge pull request #221 from SethPoulsen/test-readme

Fix typos in Test README

v2.6.1

[CIVL] Introduction actions, lemma procedures, and variable hiding (#…