Switch to .NET Core only and use Boogie NuGet package

bkragl commented 4 years ago

The previously separate .NET Core config files (named *-NetCore.*) overwrite the corresponding .NET Framework files.
The "main project" (previously named cba) is moved from the repository root into source/Corral.
Obsolete config files (app.config, Properties/AssemblyInfo.cs, etc.) are removed.
The Boogie submodule is removed. Instead, the Boogie NuGet package is referenced.
Common configurations (target framework, Boogie, GitVersion) are extracted to source/Directory.Build.props.

@shazqadeer, please check the changes in source/CoreLib/BoogieVerify.cs and source/CoreLib/StratifiedInlining.cs, which are due to the new augmented trace feature in Boogie. Is it safe to pass null values?

shazqadeer commented 4 years ago

@shazqadeer, please check the changes in source/CoreLib/BoogieVerify.cs and source/CoreLib/StratifiedInlining.cs, which are due to the new augmented trace feature in Boogie. Is it safe to pass null values?

yes.

akashlal commented 4 years ago

Thanks @bkragl

boogie-org / corral

Switch to .NET Core only and use Boogie NuGet package #131