Skip to content

Commit 73d02e9

Browse files
committed
Updated CodeContracts binaries to new v1.7.11106.10.
1 parent 2190125 commit 73d02e9

File tree

113 files changed

+14
-16
lines changed

Some content is hidden

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

113 files changed

+14
-16
lines changed

Contracts/Bin/CCCheck.exe.config

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,3 @@
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+
<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.5.1"/></startup></configuration>
21.5 KB
Binary file not shown.
0 Bytes
Binary file not shown.

Contracts/Bin/cccheck.exe

45 KB
Binary file not shown.

Contracts/Bin/ccdocgen.exe

41.5 KB
Binary file not shown.

Contracts/Bin/ccrefgen.exe

42 KB
Binary file not shown.

Contracts/Bin/ccrewrite.exe

512 Bytes
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

0 commit comments

Comments
 (0)