index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
cvc4 command line option & cvc4.cs in Provers
pantazis
2013-06-12
*
Worked on improving program snapshot verification.
wuestholz
2013-06-11
*
Worked on improving program snapshot verification.
wuestholz
2013-06-11
*
Worked on improving program snapshot verification.
wuestholz
2013-06-10
*
Worked on improving program snapshot verification.
wuestholz
2013-06-10
*
Removed unused code.
wuestholz
2013-06-10
*
Removed unused code.
wuestholz
2013-06-10
*
Worked on improving program snapshot verification.
wuestholz
2013-06-07
*
Fixed an issue in the prover interface.
wuestholz
2013-06-07
*
Worked on improving program snapshot verification.
wuestholz
2013-06-05
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-04
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-04
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-04
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-04
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Fixed an issue with discovering program snapshots.
wuestholz
2013-06-03
*
Added a feature for verifying several program snapshots (incl. result caching...
wuestholz
2013-06-02
*
Merge
Rustan Leino
2013-05-30
|
\
*
|
Fixed bug in Interval abstract domain (pertaining to unary negation)
Rustan Leino
2013-05-30
|
*
Changed the prover interface to report traces for time outs and out of memory.
wuestholz
2013-05-30
|
*
Minor change to prevent prover errors during trace extraction
wuestholz
2013-05-29
|
/
*
Merge
Ken McMillan
2013-05-29
|
\
|
*
Adding background model to fixedpoint counterexamples and small code contract...
Ken McMillan
2013-05-29
*
|
Fixed bug in the cutting of back edges (that manifested itself whenever the f...
Rustan Leino
2013-05-29
|
/
*
Merge changes to support Corral in fixedpoint backend
Ken McMillan
2013-05-29
|
\
|
*
Getting fixed point backend to work with Corral.
Ken McMillan
2013-05-29
*
|
Improvements to Staged Houdini
allydonaldson
2013-05-29
*
|
Merge
allydonaldson
2013-05-27
|
\
\
*
|
|
Staged Houdini can now take a path to a file of ignored variables
allydonaldson
2013-05-27
|
*
|
Merge
akashlal
2013-05-27
|
|
\
\
|
|
*
|
AbsHoudini: Added support for quantifiers
akashlal
2013-05-27
|
*
|
|
Changed the 'CounterexampleComparer' to take traces into account.
wuestholz
2013-05-26
|
*
|
|
Changed the 'CounterexampleComparer' to take error messages of assertions int...
wuestholz
2013-05-24
|
|
/
/
|
*
/
fixed bug in reporting the number of typechecking errors
Unknown
2013-05-22
|
/
/
*
|
Merge
allydonaldson
2013-05-22
|
\
\
*
|
|
Fixed bug in staged Houdini.
allydonaldson
2013-05-22
|
|
*
Merge
Ken McMillan
2013-05-20
|
|
/
|
|
|
*
Working on fixedpoint backend
Ken McMillan
2013-05-20
|
*
|
deleted some commented code
Unknown
2013-05-20
|
*
|
further bug fixes in og; global copies of global variables are now thread local
Unknown
2013-05-19
|
*
|
Merge
Unknown
2013-05-18
|
|
\
\
|
|
/
/
|
/
|
|
|
*
|
reworked the linear and og implementation based on available variables theory
Unknown
2013-05-18
*
|
|
Adapted Houdini algorithm to take staging into account
allydonaldson
2013-05-18
|
/
/
*
/
AbsHoudini: Tolerate some assertion failing. Updated regression baseline.
akashlal
2013-05-10
|
/
[next]