projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add --lte-restrict-inst-closure option. Push dt.size fairness constraints inside...
[cvc5.git] / src / printer /
2015-01-19 Tim KingAdding tests for get-value output for arithmetic. tree | commitdiff
2015-01-11 Tianyi Liangadjusted to both v2.0 and v2.5 string literals tree | commitdiff
2015-01-09 Tianyi Liangblocked unprintable characters in string literals; tree | commitdiff
2015-01-08 Tianyi Liangswitch ascii encoding to unsigned char tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-04 Martin BrainFloating point infrastructure. tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-17 Liana HadareanResource-limiting work. tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5... tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-09 Morgan DetersAdd unsat cores support to CVC native language. tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersPrint array constants in SMT-LIB models with new syntax. tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersSupport for RESET command in CVC native language (and... tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersFix output of integer-valued real constants in SMT... tree | commitdiff
2014-10-03 Morgan DetersMore array constants and parsing: better error messages... tree | commitdiff
2014-10-03 Morgan DetersMinor fixes to CVC printer. tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-02 Morgan DetersMerge branch '1.4.x'. tree | commitdiff
2014-09-30 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-27 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' tree | commitdiff
2014-08-26 Morgan DetersImproved SMT-LIBv2 language support for unsat cores. tree | commitdiff
2014-08-23 Morgan DetersUnsat core printing. tree | commitdiff
2014-08-22 Morgan DetersUnsat core infrastruture and API (SMT-LIB compliance... tree | commitdiff
2014-08-22 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-08-22 Morgan DetersFix operator-printing issue in SMT2. tree | commitdiff
2014-07-11 Kshitij BansalMerge pull request #48 from kbansal/segfaultfix tree | commitdiff
2014-07-11 Kshitij BansalMerge pull request #49 from kbansal/cvcparser tree | commitdiff
2014-07-10 Kshitij Bansalmembership cvc token changed to `IS_IN' to avoid confli... tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-09 Kshitij Bansalsets cvc printer tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-29 Kshitij Bansalsets: "insert" operator tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds tree | commitdiff
2014-06-25 Kshitij Bansalrename subseteq to subset in smtlib, all kinds and... tree | commitdiff
2014-06-22 Kshitij BansalRenaming of SMT2 operator names, kinds for set theory tree | commitdiff
2014-06-22 Morgan DetersOutput language "cvc3" (as opposed to "cvc" or "cvc4... tree | commitdiff
2014-06-22 Morgan DetersMinor cleanup stuff. tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-21 Morgan DetersSome minor cleanup and documentation. tree | commitdiff
2014-06-19 ajreynolFor casc : print models of functions rewritten by sort... tree | commitdiff
2014-06-17 ajreynolFor casc : print models of functions rewritten by sort... tree | commitdiff
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets tree | commitdiff
2014-06-06 Kshitij BansalSets translate, and other short fixes tree | commitdiff
2014-06-05 Morgan DetersWhen printing in SMT, print N-ary bvadd/bvmul/concat... tree | commitdiff
2014-06-04 Morgan DetersAdd operator support (resolves bug #563). tree | commitdiff
2014-05-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-05-11 Andrew ReynoldsMore preparation for CASC proofs. Minor fix for sort... tree | commitdiff
2014-04-30 Morgan DetersFix simplify output for SMT2 printer. tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-10 Andrew ReynoldsExpand definitions in theory datatypes, now has the... tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-03 Morgan DetersProperly quote symbols in SMT-LIB printer. tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str tree | commitdiff
2014-03-31 Tianyi Liangadd str to u16/u32, and u16/u32 to str tree | commitdiff
2014-03-27 Tianyi Liangadds new feature: re.loop tree | commitdiff
2014-03-27 Tianyi Liangadds new feature: re.loop tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-19 Morgan DetersFix for bug 555; SMT-LIBv2 symbols now output with... tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-05 Tim KingImproving support for POW in arithmetic. Resolves bug... tree | commitdiff
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... tree | commitdiff
2014-03-01 Tianyi Lianga new regular expression engine for solving both positi... tree | commitdiff
2014-03-01 Tianyi Liangadd re.nostr for the empty regular expression; add... tree | commitdiff
2014-02-28 Tianyi Lianga new regular expression engine for solving both positi... tree | commitdiff
2014-02-28 Kshitij BansalMerge pull request #12 from kbansal/in-to-member tree | commitdiff
2014-02-28 Kshitij Bansalrename kind::IN to kind::MEMBER (fixes some windows... tree | commitdiff
2014-02-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-26 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains... tree | commitdiff
2014-02-25 Morgan DetersNew translation work, support Z3-str-style string const... tree | commitdiff
2014-02-24 Tianyi Liangsmt-lib syntax change: str.contain -> str.contains... tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
next