diff options
| -rw-r--r-- | tools/Contracts/Bin/1033/PropertyPageUI.dll | bin | 0 -> 4096 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/1033/TaskManagerUI.dll | bin | 0 -> 4096 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/CodeContractsVSPropertyPane.dll | bin | 0 -> 26624 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/PropertyPage.dll | bin | 0 -> 13312 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/TaskManager.dll | bin | 0 -> 57344 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/ccdocgen.exe | bin | 0 -> 1889280 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/ccdocgen.exe.config | 8 | ||||
| -rw-r--r-- | tools/Contracts/Bin/ccrefgen.exe | bin | 0 -> 1773568 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/ccrefgen.exe.config | 8 | ||||
| -rw-r--r-- | tools/Contracts/Bin/ccrewrite.exe | bin | 0 -> 1315840 bytes | |||
| -rw-r--r-- | tools/Contracts/Bin/ccrewrite.exe.config | 8 |
11 files changed, 24 insertions, 0 deletions
diff --git a/tools/Contracts/Bin/1033/PropertyPageUI.dll b/tools/Contracts/Bin/1033/PropertyPageUI.dll Binary files differnew file mode 100644 index 0000000..c213377 --- /dev/null +++ b/tools/Contracts/Bin/1033/PropertyPageUI.dll diff --git a/tools/Contracts/Bin/1033/TaskManagerUI.dll b/tools/Contracts/Bin/1033/TaskManagerUI.dll Binary files differnew file mode 100644 index 0000000..63aade1 --- /dev/null +++ b/tools/Contracts/Bin/1033/TaskManagerUI.dll diff --git a/tools/Contracts/Bin/CodeContractsVSPropertyPane.dll b/tools/Contracts/Bin/CodeContractsVSPropertyPane.dll Binary files differnew file mode 100644 index 0000000..7a54776 --- /dev/null +++ b/tools/Contracts/Bin/CodeContractsVSPropertyPane.dll diff --git a/tools/Contracts/Bin/PropertyPage.dll b/tools/Contracts/Bin/PropertyPage.dll Binary files differnew file mode 100644 index 0000000..23d9790 --- /dev/null +++ b/tools/Contracts/Bin/PropertyPage.dll diff --git a/tools/Contracts/Bin/TaskManager.dll b/tools/Contracts/Bin/TaskManager.dll Binary files differnew file mode 100644 index 0000000..28d9823 --- /dev/null +++ b/tools/Contracts/Bin/TaskManager.dll diff --git a/tools/Contracts/Bin/ccdocgen.exe b/tools/Contracts/Bin/ccdocgen.exe Binary files differnew file mode 100644 index 0000000..542306d --- /dev/null +++ b/tools/Contracts/Bin/ccdocgen.exe diff --git a/tools/Contracts/Bin/ccdocgen.exe.config b/tools/Contracts/Bin/ccdocgen.exe.config new file mode 100644 index 0000000..0670a0e --- /dev/null +++ b/tools/Contracts/Bin/ccdocgen.exe.config @@ -0,0 +1,8 @@ +<configuration> + <runtime> +<!-- + <gcConcurrent enabled="false"/> +--> + <gcServer enabled="true"/> + </runtime> +</configuration> diff --git a/tools/Contracts/Bin/ccrefgen.exe b/tools/Contracts/Bin/ccrefgen.exe Binary files differnew file mode 100644 index 0000000..3191d46 --- /dev/null +++ b/tools/Contracts/Bin/ccrefgen.exe diff --git a/tools/Contracts/Bin/ccrefgen.exe.config b/tools/Contracts/Bin/ccrefgen.exe.config new file mode 100644 index 0000000..0670a0e --- /dev/null +++ b/tools/Contracts/Bin/ccrefgen.exe.config @@ -0,0 +1,8 @@ +<configuration> + <runtime> +<!-- + <gcConcurrent enabled="false"/> +--> + <gcServer enabled="true"/> + </runtime> +</configuration> diff --git a/tools/Contracts/Bin/ccrewrite.exe b/tools/Contracts/Bin/ccrewrite.exe Binary files differnew file mode 100644 index 0000000..2828e33 --- /dev/null +++ b/tools/Contracts/Bin/ccrewrite.exe diff --git a/tools/Contracts/Bin/ccrewrite.exe.config b/tools/Contracts/Bin/ccrewrite.exe.config new file mode 100644 index 0000000..0670a0e --- /dev/null +++ b/tools/Contracts/Bin/ccrewrite.exe.config @@ -0,0 +1,8 @@ +<configuration> + <runtime> +<!-- + <gcConcurrent enabled="false"/> +--> + <gcServer enabled="true"/> + </runtime> +</configuration> |