projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate APPLY kind (#2976)
[cvc5.git] / src / parser / tptp /
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat... tree | commitdiff
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-23 Andres NoetzliUse "filename" instead of "name" in SmtEngine::setInfo... tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-29 Andres NoetzliTrack input language in a single place (#2003) tree | commitdiff
2018-04-08 Andrew ReynoldsDo not introduce uinterpreted constants in TPTP parser... tree | commitdiff
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575) tree | commitdiff
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) tree | commitdiff
2017-11-29 Tim KingSimplifying 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 ReynoldsTptp unsat cores (#1228) tree | commitdiff
2017-09-26 Tim KingFixing Cid 1172009 (#1141) tree | commitdiff
2017-09-19 Tim KingRemoving a potentially invalid comparison in the TPTP... tree | commitdiff
2017-08-25 Aina NiemetzAdded missing includes (algorithm). tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliRemove PtrCloser (#198) tree | commitdiff
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197) tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-06-30 ajreynolMinor change to trigger selection, fixes related to... tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-01-04 ajreynolFix for tff type declarations inTPTP parser, fixes... tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-09 ajreynolFix tptp parser memory leaks for include. tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-03 Tim KingRemoving the generated directory from the parsers. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersUpdate copyright year. tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... tree | commitdiff
2013-09-05 Morgan DetersFix declare-fun/define-fun in dumps; resolves bugs... tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-07-11 Morgan DetersRemove auto-aritization from TPTP parser tree | commitdiff
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-07 Morgan DetersAllow disabling include-file feature tree | commitdiff
2013-06-04 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-29 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-20 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-10 Andrew ReynoldsUpdate casc run script. Work on compliance for SZS... tree | commitdiff
2013-04-18 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-04-09 Morgan DetersChange TPTP parser to not use the STRING type; this... tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-19 Morgan DetersMinor fixes to build system tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only) tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) tree | commitdiff
2012-10-22 Morgan Detersfix parser generation in distributed tarballs (should... tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-09-28 Morgan DetersPublic 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 Detersbetter parser makefile fix tree | commitdiff
2012-08-02 Morgan Detersfixes to paths in parser makefiles; if you've noticed... tree | commitdiff
2012-08-01 Morgan Detersfixes to some *clean targets tree | commitdiff
2012-07-31 Morgan DetersOptions merge. This commit: tree | commitdiff
2012-07-12 Andrew Reynoldsmerged fmf-devel branch, includes support for SMT2... tree | commitdiff
2012-06-28 Morgan Detersfix a link error on church, due to Antlr #defining... tree | commitdiff
2012-06-22 François BobotTPTP: add parser for cnf and fof tree | commitdiff