summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
2017-01-04Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan...ajreynol
2016-12-07Added cardinality to cvc language, fixes bug 753. Throw logic exception when ...ajreynol
2016-11-30Fix parsing of BVROTR by CVC parserAndres Notzli
2016-11-18Add support for set-logic ALL, fix compiler error in GCC 6.1Clark Barrett
2016-11-13Adding garbage collection for the Smt2 Parser for Commands when exceptions ar...Tim King
2016-11-12Merge pull request #107 from timothy-king/smt1-parser-exception-leaksClark Barrett
2016-11-12Adding garbage collection for the Smt1 Parser for Commands when exceptions ar...Tim King
2016-11-11Adding garbage collection for the CVC Parser for Commands when exceptions are...Tim King
2016-11-11Deleting the remaining commands in the Parser's queue within ~Parser().Tim King
2016-11-11Applying clang-format to parser.cpp.Tim King
2016-11-09Fix tptp parser memory leaks for include.ajreynol
2016-11-02Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat.ajreynol
2016-11-01Revert change to Datatypes API to return vector of DatatypeTypes, as before. ...ajreynol
2016-11-01Revert change to datatypes API for passing pointers, instead make deep copy d...ajreynol
2016-11-01Working memory leak free version, changes interface to pointers.ajreynol
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-25Closing an open file descriptor in MemoryMapFile.Tim King
2016-09-25Freeing memory in error handling code for bounded_token_buffer.Tim King
2016-09-14Support for unique variable generation in node manager.ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-06-17Cleanup from last commit, treat sep.nil as variable kind.ajreynol
2016-06-17Support for separation logic. Enable cbqi by default for pure BV.ajreynol
2016-05-15Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En...ajreynol
2016-05-06Minor clean up, fixes related to sygus.ajreynol
2016-05-05Compute term indices lazily in TermDb. Optimization for qcf to recognize irre...ajreynol
2016-05-05Removing a null pointer reference that was found by -fsanitize=null.Tim King
2016-04-20update from the masterPaulMeng
2016-04-15change transitive closure operator name to TCLOUSREPaulMeng
2016-04-13Update native language support for strings.ajreynol
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-08Extend synthesis solver to handle single invocation with additional universal...ajreynol
2016-03-07modified CVC4 native language parser to accept 1-tuple declaration:PaulMeng
2016-02-16Public interface for quantifier elimination. Minor changes to datatypes rewr...ajreynol
2016-02-15Merge remote-tracking branch 'origin/master'PaulMeng
2016-02-15extended smt parser for the finite relationsPaulMeng
2016-02-15Minor change to last commitajreynol
2016-02-15Eliminate most of the internal representation infrastructure for tuples and r...ajreynol
2016-02-09- extend cvc4 frontend parser to accept relational operators (product,PaulMeng
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-02-01Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a simpler build p...Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Disabling the RESTART command.Tim King
2016-01-06Improving the documentation of the CVC command CONTINUE.Tim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-15Breaking the include cycle between Record and Expr.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback