index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Houdini
Commit message (
Expand
)
Author
Age
*
Eliminated calls to deprecated method.
wuestholz
2015-02-18
*
Fixes to StagedHoudini
Ally Donaldson
2015-01-23
*
Fixes to StagedHoudini
Ally Donaldson
2015-01-22
*
Worked on StagedHoudini
Ally Donaldson
2015-01-16
*
Merge
Ally Donaldson
2015-01-13
|
\
*
|
Removed unnecessary stage-related attributes from candidate annotations.
Ally Donaldson
2015-01-10
|
*
Made 2 invariants of class 'CommandLineOptions' robust by:
wuestholz
2015-01-09
|
/
*
Updated to Staged Houdini
Ally Donaldson
2015-01-08
*
changed the suffix of the trace file from .bpl to .txt to avoid confusing the...
qadeer
2014-11-08
*
Lets have a setter for TopLevelDeclarations as well
akashlal
2014-09-25
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did more refactoring.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
minor fix to abshoudini's handling of quantifiers
akashlal
2014-09-20
*
a bug fix in Houdini (also AbsHoudini)
qadeer
2014-09-19
*
InlineAssume attribute for ensures clauses; if present, the ensures condition...
qadeer
2014-09-18
*
fixed a bug in inlining
qadeer
2014-09-17
*
fixed a crash
qadeer
2014-09-16
*
ExplainHoudini change to add reasons for inconsistency as well.
shuvendu
2014-07-27
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
OnModel now carries the result of the prover call
akashlal
2014-06-28
*
Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio...
Ally Donaldson
2014-05-28
*
Removed printing code from candidate dependence analyser
Ally Donadlson
2014-05-28
*
Small cleanup in Staged Houdini
Ally Donaldson
2014-05-28
*
Fixed state capture concurrency bug with Staged Houdini
Ally Donaldson
2014-05-27
*
Minor fix to abshoudini
akashlal
2014-04-16
*
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...
Rustan Leino
2014-02-24
*
Fixed errors in the use of Code Contracts
Rustan Leino
2014-02-10
*
Option for reversing Houdini worklist (for top-down analysis)
akashlal
2014-01-28
*
Recursive walking of Exprs doesn't play nice when the depth of the AST is high.
akashlal
2014-01-07
*
added the QED build configuration
qadeer
2013-12-02
*
binary tree of ANDs saves stack space
akashlal
2013-11-29
*
Merge
Pantazis Deligiannis
2013-11-07
|
\
|
*
AbsHoudini: Support timeout, MakeTop, InlineFunctions
akashlal
2013-11-02
*
|
small fix in the parallel refutation sharing
Pantazis Deligiannis
2013-10-16
|
/
*
small cleanup
Pantazis Deligiannis
2013-10-10
*
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
*
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
*
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
*
changes in the parallel houdini script
Pantazis Deligiannis
2013-07-30
*
added script for running the portfolio solver (parallel houdini)
Pantazis Deligiannis
2013-07-30
*
parallel houdini prototype working
Pantazis Deligiannis
2013-07-26
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
[next]