index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
/
AbsyQuant.cs
Commit message (
Expand
)
Author
Age
*
Merge
Dan Rosén
2014-08-01
|
\
*
|
Add alpha equivalence check for Expr, and use it when lambda lifting
Dan Rosén
2014-08-01
|
*
Fix bug in BinderExpr where is was possible for A.Equals(B) to return
Dan Liew
2014-07-29
|
*
Fix bug in BinderExpr where Equals() was not corrected implemented.
Dan Liew
2014-07-28
|
/
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
checkpoint
qadeer
2014-05-03
*
disabled quantifier merging, except when no triggers are provided (as discuss...
Unknown
2014-03-03
*
Changed all lambda-expression rewriting to be done as a pre-processing step b...
Rustan Leino
2014-02-28
*
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...
Rustan Leino
2014-02-24
*
Fixed errors in the use of Code Contracts
Rustan Leino
2014-02-10
*
more bug fixes
qadeer
2013-12-24
*
Fixed another :never_pattern bug related to nested quantifiers
Rustan Leino
2013-12-16
*
Fixed bug in never_pattern functionality. In the new design, never_pattern d...
Rustan Leino
2013-12-16
*
All ...Seq classes now gone
Ally Donaldson
2013-07-22
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
More refactoring
Ally Donaldson
2013-07-22
*
More refactoring towards replacing PureCollections.Sequence with List
Ally Donaldson
2013-07-22
*
Refactoring of TypeVariableSeq
Ally Donaldson
2013-07-22
*
Changed Has method of PureSequence to Contains to make refactoring easier.
Ally Donaldson
2013-07-22
*
Allow attributes on procedure formals, function formals, and bound variables
Unknown
2013-01-07
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
Removed AIFramework from Boogie -- use native trivial or native interval-base...
boehmes
2012-09-27
*
Make set iteration order deterministic
Michal Moskal
2011-12-07
*
changed the semantics of requires and ensures for inlined procedures
qadeer
2011-11-17
*
Fix a bug in cloning of nested lambda expressions in AI engine
MichalMoskal
2011-02-11
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20