summaryrefslogtreecommitdiff
path: root/src/parser/cvc
AgeCommit message (Expand)Author
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-02-15Minor change to last commitajreynol
2016-02-15Eliminate most of the internal representation infrastructure for tuples and r...ajreynol
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
2014-10-03Merge branch '1.4.x'Morgan Deters
2014-10-03Improve error in CVC parser in presence of unrecognized command name.Morgan Deters
2014-10-03More array constants and parsing: better error messages, extend to CVC presen...Morgan Deters
2014-07-10membership cvc token changed to `IS_IN' to avoid conflict with IN used for letKshitij Bansal
2014-07-09sets cvc parserKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-06-04Add operator support (resolves bug #563).Morgan Deters
2014-04-14Add initial support for co-datatypes.Andrew Reynolds
2014-02-26smt-lib syntax change: str.contain -> str.contains; add some prefix syntax fo...Tianyi Liang
2014-02-20String parsing example in CVC parserMorgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-11-14Allow empty record literals (fixing an oversight in previous work on empty tu...Morgan Deters
2013-09-09Fix declare-datatypes dumping bug (bug 385).Morgan Deters
2013-09-09Support empty (and 1-ary) tuples and records.Morgan Deters
2013-09-05Fix FLOOR and DISTINCT in CVC language parser.Morgan Deters
2013-09-05Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385; also fix a se...Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-05-20Detect multiply-defined :named annotations and issue an error.Morgan Deters
2013-05-20Disallow construction of (_ BitVec 0).Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-20Interactive mode support for multiline inputMorgan Deters
2013-03-19Minor fixes to build systemMorgan Deters
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-03-08Disallow overflow in bitvector literals (parser only)Morgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-15Fix ECHO command in CVC language parser to not output quotation marksMorgan Deters
2012-11-28Bug fix:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback