projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2014-03-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-26 Tianyi Liangderiv symbolic regexp commit | commitdiff | tree
2014-03-26 Tianyi Liangadds intersection commit | commitdiff | tree
2014-03-26 Tianyi Liangderiv symbolic regexp commit | commitdiff | tree
2014-03-26 Tim KingMerging in a fix from 1.3.x. commit | commitdiff | tree
2014-03-25 Tianyi Liangadds intersection commit | commitdiff | tree
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model commit | commitdiff | tree
2014-03-20 Kshitij Bansalcleanup commit | commitdiff | tree
2014-03-20 Kshitij Bansalfix for sets/mar2014/..317minimized.. commit | commitdiff | tree
2014-03-20 Kshitij BansalFix for registration issues of term appearing in a... commit | commitdiff | tree
2014-03-20 Kshitij Bansalrewriter fix, weaken an assertion commit | commitdiff | tree
2014-03-20 Kshitij Bansalconstant normal form and rewrite commit | commitdiff | tree
2014-03-20 Kshitij Bansalfix a sharing issues with sets commit | commitdiff | tree
2014-03-20 Kshitij Bansalpush subtyping for sets to the element type commit | commitdiff | tree
2014-03-20 Kshitij Bansalenable check-models for sets/ regressions commit | commitdiff | tree
2014-03-20 Kshitij Bansalwork on set model commit | commitdiff | tree
2014-03-20 Kshitij Bansaltestlemma regressions commit | commitdiff | tree
2014-03-20 Andrew ReynoldsMinor fix for CBQI, ignore inst constant nodes. commit | commitdiff | tree
2014-03-19 Morgan DetersFix documentation for Theory::preRegisterTerm(). commit | commitdiff | tree
2014-03-19 Martin BrainRefactor the theory specific parts of definition expans... commit | commitdiff | tree
2014-03-19 Morgan DetersSet dumping options from (set-option..) and API more... commit | commitdiff | tree
2014-03-19 Morgan DetersFix for bug 555; SMT-LIBv2 symbols now output with... commit | commitdiff | tree
2014-03-19 Morgan DetersMove the translator binary from src/main to examples... commit | commitdiff | tree
2014-03-19 Morgan DetersAppease compilers from latest XCode release (v5.1). commit | commitdiff | tree
2014-03-19 Morgan DetersMinor usability fixes related to SMT-LIB compliance. commit | commitdiff | tree
2014-03-19 Morgan DetersFix proof signatures makefile commit | commitdiff | tree
2014-03-19 Morgan DetersMinor documentation fixups. commit | commitdiff | tree
2014-03-19 Andrew ReynoldsFix a memory leak in LFSC proof checker. Largest QF_UF... commit | commitdiff | tree
2014-03-17 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings commit | commitdiff | tree
2014-03-17 Tianyi Lianghot fix for pre-reg term caching in strings commit | commitdiff | tree
2014-03-14 Morgan DetersSMT-LIB compliance: allow bin/hex set-info, e.g. (set... commit | commitdiff | tree
2014-03-14 Morgan Detersdos2unix on the proof signatures, and fix the makefile. commit | commitdiff | tree
2014-03-14 Andrew ReynoldsAdd ability to provide theory-specific proof rules... commit | commitdiff | tree
2014-03-13 Andrew ReynoldsAdd working example of LFSC proof with quantifiers... commit | commitdiff | tree
2014-03-12 Andrew ReynoldsWork on array pf signature, add working example. Add... commit | commitdiff | tree
2014-03-12 Andrew ReynoldsMinor fixes post-merge of RR. commit | commitdiff | tree
2014-03-12 Morgan DetersFix LogicInfo unit test. commit | commitdiff | tree
2014-03-12 Morgan DetersSome standardization of regression Makefiles that got... commit | commitdiff | tree
2014-03-12 Morgan DetersDraft contrib/get-abc script for bitvectors libabc... commit | commitdiff | tree
2014-03-11 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-03-11 Morgan DetersFix for rewriterules build breakage. commit | commitdiff | tree
2014-03-11 Morgan DetersFix for random-seed option. commit | commitdiff | tree
2014-03-11 Morgan DetersFix for portfolio. commit | commitdiff | tree
2014-03-11 Morgan DetersMinor cleanup. commit | commitdiff | tree
2014-03-11 Morgan DetersFix for (get-assignment), resolves bug 553. commit | commitdiff | tree
2014-03-11 Morgan DetersMerge branch '1.3.x' commit | commitdiff | tree
2014-03-11 Morgan DetersFix some Win32 and SMT-LIB compliance bugs discovered... commit | commitdiff | tree
2014-03-11 Andrew ReynoldsInitial refactor of rewrite rules, make theory_rewriter... commit | commitdiff | tree
2014-03-10 Tianyi Liangadds intro vars length cache commit | commitdiff | tree
2014-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-10 Tianyi Liangminor change for strings-fmf commit | commitdiff | tree
2014-03-10 Tianyi Liangminor change for strings-fmf commit | commitdiff | tree
2014-03-08 Morgan DetersRe-fix bug 551 by adding a check to the arith ITE simpl... commit | commitdiff | tree
2014-03-08 Tim KingMerge pull request #18 from timothy-king/master commit | commitdiff | tree
2014-03-08 Tim KingFixing name changes that cam in from the merge. commit | commitdiff | tree
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' commit | commitdiff | tree
2014-03-08 Morgan DetersRemove --ite-remove-quant; support pulling ground ITEs... commit | commitdiff | tree
2014-03-08 Morgan DetersFix run_regression on Mac. commit | commitdiff | tree
2014-03-08 Morgan DetersFix bug 554 (nominally). commit | commitdiff | tree
2014-03-08 Tim KingFixing a SWIG problem for RationalFromDoubleException. commit | commitdiff | tree
2014-03-07 Tim KingMerging a squash of the branch timothy-king/CVC4/glpkne... commit | commitdiff | tree
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-07 Tianyi Liangremove unrolling depth commit | commitdiff | tree
2014-03-07 Tianyi Liangbring back D-Norm commit | commitdiff | tree
2014-03-07 Morgan DetersFix strings-exp setting. commit | commitdiff | tree
2014-03-07 Tianyi Liangremove unrolling depth commit | commitdiff | tree
2014-03-07 Tianyi Liangbring back D-Norm commit | commitdiff | tree
2014-03-07 Morgan DetersFix strings-exp setting. commit | commitdiff | tree
2014-03-07 Thomas HungerAdd swig renames for new Z3STR language. commit | commitdiff | tree
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-07 Tianyi Liangadds incremental for strings; clean-up codes commit | commitdiff | tree
2014-03-07 Tianyi Liangadds incremental for strings; clean-up codes commit | commitdiff | tree
2014-03-05 Kshitij BansalMerge pull request #14 from kbansal/sets-parserchanges commit | commitdiff | tree
2014-03-05 Kshitij BansalArray smtlib compliance tests commit | commitdiff | tree
2014-03-05 Kshitij BansalRevert "fix naming conflicts in benchmarks" commit | commitdiff | tree
2014-03-05 Kshitij BansalDon't tokenize SET_THEORY operators in smt2 parser commit | commitdiff | tree
2014-03-05 Tim KingImproving support for POW in arithmetic. Resolves bug... commit | commitdiff | tree
2014-03-04 Thomas HungerGuard java-specific swig code with SWIGJAVA. commit | commitdiff | tree
2014-03-04 Morgan DetersDon't theory-preprocess under quantifiers; but DO theor... commit | commitdiff | tree
2014-03-04 Morgan DetersMore useful error message when someone tries mkExpr... commit | commitdiff | tree
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... commit | commitdiff | tree
2014-03-01 Tianyi Liangminor clean-up, bring back derivatives commit | commitdiff | tree
2014-03-01 Tianyi Lianga new regular expression engine for solving both positi... commit | commitdiff | tree
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... commit | commitdiff | tree
2014-02-28 Tianyi Liangminor clean-up, bring back derivatives commit | commitdiff | tree
2014-02-28 Tianyi Lianga new regular expression engine for solving both positi... commit | commitdiff | tree
2014-02-28 Kshitij BansalMerge pull request #12 from kbansal/in-to-member commit | commitdiff | tree
2014-02-28 Kshitij Bansaltheory/sets: cleanup commit | commitdiff | tree
2014-02-28 Kshitij Bansalrename kind::IN to kind::MEMBER (fixes some windows... commit | commitdiff | tree
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every... commit | commitdiff | tree
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition... commit | commitdiff | tree
2014-02-27 Andrew ReynoldsBug fix for QCF algorithm, was missing instantiations... commit | commitdiff | tree
2014-02-26 Tianyi Liangsorry for the missing file commit | commitdiff | tree
2014-02-26 Tianyi Liangbug fix (caused by merge), move cardinality option... commit | commitdiff | tree
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 commit | commitdiff | tree
2014-02-26 Tianyi Liangadd a new file commit | commitdiff | tree
2014-02-26 Tianyi Liangfor merging commit | commitdiff | tree
2014-02-26 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains... commit | commitdiff | tree
next