removed model to make test less flaky

updated version number

updating version to 2.8.27

Remove SecureVC. For boogie-org#337 (boogie-org#340)

One more model-parsing fix

Version 2.8.25

Version 2.8.24

Put functions and procedures into different namespaces (boogie-org#331)

* put functions and procedures into different namespaces

* changed random seed to make the test pass

* ported a test to work with pending asyncs

* simplified specification of pending asyncs

* fixed one bug and ported another sample;
removed redundant sample

* renamed sample

* fixed typo

* Fix usage of generic collections in ResolutionContext

* fixed comments

Co-authored-by: Bernhard Kragl <[email protected]>

[CIVL] fixed monomorphization bug (boogie-org#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 <[email protected]>

Treat incomplete-arithmetic and model-unavailable (boogie-org#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 Z3Prover/z3#4924.

* Add clarification in comments