index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
VCGeneration
Commit message (
Expand
)
Author
Age
*
Merge
qadeer
2012-05-10
|
\
*
|
some other cleanups
qadeer
2012-05-10
|
*
Slightly better management of outermost Push-Pop and FlushAxioms
Unknown
2012-05-02
|
/
*
z3 process is killed now
qadeer
2012-05-01
*
added counterexample generation based on labels back to stratified inlining
qadeer
2012-05-01
*
log file fix
qadeer
2012-04-30
*
clean up in stratified inlining
qadeer
2012-04-29
*
eliminated class ErrorModel
qadeer
2012-04-28
*
removed proccopybounding code
qadeer
2012-04-28
*
eliminated LazyInliningInfo
qadeer
2012-04-28
*
removed lazy inlining
qadeer
2012-04-28
*
Added test to stratified inlining.
Unknown
2012-04-24
*
various changes for using unsat cores in Houdini
qadeer
2012-04-17
*
Added functionality to "skip" procedures. Some cleanup.
akashlal
2012-04-12
*
added nonUniformUnfolding option
qadeer
2012-04-03
*
deleted the option UseUnsatCoreForInlining
qadeer
2012-04-02
*
Merge
qadeer
2012-04-01
|
\
*
|
commented out SuperAwesomeMethod
qadeer
2012-04-01
|
*
bug fix for previous refactoring
Unknown
2012-04-02
*
|
Merge
qadeer
2012-04-01
|
\
|
*
|
partial work on non-uniform loop unrolling
qadeer
2012-04-01
|
*
Refactored CheckAssumptions API
Unknown
2012-04-02
|
/
*
bug fix
qadeer
2012-02-29
*
verbose mode for stratified inlining.
Unknown
2012-02-29
*
Cleaned up code by getting rid of ApiProverInterface.
Unknown
2012-02-29
*
Merge
qadeer
2012-02-28
|
\
*
|
fix to keep old behavior of OnModel in SI
qadeer
2012-02-28
|
*
Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; simp...
Michal Moskal
2012-02-28
|
/
*
fixed up SI to work with new error trace generation
qadeer
2012-02-28
*
further fixes
qadeer
2012-02-28
*
various cleanup regarding /doNotUseLabels
qadeer
2012-02-28
*
one more fix
qadeer
2012-02-27
*
fixing stratified inlining to deal with new path info
qadeer
2012-02-27
*
various fixes related to new error traces
qadeer
2012-02-27
*
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
*
using model instead of labels
Unknown
2012-02-23
*
verbose mode
akashlal
2012-02-19
*
Print procs that reached the recursion bound.
Unknown
2012-02-07
*
Use DateTime.UtcNow instead of DateTime.Now
stobies
2012-01-11
*
Boogie: fixed proof-obligation counting
Rustan Leino
2012-01-09
*
Boogie: output number of proof obligations (asserts) along with timing inform...
Rustan Leino
2012-01-09
*
fixed problems with datatypes
qadeer
2011-12-29
*
Make set iteration order deterministic
Michal Moskal
2011-12-07
*
Boogie: Fixed a crash due to old expressions in lambda expressions that were ...
wuestholz
2011-12-02
*
Remove invariant that was just wrong
Michal Moskal
2011-11-28
*
Added option of turning off model generation in SI. Can be very expensive som...
akashlal
2011-11-26
*
minor bug fix in SI
akashlal
2011-11-24
*
minor changes to summary computation
akashlal
2011-11-24
*
fixes to summary computation
Unknown
2011-11-22
[next]