2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-26 |
Morgan Deters | Improved SMT-LIBv2 language support for unsat cores. |
blob | commitdiff | raw |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
blob | commitdiff | raw | diff to current |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-06-29 |
Kshitij Bansal | sets: "insert" operator |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and... |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory |
blob | commitdiff | raw | diff to current |
2014-04-29 |
Morgan Deters | Fix for --force-logic to extend its reach to the parser. |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-19 |
Morgan Deters | Minor usability fixes related to SMT-LIB compliance. |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-03-05 |
Kshitij Bansal | Merge pull request #14 from kbansal/sets-parserchanges |
blob | commitdiff | raw | diff to current |
2014-03-05 |
Kshitij Bansal | Don't tokenize SET_THEORY operators in smt2 parser |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-18 |
Morgan Deters | Support for bv2nat/int2bv in parser and BV rewriter. |
blob | commitdiff | raw | diff to current |
2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-11 |
Tianyi Liang | Theory of strings. |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-25 |
Morgan Deters | Support for abs, to_int, is_int, divisible in SMT-LIB... |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-07 |
Morgan Deters | Allow disabling include-file feature |
blob | commitdiff | raw | diff to current |
2013-06-04 |
Morgan Deters | File inclusion in Smt2 parser. |
blob | commitdiff | raw | diff to current |
2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Fix bug where strict mode didn't allow DIV or MOD,... |
blob | commitdiff | raw | diff to current |
2013-05-28 |
Morgan Deters | Standardize SMT-LIBv2 set of logics to use LogicInfo. |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-21 |
Morgan Deters | Add the ability to "mute" commands, needed for SMT... |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Morgan Deters | fix SMT-LIBv2 compliance mode for bitvectors (was compl... |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
blob | commitdiff | raw | diff to current |
2012-07-17 |
Morgan Deters | fix an obvious oversight: "distinct" wasn't part of... |
blob | commitdiff | raw | diff to current |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
blob | commitdiff | raw | diff to current |
2012-06-07 |
Morgan Deters | LogicInfo locking implemented, and some initialization... |
blob | commitdiff | raw | diff to current |
2012-06-04 |
Clark Barrett | Added preprocessing pass that propagates unconstrained... |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Morgan Deters | fix parser logic-handling oversights: QF_UFBV should... |
blob | commitdiff | raw | diff to current |
2012-04-11 |
Morgan Deters | merge from arrays-clark branch |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2011-10-20 |
Morgan Deters | add support for QF_AUFLIA and QF_AUFLIRA logic strings... |
blob | commitdiff | raw | diff to current |
2011-10-19 |
Tim King | Adding support for QF_UFLIA to the smt2 parser. |
blob | commitdiff | raw | diff to current |
2011-04-20 |
Morgan Deters | Tuesday end-of-day commit. |
blob | commitdiff | raw | diff to current |
2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
blob | commitdiff | raw | diff to current |
2010-10-04 |
Morgan Deters | remove/shuffle some #include dependencies; fix some... |
blob | commitdiff | raw | diff to current |
2010-07-08 |
Christopher L. Conway | Adding missing operators in SMT2 parser: UMINUS, DIVISI... |
blob | commitdiff | raw | diff to current |
2010-07-02 |
Morgan Deters | re-generated comment headers of source files |
blob | commitdiff | raw | diff to current |
2010-06-30 |
Christopher L. Conway | Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UF... |
blob | commitdiff | raw | diff to current |
2010-06-14 |
Christopher L. Conway | Adding array select/store to SMT v1 and v2 parsers |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Christopher L. Conway | Adding QF_SAT to SMT parsers |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Christopher L. Conway | Enabling RDL/IDL in SMT v1 and adding some simple tests |
blob | commitdiff | raw | diff to current |
2010-06-03 |
Christopher L. Conway | Implementing input from stdin (Fixes: #144) |
blob | commitdiff | raw | diff to current |
2010-06-01 |
Christopher L. Conway | Adding SMT v2 parsing support for: QF_IDL, QF_NIA,... |
blob | commitdiff | raw | diff to current |
2010-05-12 |
Christopher L. Conway | Adding ParserBuilder, reducing visibility of Parser... |
blob | commitdiff | raw | diff to current |
2010-05-12 |
Christopher L. Conway | true and false are only defined if the core theory... |
blob | commitdiff | raw | diff to current |
2010-05-12 |
Christopher L. Conway | Adding class Smt2 to handle declaration of logic and... |
blob | commitdiff | raw | diff to current |
|