summaryrefslogtreecommitdiff
path: root/src/parser/tptp
AgeCommit message (Expand)Author
2020-06-16Update copyright headers.Aina Niemetz
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02New C++ API: Keep reference to solver object in non-solver objects. (#4549)Aina Niemetz
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
2020-03-09Clean up more uses of ExprManager in parsers (#3932)Andrew Reynolds
2020-03-05Migrate a majority of the functionality in parsers to the new API (#3838)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-27Refactor operator applications in the parser (#3831)Andrew Reynolds
2020-02-27Changing TPTP parser to accomodate new API (#3837)Haniel Barbosa
2020-02-25Embed mkAssociative utilities within the API. (#3801)Andrew Reynolds
2020-02-24Convert parser input interface to api::Term (#3809)Andrew Reynolds
2020-02-20Remove front-end support for Chain (#3767)Andrew Reynolds
2020-02-17Using ParseOp in TPTP (#3764)Haniel Barbosa
2019-08-10Simplify how defined functions are tracked during parsing (#3177)Andrew Reynolds
2019-07-31Parsing THF and adding several regressions (#3131)Haniel Barbosa
2019-06-21Fix and simplify handling of --force-logic (#3062)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2019-03-14Implement proper semantics for TPTP predicate is_rat. (#2861)Andrew Reynolds
2018-10-20Remove antlr_undefines.h. (#2664)Mathias Preiner
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Move find_package to where it is actually needed.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Antlr parser generation done.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-23Use "filename" instead of "name" in SmtEngine::setInfo() (#2361)Andres Noetzli
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-29Track input language in a single place (#2003)Andres Noetzli
2018-04-08Do not introduce uinterpreted constants in TPTP parser (#1743)Andrew Reynolds
2018-02-07Fixing more inconsistent usages of override. (#1575)Tim King
2018-01-06Removing throw specifiers from src/parser/. (#1486)Tim King
2017-11-29Simplifying the conditions in checkLetBinding to avoid using iterator… (#1372)Tim King
2017-11-07 Removing an unused member from Tptp. Initializing members of Tptp. (#1326)Tim King
2017-10-18Tptp unsat cores (#1228)Andrew Reynolds
2017-09-26Fixing Cid 1172009 (#1141)Tim King
2017-09-19Removing a potentially invalid comparison in the TPTP parser. (#1091)Tim King
2017-08-25Added missing includes (algorithm).Aina Niemetz
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-06-30Minor change to trigger selection, fixes related to subtypes (in macros, cbqi...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2017-01-04Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan...ajreynol
2016-11-09Fix tptp parser memory leaks for include.ajreynol
2016-04-20update from the masterPaulMeng
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback