| 2014-03-05 |
Kshitij Bansal | Don't tokenize SET_THEORY operators in smt2 parser |
blob | commitdiff | raw |
| 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 |
|
projects / cvc5.git / history