projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for re.all (#2980)
[cvc5.git] / src / parser / parser_builder.cpp
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... blob | commitdiff | raw | diff to current
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2016-01-28 Tim KingAdding listeners to Options. blob | commitdiff | raw | diff to current
2015-12-30 Tim KingShuffling around public vs. private headers blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-01-14 Morgan Deterssygus input language and benchmark blob | commitdiff | raw | diff to current
2014-11-10 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-11-05 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5... blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-04-29 Morgan DetersFix for --force-logic to extend its reach to the parser. blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix blob | commitdiff | raw | diff to current
2014-04-04 Morgan DetersFor security, add --no-filesystem-access option, which... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-19 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-07 Morgan DetersAllow disabling include-file feature blob | commitdiff | raw | diff to current
2013-06-04 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-10 Andrew ReynoldsUpdate casc run script. Work on compliance for SZS... blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-09-27 Morgan Deters* Rename SMT parts (printer, parser) to SMT1 blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current
2012-06-22 François BobotTPTP: add parser for cnf and fof blob | commitdiff | raw | diff to current
2012-03-01 Morgan DetersPartial merge from kind-backend branch, including Minis... blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2011-11-01 Morgan DetersImprovements to header installation on user machines... blob | commitdiff | raw | diff to current
2011-09-02 Dejan Jovanović* Changing pre-registration to be context dependent... blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersTuesday end-of-day commit. blob | commitdiff | raw | diff to current
2011-04-15 Morgan Detersparser/driver fixes for last commit blob | commitdiff | raw | diff to current
2010-10-26 Christopher L. ConwayCleaning up some header files blob | commitdiff | raw | diff to current
2010-10-23 Christopher L. ConwayAdding Parser::setInput and using it in InteractiveShel... blob | commitdiff | raw | diff to current
2010-10-22 Morgan Detersfix valgrind-reported errors in parser builder; a non... blob | commitdiff | raw | diff to current
2010-10-22 Christopher L. ConwaySaving state between lines in interactive mode (Fixes... blob | commitdiff | raw | diff to current
2010-10-22 Christopher L. ConwayUsing Options in ParserBuilder and InteractiveShell blob | commitdiff | raw | diff to current
2010-10-20 Christopher L. ConwayEnabling semantic checks in ParserBuilder blob | commitdiff | raw | diff to current
2010-10-20 Christopher L. ConwayAdding support for interactive mode blob | commitdiff | raw | diff to current
2010-10-08 Morgan Deters* (define-fun...) now has proper type checking in non... blob | commitdiff | raw | diff to current
2010-07-02 Morgan Detersre-generated comment headers of source files blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-06-04 Christopher L. ConwayEnabling RDL/IDL in SMT v1 and adding some simple tests blob | commitdiff | raw | diff to current
2010-06-03 Christopher L. ConwayImplementing input from stdin (Fixes: #144) blob | commitdiff | raw | diff to current
2010-05-12 Christopher L. ConwayAdding ParserBuilder, reducing visibility of Parser... blob | commitdiff | raw | diff to current