summaryrefslogtreecommitdiff
path: root/Source/Houdini/Houdini.cs
Commit message (Expand)AuthorAge
* 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
* Did more refactoring.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* 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
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio...Gravatar Ally Donaldson2014-05-28
* (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
* small cleanupGravatar Pantazis Deligiannis2013-10-10
* fixed bug with the exchange refuted invariants processGravatar Pantazis Deligiannis2013-10-06
* 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
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* Revamp of staged Houdini, and completion of parallel support.Gravatar allydonaldson2013-07-18
* Extracted Houdini statistics into a record, and parametersied Houdini class w...Gravatar allydonaldson2013-07-16
* Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
* Method in Houdini to allow an expression to be turned into non-candidate formGravatar allydonaldson2013-06-21
* Adapted Houdini algorithm to take staging into accountGravatar allydonaldson2013-05-18
* Staged HoudiniGravatar allydonaldson2013-04-30
* Refactored MatchCandidateGravatar allydonaldson2013-03-08
* MatchCandidate modified to match candidates by variable name, rather than by ...Gravatar allydonaldson2013-03-08
* Some code clean-upGravatar Unknown2013-01-07
* minor bug fixGravatar Unknown2012-12-27
* Bug fix for ExplainHoudini. Made it robust under timeouts.Gravatar Unknown2012-12-20
* AbstractHoudini: bug fixesGravatar akashlal2012-12-16
* Added some commentsGravatar akashlal2012-12-12
* MergeGravatar akashlal2012-12-12
|\
* | First implementation of ExplainHoudiniGravatar Unknown2012-12-12
| * Houdini: allow cross-dependencies between procedures that occurs when assumeGravatar Unknown2012-12-11
|/
* when a query times out, all asserted candidates are droppedGravatar Unknown2012-11-25
* bunch of refactoringsGravatar Unknown2012-10-03
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Extra debugging output for HoudiniGravatar Unknown2012-08-21
* Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) w...Gravatar Peter Collingbourne2012-08-07