index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
...
*
more minor fix to test case houdini\testUnsatCore.bpl
shuvendu
2014-11-07
*
minor fix to test case houdini\testUnsatCore.bpl
shuvendu
2014-11-07
*
re-enabling -useUnsatCoreForContractInfer
shuvendu
2014-11-07
*
Worked on the verification result caching.
wuestholz
2014-11-03
*
Did some refactoring.
wuestholz
2014-11-02
*
Added a test for the verification result caching.
wuestholz
2014-10-29
*
Merge
qadeer
2014-10-21
|
\
*
|
removed a useless procedure
qadeer
2014-10-21
|
*
Worked on the verification result caching.
wuestholz
2014-10-19
|
*
Added more tests for 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-15
|
/
*
Fix issue in verification result caching for assertions without subsumption.
wuestholz
2014-10-13
*
Added a test for the issue that was fixed in changeset 'e972f163bb7c'.
wuestholz
2014-09-23
*
Add missing run lines (based off Test/doomed/runtest.bat) to doomed
Dan Liew
2014-09-21
*
more tests for houdini /inlineDepth
shuvendu
2014-09-19
*
a bug fix in Houdini (also AbsHoudini)
qadeer
2014-09-19
*
additional tests for houdini /inlineDepth
shuvendu
2014-09-18
*
merge
qadeer
2014-08-08
|
\
*
|
fixed codexpr bug reported by Michael Emmi; removed special handling of codex...
qadeer
2014-08-08
|
*
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
*
|
deleted the free assume about gates after parallel calls
qadeer
2014-07-26
|
/
*
enabled merging of yield calls
qadeer
2014-07-20
*
minor change
qadeer
2014-07-19
*
treiber stack fixed
qadeer
2014-07-18
*
some clean up
qadeer
2014-07-16
*
updated the linear type system based on Chris' design with linear, linear_in,...
qadeer
2014-07-15
*
simplified yield type chcking and added treiber stack (not fully done)
qadeer
2014-07-15
*
added tests
qadeer
2014-07-12
*
fixed some tests in og
qadeer
2014-07-11
*
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
*
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
*
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
*
Fixed issue involving axioms in the dependency analysis used for verification...
wuestholz
2014-07-03
*
Optimized the way that assertions are marked as partially verified.
wuestholz
2014-06-26
*
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
*
updated golden outputs and removed irrelevant tests
qadeer
2014-06-02
*
Added more tests (snapshots).
wuestholz
2014-05-30
[prev]
[next]