drwxr-xr-x | .. | ||
-rw-r--r-- | 285 | ChangeLog | blob | history | raw |
-rw-r--r-- | 7800 | Contract.cs | blob | history | raw |
-rw-r--r-- | 1782 | ContractClassAttribute.cs | blob | history | raw |
-rw-r--r-- | 1754 | ContractClassForAttribute.cs | blob | history | raw |
-rw-r--r-- | 2136 | ContractFailedEventArgs.cs | blob | history | raw |
-rw-r--r-- | 1488 | ContractFailureKind.cs | blob | history | raw |
-rw-r--r-- | 1586 | ContractInvariantMethodAttribute.cs | blob | history | raw |
-rw-r--r-- | 1676 | ContractPublicPropertyNameAttribute.cs | blob | history | raw |
-rw-r--r-- | 1538 | ContractReferenceAssemblyAttribute.cs | blob | history | raw |
-rw-r--r-- | 1633 | ContractRuntimeIgnoredAttribute.cs | blob | history | raw |
-rw-r--r-- | 1800 | ContractVerificationAttribute.cs | blob | history | raw |
-rw-r--r-- | 1647 | PureAttribute.cs | blob | history | raw |