Merge pull request #134 from bkragl/drop-dead-options

Remove dead Boogie options

Merge pull request #132 from boogie-org/akashl/av-core

Porting AV to .NET Core

Merge pull request #131 from bkragl/build

Switch to .NET Core only and use Boogie NuGet package

Merge pull request #128 from smackers/update-boogie

Update boogie

Removed AbsHoudini

Merge pull request #120 from smackers/update-boogie

Updated Boogie and CI Z3 version

Merge pull request #119 from smackers/update-boogie

Updated Boogie to the latest commit

Merge pull request #118 from boogie-org/akashl/bv32-tid

Fix #109

Merge pull request #116 from smackers/update-readme

Updated README

Remove reference to Doomed