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
...
*
|
added the QED build configuration
qadeer
2013-12-02
|
*
Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...
Ally Donaldson
2013-12-02
|
/
*
binary tree of ANDs saves stack space
akashlal
2013-11-29
*
added some type checking code
qadeer
2013-11-25
*
moved some files around
qadeer
2013-11-22
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22
*
do monomorphic checking
qadeer
2013-11-22
*
Fixedpoint VC catch up with recent changes
Ken McMillan
2013-11-11
*
Merge duality changes to mainline
Ken McMillan
2013-11-09
|
\
|
*
handling timeouts for fixedpoint engines
Ken McMillan
2013-11-09
*
|
Merge
Pantazis Deligiannis
2013-11-07
|
\
\
|
*
|
Fixes to predication. Patch by Jeroen Ketema.
Ally Donaldson
2013-11-06
|
*
|
code cleanup
akashlal
2013-11-02
|
*
|
AbsHoudini: Support timeout, MakeTop, InlineFunctions
akashlal
2013-11-02
|
*
|
ProverInterface: model isn't available on timeout
akashlal
2013-11-02
|
*
|
Merge
qadeer
2013-10-25
|
|
\
\
|
*
|
|
minor refactoring
qadeer
2013-10-25
|
*
|
|
a minor refactoring + implemented mover checking
qadeer
2013-10-25
|
|
*
|
and a test case
akashlal
2013-10-25
|
|
*
|
Stratified inlining: inject free requires as assumes at call site
akashlal
2013-10-25
|
|
*
|
change of identifier names in OG
akashlal
2013-10-25
|
|
/
/
|
*
|
And a test case
akashlal
2013-10-21
|
*
|
Bug fix in stratified inlining (triggered by {:inline} functions)
akashlal
2013-10-21
*
|
|
Merge
Pantazis Deligiannis
2013-10-16
|
\
|
|
*
|
|
small fix in the parallel refutation sharing
Pantazis Deligiannis
2013-10-16
|
*
|
Merge
qadeer
2013-10-15
|
|
\
\
|
*
|
|
bug fix in yield inference in modset analysis
qadeer
2013-10-15
|
|
*
|
Fix for the Duplicator.
akashlal
2013-10-15
|
|
*
|
Merge
Ally Donaldson
2013-10-11
|
|
|
\
\
|
|
_
|
/
/
|
/
|
|
|
|
|
*
|
Small fix in uniformity analysis
Ally Donaldson
2013-10-10
*
|
|
|
Merge
Pantazis Deligiannis
2013-10-10
|
\
\
\
\
|
|
|
/
/
|
|
/
|
|
*
|
|
|
small cleanup
Pantazis Deligiannis
2013-10-10
|
*
|
|
Merge
Pantazis Deligiannis
2013-10-09
|
/
|
|
|
|
|
/
/
*
|
|
fixed bug with the exchange refuted invariants process
Pantazis Deligiannis
2013-10-06
*
|
|
small refactoring
Pantazis Deligiannis
2013-10-02
*
|
|
removal of comment
Pantazis Deligiannis
2013-10-02
*
|
|
support for disabling loop entry invariant assertion checking
Pantazis Deligiannis
2013-10-01
*
|
|
fixed bug
Pantazis Deligiannis
2013-10-01
*
|
|
changes to support a configured errorLimit
Pantazis Deligiannis
2013-09-30
*
|
|
more changes towards parallelisation of Houdini
Pantazis Deligiannis
2013-09-29
*
|
|
refactoring + new class ConcurrentHoudini
Pantazis Deligiannis
2013-09-27
*
|
|
refuted candidates are exchanged in memory using a concurrent dictionary inst...
Pantazis Deligiannis
2013-09-26
|
*
|
minor fix so that variable copies in procedures and codeexprs are different.
qadeer
2013-09-10
|
*
|
refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...
qadeer
2013-09-09
|
*
|
fixed bug
qadeer
2013-09-09
|
*
|
No need for OG with Stratified Inlining.
akashlal
2013-09-08
|
*
|
fixed bug introduced by the last checkin in letvciterative
qadeer
2013-09-08
|
*
|
fixed the problem with codexprs
qadeer
2013-09-07
|
*
|
When a codeexpr is used at the top-level in an assume statement, we use the a...
qadeer
2013-09-04
|
*
|
Factored out the closure for codeexpr conversion so that it can be reused.
qadeer
2013-09-04
[prev]
[next]