This repository was archived by the owner on Jul 15, 2023. It is now read-only.

Commit 60cbff1

SergeyTeplyakov

committed

Merge pull request #66 from sharwell/vsix-rework

VSIX rework

2 parents 8ff5091 + ef323e9 commit 60cbff1Copy full SHA for 60cbff1

94 files changed

.nuget
- NuGet.targets
CodeContracts.sln
Microsoft.Research
- Clousot.Cache
  - Clousot.Cache.csproj
- ContractAdornments
  - CSharp.Roslyn
    - ContractAdornments.CSharp.14.csproj
    - Contracts
      - CSharpToCCIHelper.cs
      - ContractsProvider.cs
    - Extensions.cs
    - ISymbolExtensions.cs
    - Inheritance
    - Intellisense
    - Properties
      - AssemblyInfo.cs
    - TextView
      - TextViewTracker.cs
    - VersionedServicesFactory.cs
    - packages.ContractAdornments.CSharp.14.config
  - CSharp
  - Extension
    - AdornmentSource.cs
    - ContractAdornments.csproj
    - Extensions.cs
    - Intellisense
      - QuickInfoProvider.cs
      - SignatureHelpProvider.cs
    - LineTransformer.cs
    - Metadata
      - MetadataTracker.cs
    - Properties
      - AssemblyInfo.cs
    - TextView
      - TextViewProvider.cs
    - VSServiceProvider
    - packages.config
    - source.extension.vsixmanifest
  - Interfaces
  - VS2010
    - References
      - Microsoft.VisualStudio.CSharp.Services.Language.Interop.dll
      - Microsoft.VisualStudio.CSharp.Services.Language.dll
    - source.extension.vsixmanifest
  - VS2012
    - References
      - Microsoft.VisualStudio.CSharp.Services.Language.Interop.dll
      - Microsoft.VisualStudio.CSharp.Services.Language.dll
    - source.extension.vsixmanifest
- ManagedContract.Setup
  - buildMSI.bat
  - buildMSI10.xml
- MsBuildCodeContracts
  - MsBuildCodeContracts10.csproj
  - packages.config
- VSAdornments

`‎.nuget/NuGet.targets‎`

This file was deleted.

Comments

(0)