summaryrefslogtreecommitdiff
path: root/src/parser/cvc
AgeCommit message (Expand)Author
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-12Add nullary operator metakind.ajreynol
2017-03-20fixed cvc4 parser for set complementPaul Meng
2017-03-16Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ...ajreynol
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-07Fix cvc parser for set compliment.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...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-11Adding garbage collection for the CVC Parser for Commands when exceptions are...Tim King
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-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
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-07modified CVC4 native language parser to accept 1-tuple declaration:PaulMeng
2016-02-15Merge remote-tracking branch 'origin/master'PaulMeng
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-01-28Adding listeners to Options.Tim King
2016-01-08Disabling the RESTART command.Tim King
2016-01-06Improving the documentation of the CVC command CONTINUE.Tim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-15Breaking the include cycle between Record and Expr.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-03Removing the generated directory from the parsers.Tim King
2014-12-12Add cvc parsing support for cardinality constraints. Bug fix for enumerating...ajreynol
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-10CleanupMorgan Deters
2014-10-08Add unsat cores support to CVC native language.Morgan Deters
2014-10-06Clear out decls/defs with RESET command.Morgan Deters
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06Fix native language parsing of chained-store expressions (resolves bug 585). ...Morgan Deters
2014-10-06Support for RESET command in CVC native language (and infrastructure for supp...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback