index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Houdini
Commit message (
Expand
)
Author
Age
*
Merge
allydonaldson
2013-04-30
|
\
*
|
Staged Houdini
allydonaldson
2013-04-30
|
*
AbsHoudini: Bug fix
akashlal
2013-04-28
|
*
AbsHoudini: Added support for /errorLimit:n, n > 1
akashlal
2013-04-25
|
*
AbsHoudini: Added predicate-abstraction domain and some examples.
akashlal
2013-04-25
|
*
AbsHoudini: Added support for DoNotUsLabels, domain for simulating Houdini,
akashlal
2013-04-25
|
*
AbsHoudini: Added SCC-based worklist, bug-fix for inline attribute,
akashlal
2013-04-19
|
*
AbsHoudini: Added support for /inlineDepth, and fixed the regression tests
akashlal
2013-04-18
|
*
Nice clean re-implementation of AbstractHoudini. And tests
akashlal
2013-04-18
|
*
Minor changes to AbstractHoudini
akashlal
2013-03-10
|
/
*
Refactored MatchCandidate
allydonaldson
2013-03-08
*
MatchCandidate modified to match candidates by variable name, rather than by ...
allydonaldson
2013-03-08
*
AbstractHoudini: more details for computing a tighter predicate cover
Unknown
2013-02-15
*
Timeout in AbstractHoudini
akashlal
2013-01-16
*
Some code clean-up
Unknown
2013-01-07
*
Some more changes to AbsHoudini
akashlal
2012-12-28
*
minor bug fix
Unknown
2012-12-27
*
AbstractHoudini optimization: replace summary predicate with Boolean variables
Unknown
2012-12-21
*
Bug fix for ExplainHoudini. Made it robust under timeouts.
Unknown
2012-12-20
*
AbstractHoudini: more fixes, for self-recursion
akashlal
2012-12-16
*
AbstractHoudini: bug fixes
akashlal
2012-12-16
*
AbstractHoudini: support for generating a witness
Unknown
2012-12-15
*
Added some comments
akashlal
2012-12-12
*
Merge
akashlal
2012-12-12
|
\
*
|
First implementation of ExplainHoudini
Unknown
2012-12-12
|
*
Houdini: allow cross-dependencies between procedures that occurs when assume
Unknown
2012-12-11
*
|
More stuff for abstract houdini; updated test case
Unknown
2012-12-10
|
/
*
Bug fix for abstract-houdini
Unknown
2012-12-07
*
Allow richer spec for abs-houdini
Unknown
2012-12-03
*
when a query times out, all asserted candidates are dropped
Unknown
2012-11-25
*
Minor refactorings for integrating corral
Unknown
2012-11-18
*
Added Abstract Houdini: an implementation of Houdini based on abstract domains.
Unknown
2012-11-05
*
bunch of refactorings
Unknown
2012-10-03
*
Removed AIFramework from Boogie -- use native trivial or native interval-base...
boehmes
2012-09-27
*
Extra debugging output for Houdini
Unknown
2012-08-21
*
Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) w...
Peter Collingbourne
2012-08-07
*
moved class Macro to Absy
qadeer
2012-06-04
*
changed behavior of InlinedEnsures so that free ensures is skipped unless an ...
qadeer
2012-06-01
*
starting the implementation of the new stratified inlining API
qadeer
2012-05-21
*
shutting down the prover used for doing houdini
qadeer
2012-05-10
*
clean up in stratified inlining
qadeer
2012-04-29
*
removed lazy inlining
qadeer
2012-04-28
*
unsat core for houdini
qadeer
2012-04-27
*
various changes for using unsat cores in Houdini
qadeer
2012-04-17
*
houdini cleanup continued
qadeer
2012-03-10
*
various refactorings related to houdini
qadeer
2012-03-02
*
various cleanup regarding /doNotUseLabels
qadeer
2012-02-28
*
further fixes related to using uninterpreted function for error traces
qadeer
2012-02-25
*
bug fixes related to using ControlFlowFunction instead of labels
qadeer
2012-02-23
*
slight change to houdini logging
Unknown
2012-02-06
[next]