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
Commit message (
Expand
)
Author
Age
...
*
|
Better fix for the duplicator, thanks to wuestholz
akashlal
2014-09-27
|
*
Fixed issue reported by Akash Lal.
wuestholz
2014-09-26
|
/
*
Fix for the duplicator; can't use Clone
akashlal
2014-09-26
*
The setter is better this way
akashlal
2014-09-25
*
Lets have a setter for TopLevelDeclarations as well
akashlal
2014-09-25
*
Simple VC generation for SI
akashlal
2014-09-24
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did more refactoring.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
Fixed an issue in the verification result caching (recycled errors).
wuestholz
2014-09-22
*
a small fix to prefix calculation
qadeer
2014-09-19
*
a bug fix in Houdini (also AbsHoudini)
qadeer
2014-09-19
*
InlineAssume attribute for ensures clauses; if present, the ensures condition...
qadeer
2014-09-18
*
fixed various CodeContracts issues.
qadeer
2014-09-18
*
added a comment
qadeer
2014-09-17
*
fixed a bug in inlining
qadeer
2014-09-17
*
Added the ability to attach arbitary objects to Absy nodes using an
Dan Liew
2014-09-03
*
Added missing Expr.Neg() static method.
Dan Liew
2014-08-15
*
Minor refactoring
wuestholz
2014-08-03
*
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
|
*
removed /doNotUseParallelism
qadeer
2014-07-30
|
*
Fix bug in BinderExpr where is was possible for A.Equals(B) to return
Dan Liew
2014-07-29
|
*
Fix bug in NAryExpr 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
|
*
Merge
akashlal
2014-07-28
|
|
\
|
*
|
Fix bug in NAryExpr where Equals() override was not correctly implemented.
Dan Liew
2014-07-28
|
|
*
Helper procedures
akashlal
2014-07-28
|
|
/
|
*
Fix bug where Visitors could not visit Requires or Ensures because
Dan Liew
2014-07-27
|
/
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
Refactored how checksums are computed.
wuestholz
2014-07-13
*
Worked on the more advanced verification result caching (ignore comments for ...
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Worked on adding support for "canned errors".
wuestholz
2014-07-07
*
Worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
Implemented an optimization for assignments to assumption variables that are ...
wuestholz
2014-07-04
*
Made it not include free preconditions when producing partially verified prec...
wuestholz
2014-07-03
*
Fixed issue involving axioms in the dependency analysis used for verification...
wuestholz
2014-07-03
*
Fixed issue in verification result caching.
wuestholz
2014-06-26
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
Worked on an extension of the existing verification result caching.
wuestholz
2014-06-23
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Fixed crash in resolver
Rustan Leino
2014-06-19
*
Fixed a bug in revised mod set analysis
Ally Donaldson
2014-06-06
*
Refactored modset analysis to avoid the use of static fields. Static fields ...
Ally Donaldson
2014-06-06
*
Add isBvConst and asBvConst accessors to LiteralExpr to match the
Dan Liew
2014-05-28
*
Implemented an additional type check for assumption variables.
wuestholz
2014-05-27
*
Merge duality changes
Ken McMillan
2014-05-26
|
\
[prev]
[next]