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
...
|
*
|
Removed unused code.
wuestholz
2013-06-13
|
*
|
Worked on improving program snapshot verification (automatic prioritization).
wuestholz
2013-06-12
|
*
|
Added /help and /attrHelp output for program snapshot verification.
wuestholz
2013-06-12
|
*
|
Did some refactoring in the execution engine.
wuestholz
2013-06-12
|
*
|
Did some refactoring in the execution engine.
wuestholz
2013-06-11
|
*
|
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
*
|
|
Merge
allydonaldson
2013-06-07
|
\
\
\
*
|
|
|
Some work on staged Houdini
allydonaldson
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
[prev]
[next]