summaryrefslogtreecommitdiff
path: root/Source/Houdini
Commit message (Expand)AuthorAge
* 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
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* mergeGravatar Pantazis Deligiannis2013-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
| * Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
* | mergeGravatar Pantazis Deligiannis2013-07-19
|\|
| * 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
| * Some cleanup in HoudiniSessionGravatar allydonaldson2013-07-16
| * Reworking of Staged Houdini in preparation for parallelising it.Gravatar allydonaldson2013-07-16
* | MergeGravatar Pantazis Deligiannis2013-07-15
|\ \ | |/ |/|
* | Worked on the parallelization.Gravatar wuestholz2013-07-10
| * mergeGravatar Pantazis Deligiannis2013-07-06
| |\ | |/ |/|
* | Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
* | Addressed some \n versus \r\n issuesGravatar Rustan Leino2013-06-29
* | Method in Houdini to allow an expression to be turned into non-candidate formGravatar allydonaldson2013-06-21
* | MergeGravatar allydonaldson2013-06-19
|\ \
| * | AbsHoudini: Bug fix, with bv constants.Gravatar akashlal2013-06-19
* | | MergeGravatar allydonaldson2013-06-19
|\| |
| * | AbsHoudini: Bug fixGravatar akashlal2013-06-19
* | | MergeGravatar allydonaldson2013-06-18
|\| |
| * | AbsHoudini: Few more abstract domainsGravatar akashlal2013-06-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 19:03:03 +0000