search

microsoft / CodeContracts

Source code for the CodeContracts tools for .NET
Other
883 stars 151 forks source link

CCR solution references non-existent projects #6

Open sharwell opened 9 years ago

sharwell commented 9 years ago

The solution CCR.sln references a set of projects which are not part of this repository.

hubuk commented 9 years ago

This is a list of the missing content i have found so far. Some of them may be a residues of a legacy code or an incorrect entries in .gitignore file (i.e. CodeContracts\Microsoft.Research\common\bin).

Directories: CodeContracts\Decompiler CodeContracts\Foxtrot\Contracts\v3.0 CodeContracts\Foxtrot\Contracts\v3.5 CodeContracts\Microsoft.Research\common\bin CodeContracts\Microsoft.Research\ContractReference CodeContracts\Microsoft.Research\Microsoft.Revisions CodeContracts\System.Compiler.Runtime CodeContracts\Microsoft.Research\ImportedCPXTools

Files: CodeContracts\Foxtrot\Tests\RewriteExistingBinaries\RewriteExistingBinaries.csproj CodeContracts\Foxtrot\Contracts\Contract.csproj

Files that were probably renamed and should not be considered as missing: CodeContracts\Microsoft.Research\AbstractInterpretation\Abstract Domains\Abstract Domains10.csproj CodeContracts\Microsoft.Research\Analyzers\Analyzers10.csproj CodeContracts\Microsoft.Research\ClousotMain\ClousotMain10.csproj CodeContracts\Microsoft.Research\CodeAnalysis\CodeAnalysis10.csproj CodeContracts\Microsoft.Research\CodeProviders\CCI2\CCI2.CodeProvider10.csproj CodeContracts\Microsoft.Research\Contracts\CRASanitizer\CRASanitizer10.csproj CodeContracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts.csproj CodeContracts\Microsoft.Research\Contracts\System\System.Contracts.csproj CodeContracts\Microsoft.Research\ControlFlow\ControlFlow10.csproj CodeContracts\Microsoft.Research\DataStructures\DataStructures10.csproj CodeContracts\Microsoft.Research\Graphs\Graphs10.csproj CodeContracts\Microsoft.Research\VSAdornments\Adornments.csproj CodeContracts\Microsoft.VisualStudio.CodeTools\IPropertyPane\IPropertyPane7.csproj

hubuk commented 9 years ago

Tools for which source code may be needed: CodeContracts\Microsoft.Research\ManagedContract.Setup\NugetBinaries\ExplodeMsi.exe