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
/
AbsyExpr.cs
Commit message (
Expand
)
Author
Age
*
Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...
Rustan Leino
2011-12-12
*
Merge
Rustan Leino
2011-12-07
|
\
|
*
Fix atg file and add comment about Set/*Variable*/
Michal Moskal
2011-12-07
|
*
Make set iteration order deterministic
Michal Moskal
2011-12-07
*
|
Boogie: Added new abstract interpretation harness, which uses native Boogie E...
Rustan Leino
2011-12-05
|
/
*
Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...
Rustan Leino
2011-10-27
*
Fix contracts so runtime checking can be turned on.
mikebarnett
2011-03-07
*
Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...
rustanleino
2011-02-17
*
Added a new method StratifiedVC for refinement.
akashlal
2011-02-08
*
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