index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
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 ↵
wuestholz
2013-06-02
|
|
|
|
caching and prioritization).
*
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 ↵
Ken McMillan
2013-05-29
|
|
|
|
|
|
|
|
contracts fixes
*
|
Fixed bug in the cutting of back edges (that manifested itself whenever the ↵
Rustan Leino
2013-05-29
|
/
|
|
|
first block in a procedure was the target of a back edge)
*
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 ↵
wuestholz
2013-05-24
|
|
/
/
|
|
|
|
|
|
|
|
|
into account.
|
*
/
fixed bug in reporting the number of typechecking errors
Unknown
2013-05-22
|
/
/
|
|
|
|
|
|
updated answer file
*
|
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
|
/
*
new files for fixedpoint engine backend
Unknown
2013-05-07
|
*
merging changes for fixedpoint engine backend
Ken McMillan
2013-05-07
|
\
*
|
Adding fixedpoint engine backend
Ken McMillan
2013-05-07
|
|
|
*
havocs and updates to globals added only if they are non-null
Unknown
2013-05-06
|
|
|
*
Merge
Unknown
2013-05-06
|
|
\
|
*
|
fixed bug (reported by Akash) in treatment of linear parameters to calls
Unknown
2013-05-06
|
|
|
|
|
*
AbsHoudini: Each function can specify its own abstract domain. Also added
akashlal
2013-05-05
|
|
/
|
|
|
|
|
|
typechecking
|
*
In the typecheck method of HavocCmd, added calls to typecheck the havoced vars
Unknown
2013-05-04
|
|
|
*
Merge
Unknown
2013-05-04
|
|
\
|
*
|
fixed bug reported by Akash
Unknown
2013-05-04
|
|
|
[next]