Skip to content

Commit 2896766

Browse files
committed
Merge pull request #3 from ericmaino/master
Updating CodeContracts to 1.9.10714.2 (closes #2)
2 parents a5c48d7 + b8b88d9 commit 2896766

File tree

118 files changed

+1092
-17
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

118 files changed

+1092
-17
lines changed

Contracts/Bin/CCCheck.exe.config

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,4 @@
1+
<?xml version="1.0" encoding="utf-8"?>
12
<configuration>
2-
<startup useLegacyV2RuntimeActivationPolicy="true">
3-
<supportedRuntime version="v4.0" />
4-
</startup>
5-
<runtime>
6-
<!--
7-
<gcConcurrent enabled="false"/>
8-
-->
9-
<gcServer enabled="true"/>
10-
</runtime>
11-
</configuration>
3+
4+
<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.5.1" /></startup></configuration>
0 Bytes
Binary file not shown.

Contracts/Bin/CodeToolsUpdate.exe

0 Bytes
Binary file not shown.
-512 Bytes
Binary file not shown.

Contracts/Bin/cccheck.exe

10 KB
Binary file not shown.

Contracts/Bin/ccdocgen.exe

-70 KB
Binary file not shown.

Contracts/Bin/ccrefgen.exe

-59 KB
Binary file not shown.

Contracts/Bin/ccrewrite.exe

7.5 KB
Binary file not shown.
Binary file not shown.

0 commit comments

Comments
 (0)