projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)
[cvc5.git] / src / parser / parser.cpp
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... blob | commitdiff | raw
2022-04-01 Andrew ReynoldsSimplifications to the datatypes API (#8511) blob | commitdiff | raw | diff to current
2022-04-01 Andrew ReynoldsInternal simplifications to constructing datatypes... blob | commitdiff | raw | diff to current
2022-04-01 Mathias Preinerapi: Use std::optional for symbols in mk* functions... blob | commitdiff | raw | diff to current
2022-03-31 Aina NiemetzSort, TypeNode: Rename functions related to datatypes... blob | commitdiff | raw | diff to current
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... blob | commitdiff | raw | diff to current
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... blob | commitdiff | raw | diff to current
2022-03-25 Aina Niemetzapi: Remove Sort::isParametricDatatype(). (#8405) blob | commitdiff | raw | diff to current
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) blob | commitdiff | raw | diff to current
2022-03-17 Gereon KremerReplace `Debug` by `Trace` (#7793) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsEliminate CDHashMap::insertAtContextLevelZero (#8173) blob | commitdiff | raw | diff to current
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... blob | commitdiff | raw | diff to current
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... blob | commitdiff | raw | diff to current
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) blob | commitdiff | raw | diff to current
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-10-20 Andrew ReynoldsCorrectly parse uninterpreted constant values in get... blob | commitdiff | raw | diff to current
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct... blob | commitdiff | raw | diff to current
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... blob | commitdiff | raw | diff to current
2021-08-26 Gereon KremerConsolidate language types (#7065) blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerRemove public option wrappers (#6716) blob | commitdiff | raw | diff to current
2021-06-11 Haniel BarbosaBetter support for HOL parsing and set up (#6697) blob | commitdiff | raw | diff to current
2021-06-02 Gereon KremerMove public wrapper functions out of options class... blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerMinor improvements to the API (#6585) blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) blob | commitdiff | raw | diff to current
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) blob | commitdiff | raw | diff to current
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-02 Gereon KremerImprove handling of utf8 encoded inputs (#5694) blob | commitdiff | raw | diff to current
2020-12-03 Andrew ReynoldsRefactor handling of global declarations (#5577) blob | commitdiff | raw | diff to current
2020-11-25 Andrew ReynoldsUse symbol manager for printing responses get-model... blob | commitdiff | raw | diff to current
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... blob | commitdiff | raw | diff to current
2020-11-16 Andrew ReynoldsCleaning up scopes in preparation for symbol manager... blob | commitdiff | raw | diff to current
2020-11-13 Andrew ReynoldsAdd more features to symbol manager (#5434) blob | commitdiff | raw | diff to current
2020-11-12 Andrew ReynoldsMake symbol manager context dependent (#5424) blob | commitdiff | raw | diff to current
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) blob | commitdiff | raw | diff to current
2020-11-06 Andrew ReynoldsSimplify printing with respect to expression types... blob | commitdiff | raw | diff to current
2020-10-30 Andrew ReynoldsUpdate api::Sort to use TypeNode instead of Type (... blob | commitdiff | raw | diff to current
2020-10-28 Andrew ReynoldsConvert symbol table from Expr-level to Term-level... blob | commitdiff | raw | diff to current
2020-10-09 Andres Noetzlireset-assertions: Remove all non-global symbols in... blob | commitdiff | raw | diff to current
2020-09-22 mudathirmahgoubAdd skeleton for theory of bags (multisets) (#5100) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-08-04 Andrew ReynoldsAdd API interface for specialized constructor term... blob | commitdiff | raw | diff to current
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... blob | commitdiff | raw | diff to current
2020-07-06 Andrew ReynoldsFront end support for sequences (#4690) blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-06-06 Andrew ReynoldsSmt2 parsing support for nested recursive datatypes... blob | commitdiff | raw | diff to current
2020-06-02 Aina NiemetzNew C++ API: Keep reference to solver object in non... blob | commitdiff | raw | diff to current
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... blob | commitdiff | raw | diff to current
2020-03-27 Andrew ReynoldsSupport unicode internal representation and escape... blob | commitdiff | raw | diff to current
2020-03-12 Andrew ReynoldsConvert most instances of dataypes in parsers to the... blob | commitdiff | raw | diff to current
2020-03-09 Andrew ReynoldsClean up more uses of ExprManager in parsers (#3932) blob | commitdiff | raw | diff to current
2020-03-06 Andrew ReynoldsSimplify DatatypeDeclarationCommand command (#3928) blob | commitdiff | raw | diff to current
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) blob | commitdiff | raw | diff to current
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers... blob | commitdiff | raw | diff to current
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) blob | commitdiff | raw | diff to current
2020-02-27 Andrew ReynoldsRefactor operator applications in the parser (#3831) blob | commitdiff | raw | diff to current
2020-02-26 Andrew ReynoldsRefactor type ascriptions in the parser (#3825) blob | commitdiff | raw | diff to current
2020-02-26 Andrew ReynoldsEmbed mkAssociative utilities within the API. (#3801) blob | commitdiff | raw | diff to current
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809) blob | commitdiff | raw | diff to current
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767) blob | commitdiff | raw | diff to current
2020-02-20 Mathias Preinerresource manager: Add statistic for every resource... blob | commitdiff | raw | diff to current
2020-02-17 Abdalrhman MohamedSupport dumping Sygus commands. (#3763) blob | commitdiff | raw | diff to current
2020-02-14 Andrew ReynoldsUpdate sygus v1 parser to use ParseOp utility (#3756) blob | commitdiff | raw | diff to current
2019-10-27 Andres NoetzliFix global-declarations support (#3403) blob | commitdiff | raw | diff to current
2019-08-18 Andrew Reynolds Cleaning make bound var in smt2 parser (#3192) blob | commitdiff | raw | diff to current
2019-08-10 Andrew ReynoldsSimplify how defined functions are tracked during parsi... blob | commitdiff | raw | diff to current
2019-08-06 Andrew ReynoldsProperly parse qualified identifiers (#3111) blob | commitdiff | raw | diff to current
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131) blob | commitdiff | raw | diff to current
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... blob | commitdiff | raw | diff to current
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674) blob | commitdiff | raw | diff to current
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) blob | commitdiff | raw | diff to current
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) blob | commitdiff | raw | diff to current
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2... blob | commitdiff | raw | diff to current
2018-07-02 Andrew ReynoldsImprove error message. (#2124) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) blob | commitdiff | raw | diff to current
2017-11-24 Andrew ReynoldsHo parsing and regressions (#1350) blob | commitdiff | raw | diff to current
2017-10-03 Andrew ReynoldsOp overload parser (#1162) blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2016-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out blob | commitdiff | raw | diff to current
2016-11-12 Tim KingDeleting the remaining commands in the Parser's queue... blob | commitdiff | raw | diff to current
2016-11-11 Tim KingApplying clang-format to parser.cpp. blob | commitdiff | raw | diff to current
2016-11-01 ajreynolRevert change to Datatypes API to return vector of... blob | commitdiff | raw | diff to current
2016-11-01 ajreynolRevert change to datatypes API for passing pointers... blob | commitdiff | raw | diff to current
2016-11-01 ajreynolWorking memory leak free version, changes interface... 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-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... blob | commitdiff | raw | diff to current
2016-01-28 Tim KingAdding listeners to Options. blob | commitdiff | raw | diff to current
2016-01-09 Tim KingAdding a new Listener utility class. Changing the Resou... blob | commitdiff | raw | diff to current
2015-12-30 Tim KingShuffling around public vs. private headers blob | commitdiff | raw | diff to current
next