summaryrefslogtreecommitdiff
path: root/Source/Houdini/AbstractHoudini.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix for AbsHoudiniGravatar akashlal2015-05-01
* AbsHoudini: made disjunct bound a parameterGravatar akashlal2015-05-01
* Minor fixes for AbsHoudiniGravatar Akash Lal2015-04-23
* Better error messageGravatar akashlal2015-04-21
* Eliminated calls to deprecated method.Gravatar wuestholz2015-02-18
* Made 2 invariants of class 'CommandLineOptions' robust by:Gravatar wuestholz2015-01-09
* 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
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* OnModel now carries the result of the prover callGravatar akashlal2014-06-28
* Minor fix to abshoudiniGravatar akashlal2014-04-16
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* Recursive walking of Exprs doesn't play nice when the depth of the AST is high.Gravatar akashlal2014-01-07
* binary tree of ANDs saves stack spaceGravatar akashlal2013-11-29
* AbsHoudini: Support timeout, MakeTop, InlineFunctionsGravatar akashlal2013-11-02
* ExprSeq: 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
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
* Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
* AbsHoudini: Bug fix, with bv constants.Gravatar akashlal2013-06-19
* AbsHoudini: Bug fixGravatar akashlal2013-06-19
* AbsHoudini: Few more abstract domainsGravatar akashlal2013-06-16
* AbsHoudini: added an implication domainGravatar akashlal2013-06-15
* AbsHoudini: Added support for quantifiersGravatar akashlal2013-05-27
* AbsHoudini: Tolerate some assertion failing. Updated regression baseline.Gravatar akashlal2013-05-10
* AbsHoudini: Each function can specify its own abstract domain. Also addedGravatar akashlal2013-05-05
* Some code refactoringGravatar akashlal2013-05-03
* AbsHoudini: Bug fixGravatar akashlal2013-04-28
* AbsHoudini: Added support for /errorLimit:n, n > 1Gravatar akashlal2013-04-25
* AbsHoudini: Added predicate-abstraction domain and some examples.Gravatar akashlal2013-04-25
* AbsHoudini: Added support for DoNotUsLabels, domain for simulating Houdini,Gravatar akashlal2013-04-25
* AbsHoudini: Added SCC-based worklist, bug-fix for inline attribute,Gravatar akashlal2013-04-19
* AbsHoudini: Added support for /inlineDepth, and fixed the regression testsGravatar akashlal2013-04-18
* Nice clean re-implementation of AbstractHoudini. And testsGravatar akashlal2013-04-18
* Minor changes to AbstractHoudiniGravatar akashlal2013-03-10
* AbstractHoudini: more details for computing a tighter predicate coverGravatar Unknown2013-02-15
* Timeout in AbstractHoudiniGravatar akashlal2013-01-16
* Some more changes to AbsHoudiniGravatar akashlal2012-12-28
* AbstractHoudini optimization: replace summary predicate with Boolean variablesGravatar Unknown2012-12-21
* AbstractHoudini: more fixes, for self-recursionGravatar akashlal2012-12-16
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-08 02:03:43 +0000