summaryrefslogtreecommitdiff
path: root/Source/CodeContractsExtender/cce.cs
Commit message (Expand)AuthorAge
* Replaced all dictionaries that mapped to bool (i.e., were being used to imple...Gravatar mikebarnett2011-03-10
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Fix contracts so runtime checking can be turned on.Gravatar mikebarnett2011-03-07
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27