summaryrefslogtreecommitdiff
path: root/Source/AbsInt
Commit message (Expand)AuthorAge
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Boogie: Sorry about that - no need for the conditional compilationGravatar tabarbe2010-08-09
* Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.csGravatar tabarbe2010-08-09
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...Gravatar tabarbe2010-08-04
* Made consistent the way all of the C# projects sign themselves and include th...Gravatar mikebarnett2010-07-30
* Boogie: Changed references from binary to project references.Gravatar tabarbe2010-07-27
* Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code Contrac...Gravatar tabarbe2010-07-21
* Boogie: Changed how the references in AbsInt are referenced, and fixed a typo...Gravatar tabarbe2010-07-19
* Boogie: I have successfully ported the AbsInt project. It passes all regress...Gravatar tabarbe2010-07-16
* Boogie: Renamed the AbsInt sources for use in the port I have done. Regressi...Gravatar tabarbe2010-07-16
* * Added "deprecated" comment in help message about /interprocInfer switch. T...Gravatar rustanleino2010-02-18
* Also sign AbsInt.dllGravatar stobies2009-08-18
* Sign assembliesGravatar stobies2009-08-17
* Initial set of files.Gravatar mikebarnett2009-07-15