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
*
Fixed issue in the verification result caching.
wuestholz
2014-11-10
*
Worked on the verification result caching.
wuestholz
2014-11-10
*
Worked on the verification result caching.
wuestholz
2014-11-05
*
Worked on the verification result caching.
wuestholz
2014-11-03
*
Worked on the verification result caching.
wuestholz
2014-11-03
*
Fixed minor issue.
wuestholz
2014-11-02
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-11-02
*
Did some refactoring.
wuestholz
2014-11-02
*
SI: print if a bound was reached.
akashlal
2014-10-29
*
Worked on the verification result caching.
wuestholz
2014-10-19
*
Worked on the verification result caching.
wuestholz
2014-10-19
*
Did some refactoring.
wuestholz
2014-10-18
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-18
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Worked on the verification result caching.
wuestholz
2014-10-17
*
Did some refactoring.
wuestholz
2014-10-16
*
Worked on the verification result caching.
wuestholz
2014-10-16
*
Fix issue in verification result caching.
wuestholz
2014-10-15
*
Fix issue in verification result caching.
wuestholz
2014-10-15
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-14
*
Fix issue in verification result caching for assertions without subsumption.
wuestholz
2014-10-13
*
Add a todo.
wuestholz
2014-10-13
*
Merge
akashlal
2014-10-01
|
\
|
*
Minor corrections
akashlal
2014-10-01
*
|
fixed StackOverflow in TraceCounterexample;
qadeer
2014-09-30
|
/
*
SI: VC gen with labels
akashlal
2014-09-29
*
Cleanup: removed unused code
akashlal
2014-09-29
*
Fix to VC gen
akashlal
2014-09-28
*
Fix for boolVC generation
akashlal
2014-09-27
*
Lets have a setter for TopLevelDeclarations as well
akashlal
2014-09-25
*
(Subhajit) Added an interface for InterpolatingTheoremProver
akashlal
2014-09-24
*
minor fix
akashlal
2014-09-24
*
Simple VC generation for SI
akashlal
2014-09-24
*
Fixed assertion violation.
wuestholz
2014-09-23
*
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
*
fixed various CodeContracts issues.
qadeer
2014-09-18
*
merge
qadeer
2014-08-08
|
\
*
|
fixed codexpr bug reported by Michael Emmi; removed special handling of codex...
qadeer
2014-08-08
|
*
Bug fix in SI
akashlal
2014-08-03
|
/
*
Some simplifications
akashlal
2014-07-28
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
Worked on the more advanced verification result caching.
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
*
Added more tests and worked on adding support for "canned errors".
wuestholz
2014-07-06
*
Worked on adding support for "canned errors".
wuestholz
2014-07-06
[next]