index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
merge
Pantazis Deligiannis
2013-07-19
|
\
*
|
refactoring and fixes in the SMTLIB2 parser
Pantazis Deligiannis
2013-07-19
|
*
Merge
allydonaldson
2013-07-18
|
|
\
|
|
*
Populate a model only once.
Rustan Leino
2013-07-18
|
*
|
Revamp of staged Houdini, and completion of parallel support.
allydonaldson
2013-07-18
|
|
/
|
*
Extracted Houdini statistics into a record, and parametersied Houdini class w...
allydonaldson
2013-07-16
|
*
Merge
allydonaldson
2013-07-16
|
|
\
|
*
|
Some cleanup in HoudiniSession
allydonaldson
2013-07-16
|
*
|
Reworking of Staged Houdini in preparation for parallelising it.
allydonaldson
2013-07-16
*
|
|
fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...
Pantazis Deligiannis
2013-07-15
*
|
|
fix for SetTimeOut in ProverInterface to work only under Z3 parser
Pantazis Deligiannis
2013-07-15
*
|
|
small fix
Pantazis Deligiannis
2013-07-15
*
|
|
Merge
Pantazis Deligiannis
2013-07-15
|
\
\
\
|
*
|
|
temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...
Pantazis Deligiannis
2013-07-15
|
|
|
*
Split up the model viewer into a library and an application and added some fu...
wuestholz
2013-07-14
|
|
_
|
/
|
/
|
|
*
|
|
end atomic actions at async and parallel calls
qadeer
2013-07-15
*
|
|
1. changed values passed to additional parameters to procedures; async and pa...
qadeer
2013-07-14
*
|
|
Changed the class 'ErrorInformation' to store the model separately.
wuestholz
2013-07-12
*
|
|
Added an attribute to set the time limit for implementations.
wuestholz
2013-07-12
*
|
|
Worked on the parallelization.
wuestholz
2013-07-12
*
|
|
Worked on the parallelization.
wuestholz
2013-07-11
*
|
|
Worked on the parallelization.
wuestholz
2013-07-11
*
|
|
Worked on the parallelization.
wuestholz
2013-07-11
|
|
/
|
/
|
|
*
code cleanup and refactoring
Pantazis Deligiannis
2013-07-11
|
*
code cleanup & refactoring
Pantazis Deligiannis
2013-07-11
*
|
Worked on the parallelization.
wuestholz
2013-07-10
|
*
fixed another bug when parsing nested arrays under CVC4
Pantazis Deligiannis
2013-07-10
|
*
fix a bug when parsing nested arrays under CVC4
Pantazis Deligiannis
2013-07-10
|
*
the cvc4 parser can now parse nested array expressions
Pantazis Deligiannis
2013-07-10
|
*
fixed a bug where a formula was being send to CVC4 although it shouldn't norm...
Pantazis Deligiannis
2013-07-10
*
|
Worked on the parallelization (task cancellation).
wuestholz
2013-07-09
|
*
fix in modelviewer, ParseModels now requires 2 arguments, second should be an...
Pantazis Deligiannis
2013-07-09
|
*
added specific command line options to enable the SMTLIB2 output model parser...
Pantazis Deligiannis
2013-07-09
|
*
some clean up
Pantazis Deligiannis
2013-07-09
*
|
Worked on the parallelization.
wuestholz
2013-07-08
|
*
allows (reset) to be send only to the Z3 prover
Pantazis Deligiannis
2013-07-09
*
|
Worked on the parallelization.
wuestholz
2013-07-08
|
*
merge
Pantazis Deligiannis
2013-07-06
|
|
\
*
|
|
Added an option to verify each input file separately.
wuestholz
2013-07-05
|
|
/
|
/
|
*
|
Worked on the parallelization.
wuestholz
2013-07-05
*
|
Merge
Rustan Leino
2013-07-05
|
\
\
*
|
|
Added support in the abstract interpreter for an attribute {:identity}, which...
Rustan Leino
2013-07-05
|
*
|
Worked on the parallelization.
wuestholz
2013-07-02
|
/
/
*
|
Merge
allydonaldson
2013-07-02
|
\
\
*
|
|
Fixed bug with unifomity analysis
allydonaldson
2013-07-02
|
*
|
Worked on the parallelization.
wuestholz
2013-07-01
|
*
|
Did some refactoring in the execution engine and worked on the parallelization.
wuestholz
2013-07-01
|
*
|
Addressed some \n versus \r\n issues
Rustan Leino
2013-06-29
|
/
/
*
|
Adapted method for computing dual of graph so that it copes with graphs that ...
allydonaldson
2013-06-28
*
|
Did some refactoring in the execution engine and worked on the parallelization.
wuestholz
2013-06-25
[next]