summaryrefslogtreecommitdiff
path: root/Source/Houdini
Commit message (Expand)AuthorAge
* Eliminated calls to deprecated method.Gravatar wuestholz2015-02-18
* Fixes to StagedHoudiniGravatar Ally Donaldson2015-01-23
* Fixes to StagedHoudiniGravatar Ally Donaldson2015-01-22
* Worked on StagedHoudiniGravatar Ally Donaldson2015-01-16
* MergeGravatar Ally Donaldson2015-01-13
|\
* | Removed unnecessary stage-related attributes from candidate annotations.Gravatar Ally Donaldson2015-01-10
| * Made 2 invariants of class 'CommandLineOptions' robust by:Gravatar wuestholz2015-01-09
|/
* Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
* changed the suffix of the trace file from .bpl to .txt to avoid confusing the...Gravatar qadeer2014-11-08
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did more refactoring.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* minor fix to abshoudini's handling of quantifiersGravatar akashlal2014-09-20
* a bug fix in Houdini (also AbsHoudini)Gravatar qadeer2014-09-19
* InlineAssume attribute for ensures clauses; if present, the ensures condition...Gravatar qadeer2014-09-18
* fixed a bug in inliningGravatar qadeer2014-09-17
* fixed a crashGravatar qadeer2014-09-16
* ExplainHoudini change to add reasons for inconsistency as well.Gravatar shuvendu2014-07-27
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* OnModel now carries the result of the prover callGravatar akashlal2014-06-28
* Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio...Gravatar Ally Donaldson2014-05-28
* Removed printing code from candidate dependence analyserGravatar Ally Donadlson2014-05-28
* Small cleanup in Staged HoudiniGravatar Ally Donaldson2014-05-28
* Fixed state capture concurrency bug with Staged HoudiniGravatar Ally Donaldson2014-05-27
* Minor fix to abshoudiniGravatar akashlal2014-04-16
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* Fixed errors in the use of Code ContractsGravatar Rustan Leino2014-02-10
* Option for reversing Houdini worklist (for top-down analysis)Gravatar akashlal2014-01-28
* Recursive walking of Exprs doesn't play nice when the depth of the AST is high.Gravatar akashlal2014-01-07
* added the QED build configurationGravatar qadeer2013-12-02
* binary tree of ANDs saves stack spaceGravatar akashlal2013-11-29
* MergeGravatar Pantazis Deligiannis2013-11-07
|\
| * AbsHoudini: Support timeout, MakeTop, InlineFunctionsGravatar akashlal2013-11-02
* | small fix in the parallel refutation sharingGravatar Pantazis Deligiannis2013-10-16
|/
* small cleanupGravatar Pantazis Deligiannis2013-10-10
* fixed bug with the exchange refuted invariants processGravatar Pantazis Deligiannis2013-10-06
* small refactoringGravatar Pantazis Deligiannis2013-10-02
* removal of commentGravatar Pantazis Deligiannis2013-10-02
* fixed bugGravatar Pantazis Deligiannis2013-10-01
* changes to support a configured errorLimitGravatar Pantazis Deligiannis2013-09-30
* more changes towards parallelisation of HoudiniGravatar Pantazis Deligiannis2013-09-29
* refactoring + new class ConcurrentHoudiniGravatar Pantazis Deligiannis2013-09-27
* refuted candidates are exchanged in memory using a concurrent dictionary inst...Gravatar Pantazis Deligiannis2013-09-26
* improvements to the refuted annotations exchange processGravatar Pantazis Deligiannis2013-08-20
* new option for reversing the topological order - this could potentially help ...Gravatar Pantazis Deligiannis2013-08-19
* changes in the parallel houdini scriptGravatar Pantazis Deligiannis2013-07-30
* added script for running the portfolio solver (parallel houdini)Gravatar Pantazis Deligiannis2013-07-30
* parallel houdini prototype workingGravatar Pantazis Deligiannis2013-07-26
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22