2020-02-27 |
Andrew Reynolds | Refactor operator applications in the parser (#3831) |
tree | commitdiff |
2020-02-27 |
Haniel Barbosa | Changing TPTP parser to accomodate new API (#3837) |
tree | commitdiff |
2020-02-26 |
Andrew Reynolds | Embed mkAssociative utilities within the API. (#3801) |
tree | commitdiff |
2020-02-24 |
Andrew Reynolds | Convert parser input interface to api::Term (#3809) |
tree | commitdiff |
2020-02-20 |
Andrew Reynolds | Remove front-end support for Chain (#3767) |
tree | commitdiff |
2020-02-17 |
Haniel Barbosa | Using ParseOp in TPTP (#3764) |
tree | commitdiff |
2019-08-10 |
Andrew Reynolds | Simplify how defined functions are tracked during parsi... |
tree | commitdiff |
2019-07-31 |
Haniel Barbosa | Parsing THF and adding several regressions (#3131) |
tree | commitdiff |
2019-06-21 |
Andres Noetzli | Fix and simplify handling of --force-logic (#3062) |
tree | commitdiff |
2019-04-24 |
Mathias Preiner | Do not use __ prefix for header guards. (#2974) |
tree | commitdiff |
2019-03-26 |
Aina Niemetz | Update copyright headers. |
tree | commitdiff |
2019-03-14 |
Andrew Reynolds | Implement proper semantics for TPTP predicate is_rat... |
tree | commitdiff |
2018-10-20 |
Mathias Preiner | Remove antlr_undefines.h. (#2664) |
tree | commitdiff |
2018-10-19 |
Mathias Preiner | Remove autotools build system. (#2639) |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Only build libcvc4 and libcvc4parser as libraries. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Move find_package to where it is actually needed. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Cleanup CMakeLists.txt files, remove SHARED. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Working build infrastructure. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Antlr parser generation done. |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
2018-08-23 |
Andres Noetzli | Use "filename" instead of "name" in SmtEngine::setInfo... |
tree | commitdiff |
2018-08-09 |
Aina Niemetz | Plug solver API object into parser. (#2240) |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
tree | commitdiff |
2018-05-29 |
Andres Noetzli | Track input language in a single place (#2003) |
tree | commitdiff |
2018-04-08 |
Andrew Reynolds | Do not introduce uinterpreted constants in TPTP parser... |
tree | commitdiff |
2018-02-08 |
Tim King | Fixing more inconsistent usages of override. (#1575) |
tree | commitdiff |
2018-01-06 |
Tim King | Removing throw specifiers from src/parser/. (#1486) |
tree | commitdiff |
2017-11-29 |
Tim King | Simplifying the conditions in checkLetBinding to avoid... |
tree | commitdiff |
2017-11-07 |
Tim King | Removing an unused member from Tptp. Initializing... |
tree | commitdiff |
2017-10-18 |
Andrew Reynolds | Tptp unsat cores (#1228) |
tree | commitdiff |
2017-09-26 |
Tim King | Fixing Cid 1172009 (#1141) |
tree | commitdiff |
2017-09-19 |
Tim King | Removing a potentially invalid comparison in the TPTP... |
tree | commitdiff |
2017-08-25 |
Aina Niemetz | Added missing includes (algorithm). |
tree | commitdiff |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
tree | commitdiff |
2017-07-17 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
2017-07-17 |
Andres Noetzli | Remove PtrCloser (#198) |
tree | commitdiff |
2017-07-16 |
Andres Noetzli | Use CXXFLAGS when compiling parsers (#197) |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Use new copyright header format. |
tree | commitdiff |
2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to... |
tree | commitdiff |
2017-03-02 |
ajreynol | Eliminate Boolean term conversion. Generalizes removeIT... |
tree | commitdiff |
2017-01-04 |
ajreynol | Fix for tff type declarations inTPTP parser, fixes... |
tree | commitdiff |
2016-11-09 |
Tim King | Merge branch 'master' into uniq-ptr |
tree | commitdiff |
2016-11-09 |
ajreynol | Fix tptp parser memory leaks for include. |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
tree | commitdiff |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
tree | commitdiff |
2016-01-28 |
Tim King | Adding listeners to Options. |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-12-03 |
Tim King | Removing the generated directory from the parsers. |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-07-01 |
Morgan Deters | Update copyrights. |
tree | commitdiff |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-02 |
Morgan Deters | Update copyright year. |
tree | commitdiff |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
2013-09-05 |
Morgan Deters | Fix declare-fun/define-fun in dumps; resolves bugs... |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-07-11 |
Morgan Deters | Remove auto-aritization from TPTP parser |
tree | commitdiff |
2013-07-11 |
Morgan Deters | Support for TPTP's TFF0 (with arithmetic) |
tree | commitdiff |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-07 |
Morgan Deters | Allow disabling include-file feature |
tree | commitdiff |
2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-10 |
Andrew Reynolds | Update casc run script. Work on compliance for SZS... |
tree | commitdiff |
2013-04-18 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-04-09 |
Morgan Deters | Change TPTP parser to not use the STRING type; this... |
tree | commitdiff |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
2013-03-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
tree | commitdiff |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
2013-03-19 |
Morgan Deters | Minor fixes to build system |
tree | commitdiff |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | fix to build system: #include the proper file when... |
tree | commitdiff |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
2013-03-09 |
Morgan Deters | Disallow overflow in bitvector literals (parser only) |
tree | commitdiff |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
tree | commitdiff |
2013-02-16 |
Morgan Deters | Some cleanup and copyright updating |
tree | commitdiff |
2013-02-02 |
lianah | merged master into branch |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | update ANTLR URLs (antlr.org -> antlr3.org) |
tree | commitdiff |
2012-10-22 |
Morgan Deters | fix parser generation in distributed tarballs (should... |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-09-28 |
Morgan Deters | Public interface review items: |
tree | commitdiff |
2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
tree | commitdiff |
2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkol... |
tree | commitdiff |
2012-08-03 |
Morgan Deters | better parser makefile fix |
tree | commitdiff |
next |