cvc5.git
2015-06-02 Kshitij Bansalapplication smtcomp
2015-06-02 ajreynolFlatten sygus grammars during parsing. Remove duplicate...
2015-06-02 ajreynolAdd casc 25 tfn script. Change tff script to output...
2015-06-01 ajreynolWhen proof enabled, disable uf sym break. Add regression.
2015-05-29 ajreynolDo not enforce dt fairness when single invocation sygus.
2015-05-29 lianahchanged resource step options to unsigned
2015-05-28 Liana Hadareanadded options for controlling resource step-count for...
2015-05-27 lianahMerge pull request #75 from Dunedune/master
2015-05-25 ajreynolAdd missing regression
2015-05-25 ajreynolBug fix for CNF proofs (and/or case 1), thanks to Alain...
2015-05-22 Jordy RuizAdded throw LogicException to method lemma.
2015-05-15 ajreynolFixes related to cbqi + E-matching.
2015-05-15 ajreynolAvoid ensureLiteral on unpreprocessed formulas in cbqi.
2015-05-13 ajreynolRefactor interface for incompleteness in quantifiers...
2015-05-12 Clark BarrettAdded Finn Haedicke as a contributor.
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat
2015-05-11 ajreynolAllow sygus with no syntactic restrictions for LIA...
2015-05-11 ajreynolAdd missing regression.
2015-05-11 ajreynolSupport for arbitrary constants/variables in Sygus...
2015-05-10 ajreynolMinor improvements to infrastructure. Minor changes...
2015-05-08 ajreynolAdd casc25 fnt script.
2015-05-02 ajreynolMinor fix for corner cases of fmf-fun, fix for --dt...
2015-04-28 ajreynolFix smt2 printing of fun-def. Simplification of mbqi...
2015-04-28 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4
2015-04-28 Clark BarrettFixed problem with private/public header clash
2015-04-28 Clark BarrettDisambiguate namespaces in options, fix permissions
2015-04-27 Tim KingUpdating failing unit tests.
2015-04-26 ajreynolBug fixes and improvements for mbqi with theory symbols...
2015-04-24 ajreynolMore parser related bug fixes (define-funs-rec, declare...
2015-04-24 ajreynolFix sygus parser for non-tokenized operators, reenable...
2015-04-24 Clark BarrettFix compiler errors due to unbalanced throw specifiers.
2015-04-23 Clark BarrettMerge branch 'master' into google
2015-04-23 Clark BarrettWhitespace difference
2015-04-23 Clark BarrettA few more minor updates to match google repository...
2015-04-23 Liana HadareanAdded option for --check-unsat-cores and various core...
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize
2015-04-21 Clark BarrettChanges needed to compile at Google, plus some bug...
2015-04-21 Clark BarrettFix file permissions
2015-04-21 ajreynolFix bug in fmf mbqi=fmc with arrays. Add two datatypes...
2015-04-21 Tim KingAdding an example of a tester in SMT2.
2015-04-18 Tim KingFarkas proof coefficients.
2015-04-17 Tianyi LiangPatch for Kshitij's fix on requriePhase
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase
2015-04-17 Finn Haedickemoved Minisat namespace into CVC4
2015-04-16 ajreynolFix option --quant-fun-wd. Add mk_starexec script...
2015-04-16 ajreynolHandle (degenerate) case of synthesis conjectures for...
2015-04-16 Kshitij Bansaldisable failing sygus tests
2015-04-16 Kshitij Bansalupdate comment
2015-04-16 Kshitij Bansalstring parser builtinop changes
2015-04-16 Kshitij Bansalbv parserchanges cleanup
2015-04-16 Kshitij Bansalfp builtinop parser changes
2015-04-16 Kshitij Bansalfp reorder tokens to match other occurences
2015-04-16 Kshitij BansalTHEORY_INTS parser changes
2015-04-16 Kshitij BansalTHEORY_REAL_INTS parser changes
2015-04-16 Kshitij Bansalarray theory builtinop
2015-04-16 Kshitij Bansalcleanup
2015-04-16 Kshitij Bansaldont tokenize bv operators (normal ones)
2015-04-15 Tim KingEnabling the regression test: test/regress/regress0...
2015-04-15 Clark BarrettFix for unconstrained bug.
2015-04-15 Tim KingAdding an example that violates an assertion during...
2015-04-13 Tim KingMaking CVC4::theory::quantifiers::PrenexQuantMode publi...
2015-04-09 Kshitij Bansaldisable string reqressions timing out after change
2015-04-09 Kshitij BansalDE requests respect requirePhase
2015-04-09 ajreynolFix unsat-core issues related to rewrite rules, quantif...
2015-04-09 ajreynolFix performance issue with variable triggers + instanti...
2015-04-09 ajreynolBug fix negative contains cache.
2015-04-08 ajreynolMake fun-def quantifiers carry the function app they...
2015-04-08 Dejan JovanovicRemoving the reference to THEORY_BOOL from the equality...
2015-04-07 ajreynolMinor fixes for cegqi.
2015-04-02 Kshitij BansalMerge pull request #71 from kbansal/const-are-triggers
2015-04-01 ajreynolImprovements and bug fixes related to cbqi/cegqi. ...
2015-03-31 Kshitij Bansalfix no return value warning
2015-03-31 Kshitij Bansalfix echo command in --tear-down-incremental
2015-03-28 Tianyi Liangprinter change for string smtlib2
2015-03-25 Kshitij Bansalchange const are triggers from false to true in equalit...
2015-03-23 ajreynolParsing support for define-fun-rec/define-funs-rec.
2015-03-23 ajreynolDecouple counter-example guided quantifier instantiatio...
2015-03-16 Tianyi LiangAdd requirePhase len(x) = 0.
2015-03-16 Liana HadareanFixed proof unitialized memory and minor memory leaks.
2015-03-14 Tianyi LiangBug fix for BV
2015-03-14 Tianyi LiangPatches for 32-bit ARM
2015-03-14 Dejan JovanovicUpdating resize for occurence lists to properly resize...
2015-03-11 ajreynolStrings split on constant lengths, add length=0 to...
2015-03-11 ajreynolMinor fixes and improvements to cegqi-si for linear...
2015-03-10 ajreynolCNF proofs. Infrastructure for preprocessing proofs...
2015-03-05 ajreynolMinor fixes. Extend cegqi-si to real arithmetic.
2015-03-04 ajreynolMore work on arithmetic single invocation synthesis...
2015-02-28 Kshitij BansalRevert "dummy commit to force nightly builds"
2015-02-26 ajreynolRobust strategy for single invocation LIA synthesis...
2015-02-25 Tianyi LiangSwitch back to eager loop temporarily.
2015-02-25 Tianyi Liangminor fix for internal string print
2015-02-22 ajreynolNew trigger options. --inst-no-entail on by default...
2015-02-19 Kshitij Bansaldummy commit to force nightly builds
2015-02-16 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4
2015-02-16 Kshitij Bansalwebget: curl follow redirect
2015-02-14 ajreynolFix unit tests.
2015-02-14 Kshitij Bansalattempt to fix win32 builds
2015-02-13 ajreynolMinor cleanup, remove unused files.
2015-02-13 ajreynolHandle recursive singleton case for codatatypes, add...
2015-02-12 Kshitij Bansaltry curl before wget, workaround for issue with FTP...
next