projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for str.from_code (#3829)
[cvc5.git] / src / parser / input.h
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809) blob | commitdiff | raw
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-05-29 Andres NoetzliTrack input language in a single place (#2003) 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-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit blob | commitdiff | raw | diff to current
2017-06-17 Andres NötzliFix stream parsing 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-15 Tim KingRefactoring Options Handler & Library Cycle Breaking 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
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
2013-03-21 lianahMerge branch 'master' into bv-core blob | commitdiff | raw | diff to current
2013-03-20 Morgan DetersInteractive mode support for multiline input blob | commitdiff | raw | diff to current
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only) blob | commitdiff | raw | diff to current
2012-11-26 Morgan Deterssome fixes to language bindings and function visibility 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-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... blob | commitdiff | raw | diff to current
2012-06-22 François Bobotparser: add some acces function and recover the origina... blob | commitdiff | raw | diff to current
2012-06-07 Morgan DetersLogicInfo locking implemented, and some initialization... blob | commitdiff | raw | diff to current
2012-03-01 Morgan DetersPartial merge from kind-backend branch, including Minis... blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersTuesday end-of-day commit. blob | commitdiff | raw | diff to current
2011-04-18 Morgan DetersPartial merge from datatypes-merge branch: blob | commitdiff | raw | diff to current
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... 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-20 Christopher L. ConwayAdding support for interactive mode blob | commitdiff | raw | diff to current
2010-07-28 Christopher L. ConwayForcing a type check on Node construction in debug... blob | commitdiff | raw | diff to current
2010-07-06 Morgan Detersmerge from CC work: pieces of the parser need to be... 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-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
2010-05-12 Christopher L. Conwaytrue and false are only defined if the core theory... blob | commitdiff | raw | diff to current
2010-05-04 Christopher L. ConwayAdding general support for SMT2 set-info command blob | commitdiff | raw | diff to current
2010-05-01 Christopher L. ConwayFixing private/public header warnings in parser library blob | commitdiff | raw | diff to current
2010-04-29 Christopher L. Conway(Not) Handling parameterized sorts in SMT v2 blob | commitdiff | raw | diff to current
2010-04-28 Christopher L. ConwayRefactoring Input/Parser code to support external manip... blob | commitdiff | raw | diff to current
2010-04-13 Christopher L. ConwayDoxygen fixes blob | commitdiff | raw | diff to current
2010-04-05 Morgan Detersminor formatting and code guidelines, related to parser... blob | commitdiff | raw | diff to current
2010-04-01 Christopher L. ConwayParser tweaks to address review blob | commitdiff | raw | diff to current
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayFinishing parser cleanup. Code is now review-ready. blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayMore parser cleanup. Should fix problems with last... blob | commitdiff | raw | diff to current
2010-03-31 Christopher L. ConwayCode cleanup in parser blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw | diff to current