Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Bugfix/495 dotnet build #496

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Bugfix/495 dotnet build #496

wants to merge 2 commits into from

Commits on Apr 12, 2017

  1. Fixes: microsoft#471 Can't build in VS 2015 

    Fixes microsoft#471 due to missing Microsoft.VisualBasic.dll assembly, and after that an invalid reference to Microsoft.Research/Contracts/MsCorlib/MsCorlib.Contracts.csproj.
    John Crim committed Apr 12, 2017
    Configuration menu
    Copy the full SHA
    05bc869 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2017

  1. Fix: microsoft#495 code contracts build within dotnet 

    Disable sn.exe in VS 2017 code contracts targets, to allow code contracts to build within "dotnet build" or "dotnet test".

.NET core does not support sn.exe nor `GetFrameworkSdkPath`
    John Crim committed Sep 25, 2017
    Configuration menu
    Copy the full SHA
    d4d73af View commit details
    Browse the repository at this point in the history