cvc5.git
2014-11-05 Morgan DetersMerge branch '1.4.x'
2014-11-05 Morgan DetersFix get-bug-attachments script.
2014-11-05 ajreynolMore work on datatypes theory combination: fix bug...
2014-11-02 Clark BarrettAdded cache to getModelValue
2014-11-01 ajreynolFix cegqi for synthesis without syntax.
2014-11-01 ajreynolSimplify which lemmas to communicate in dt.
2014-11-01 ajreynolFix bug 592: introduce skolem for dt instantiate lemma...
2014-11-01 ajreynolFix some mistakes in datatypes theory combination,...
2014-10-31 ajreynolDo not allow duplication of function definitions. ...
2014-10-30 Clark BarrettBe more lazy about generating array lemmas
2014-10-30 Clark BarrettAdded new, much faster, care graph computation for...
2014-10-28 ajreynolPreprocessing step for finding finite runs of well...
2014-10-28 ajreynolInitial infrastructure for function definition quantifi...
2014-10-28 ajreynolImprove stats in conjecture generator, minor cleanup.
2014-10-25 ajreynolMinor fix for --user-pat=resort
2014-10-24 Morgan DetersFix typo.
2014-10-24 Morgan DetersMinor parser performance fix.
2014-10-24 ajreynolAdd --user-pat=resort. Minor cleanup of options.
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5...
2014-10-23 lianahFixed inefficiency in bit-vector rewrite rule.
2014-10-22 Morgan DetersFix bug590 regression distcheck failure from last night.
2014-10-22 Tianyi LiangFixed bug 589
2014-10-21 Clark BarrettFixed bug 590, added regression test
2014-10-20 ajreynolMinor cleanup in datatypes.
2014-10-20 Kshitij BansalMerge pull request #59 from kbansal/sets3
2014-10-20 Kshitij BansalFinish sets type enumerator implementation.
2014-10-20 Kshitij Bansalfix statistic in decision engine
2014-10-18 ajreynolFix assertion.
2014-10-18 ajreynolAdd dt lemma: zero size implies nullary constructor.
2014-10-18 ajreynolFix for bounded integers when incremental, fixes bug...
2014-10-17 Morgan DetersMerge branch '1.4.x'
2014-10-17 Morgan DetersRemove a bad (unstable, timing-dependent) test.
2014-10-17 Tianyi LiangMinor change for performance according to Andy's sugges...
2014-10-16 Morgan DetersFix clang warnings
2014-10-16 ajreynolMake --user-pat=trust default. Fix a few warnings...
2014-10-16 Morgan DetersMerge branch '1.4.x'
2014-10-16 Morgan DetersAdd Thomas Hunger to THANKS file (for having submitted...
2014-10-16 ajreynolUse n-ary splits instead of binary splits in theory...
2014-10-16 ajreynolAdd dt.size to datatypes theory. Add option for fairne...
2014-10-14 lianahfix for memory leak in BVQuickCheck
2014-10-14 Morgan DetersMerge pull request #58 from mdeters/smt-attributes
2014-10-14 Morgan DetersContext-dependent expr attributes are now attached...
2014-10-14 Kshitij Bansalamend prvs commit
2014-10-14 Kshitij Bansaltrace decision-node
2014-10-13 ajreynolCEGQI uses model. Enforce fairness in CEGQI natively.
2014-10-13 ajreynolModel building into quantifiers engine. Simplify axiom...
2014-10-13 ajreynolRefactor model builder from model engine to quant engin...
2014-10-11 Morgan DetersMerge branch '1.4.x'
2014-10-11 Morgan DetersSome defensive programming at destruction time, and...
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x'
2014-10-10 ajreynolInitial draft of CEGQI.
2014-10-10 Kshitij BansalFix issue with shared but non-preregistered term setup...
2014-10-10 Morgan DetersCleanup
2014-10-10 ajreynolAdd owner map to better manage QuantifiersModules....
2014-10-09 ajreynolRefactor quantifier prenex option. By default, do...
2014-10-09 Morgan DetersMerge branch '1.4.x'
2014-10-09 Morgan DetersAdd unsat cores support to CVC native language.
2014-10-08 Morgan DetersSome minor cleanup.
2014-10-08 Morgan DetersRemove private header from public driver.
2014-10-08 Kshitij BansalFix portoflio issues (debugging code was being called...
2014-10-07 Kshitij BansalMerge remote-tracking branch 'upstream/master' into...
2014-10-07 Kshitij Bansalupdate default Sets options
2014-10-07 Kshitij Bansalwhitespace fixes
2014-10-07 ajreynolCache for getInstance, thanks to Johannes Kanig for...
2014-10-07 Kshitij Bansaladd couple of stats
2014-10-07 Kshitij Bansalsets stronger equality propagator
2014-10-07 ajreynolRefactor quantifiers attributes.
2014-10-07 Morgan Detersdefine-const is an extended command, not permitted...
2014-10-07 Morgan DetersFix unit test that was broken with last commit.
2014-10-07 Morgan DetersFix a resource limiting issue where interruption didn...
2014-10-07 Morgan DetersMerge branch '1.4.x'
2014-10-07 Morgan DetersFix a bug in tuple-record handling. Thanks to Saumya...
2014-10-07 Morgan DetersSome minor cleanup.
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersCopyright-updating script now retains non-NYU/UIowa...
2014-10-06 Kshitij Bansalfix for bug586
2014-10-06 Morgan DetersPrint array constants in SMT-LIB models with new syntax.
2014-10-06 Morgan DetersClear out decls/defs with RESET command.
2014-10-06 Morgan DetersExtended parsing testcase, with constant arrays and...
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersFix native language parsing of chained-store expression...
2014-10-06 Morgan DetersSupport for RESET command in CVC native language (and...
2014-10-04 Morgan DetersEnable some old bug testcases that (maybe?) never got...
2014-10-03 Morgan DetersSupport exporting array-store-all expressions to other...
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersFix output of integer-valued real constants in SMT...
2014-10-03 Morgan DetersAdd some (so far trivial) regressions for constant...
2014-10-03 Morgan DetersImprove error in CVC parser in presence of unrecognized...
2014-10-03 Morgan DetersMore array constants and parsing: better error messages...
2014-10-03 Morgan DetersMinor fixes to CVC printer.
2014-10-03 Morgan DetersSMT-LIB parser support for array constants (Z3 syntax).
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersNote array const support in NEWS
2014-10-03 Morgan DetersFix unit test for ArrayStoreAll.
2014-10-02 Clark BarrettAdded internal support for constant arrays.
2014-10-02 Morgan DetersMerge branch '1.4.x'.
2014-10-02 Clark BarrettAdded option for developer use only
2014-10-02 Clark BarrettMore model-based combination for arrays
2014-10-02 Clark BarrettBetter getEqualityStatus for arrays, smarter combinatio...
2014-10-02 Morgan DetersUpdate AUTHORS affiliations and add Martin.
next