index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
VCExpr
/
TypeErasureArguments.cs
Commit message (
Expand
)
Author
Age
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...
wuestholz
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
More refactoring
Ally Donaldson
2013-07-22
*
Refactoring of TypeVariableSeq
Ally Donaldson
2013-07-22
*
Refactoring of VariableSeq and TypeSeq
Ally Donaldson
2013-07-22
*
Boogie: use (WEIGHT 0) with the select-of-store axioms
Rustan Leino
2011-06-29
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Make /typeEncoding:m work with arrays
MichalMoskal
2010-08-18
*
Boogie: Committing new source code for VCExpr
tabarbe
2010-08-13
*
Boogie: Renaming VCExpr sources in preparation for port commit
tabarbe
2010-08-13