index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
AbsInt
Commit message (
Expand
)
Author
Age
*
Boogie: Added boolean code expressions (sans well-formedness checks on the in...
rustanleino
2010-08-10
*
Boogie: Sorry about that - no need for the conditional compilation
tabarbe
2010-08-09
*
Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs
tabarbe
2010-08-09
*
More line ending fixups.
MichalMoskal
2010-08-06
*
Boogie: Removed trailing spaces in code
tabarbe
2010-08-04
*
Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...
tabarbe
2010-08-04
*
Made consistent the way all of the C# projects sign themselves and include th...
mikebarnett
2010-07-30
*
Boogie: Changed references from binary to project references.
tabarbe
2010-07-27
*
Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code Contrac...
tabarbe
2010-07-21
*
Boogie: Changed how the references in AbsInt are referenced, and fixed a typo...
tabarbe
2010-07-19
*
Boogie: I have successfully ported the AbsInt project. It passes all regress...
tabarbe
2010-07-16
*
Boogie: Renamed the AbsInt sources for use in the port I have done. Regressi...
tabarbe
2010-07-16
*
* Added "deprecated" comment in help message about /interprocInfer switch. T...
rustanleino
2010-02-18
*
Also sign AbsInt.dll
stobies
2009-08-18
*
Sign assemblies
stobies
2009-08-17
*
Initial set of files.
mikebarnett
2009-07-15