Make CancellationToken more lightweight and fix few bugs in it
[mono.git] / mcs / class / Mono.CodeContracts / Mono.CodeContracts.Static /
drwxr-xr-x   ..
-rw-r--r-- 1599 CheckOptions.cs
-rw-r--r-- 2411 CheckResults.cs
-rw-r--r-- 5177 Checker.cs
-rw-r--r-- 1340 DebugOptions.cs
-rw-r--r-- 1329 ProofOutcome.cs
-rw-r--r-- 2302 ProofOutcomeExtensions.cs