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

Fixed error output when :msg attribute is supplied (boogie-org#330)

* fixed error output when :msg attribute is supplied

* added a test case

* added pre/post failures also

[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

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

add quotes and extension to OutputCheck command (boogie-org#326)

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