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
*
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
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
*
|
fixed the linear type checking related to globals
qadeer
2013-09-04
*
|
Applied Chris Hawblitzel's changes to deal with {:expand}
qadeer
2013-08-23
*
|
some minor fixes
qadeer
2013-08-21
|
*
Merge
Pantazis Deligiannis
2013-08-20
|
|
\
|
|
/
|
/
|
|
*
improvements to the refuted annotations exchange process
Pantazis Deligiannis
2013-08-20
|
*
new option for reversing the topological order - this could potentially help ...
Pantazis Deligiannis
2013-08-19
*
|
inlining is now done in rhs of assignments for codeexprs
qadeer
2013-08-15
*
|
Extended codeexpr inlining to deal with nested codeexpr
qadeer
2013-08-15
|
*
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
*
|
extended inlining to deal with codeexprs
qadeer
2013-08-14
*
|
Fixed a contract.
wuestholz
2013-08-09
*
|
process procedure only if an implementation is present.
qadeer
2013-08-07
*
|
cleaned up the OG code
qadeer
2013-08-07
*
|
Changed BVD to display shortened names if they are unique.
wuestholz
2013-08-05
[next]