projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Rename namespace CVC5 to cvc5. (#6258)
[cvc5.git] / src / api / cvc4cpp.cpp
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw
2021-04-01 Gereon KremerMake ResetCommand go through APISolver (#6172) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-30 Abdalrhman MohamedGive a better error when sygus grammar rules contain... blob | commitdiff | raw | diff to current
2021-03-25 Aina NiemetzFP: Refactor FloatingPointLiteral in preparation for... blob | commitdiff | raw | diff to current
2021-03-22 Gereon KremerMove statistics from the driver into the SmtEngine... blob | commitdiff | raw | diff to current
2021-03-18 Abdalrhman MohamedEliminate more uses of SExpr. (#6149) blob | commitdiff | raw | diff to current
2021-03-18 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-17 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-16 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-15 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-15 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-15 Aina NiemetzNew C++ Api: Comprehensive guards for member functions... blob | commitdiff | raw | diff to current
2021-03-12 Aina NiemetzNew C++ Api: Move checks to separate file. (#6138) blob | commitdiff | raw | diff to current
2021-03-12 Aina NiemetzNew C++ API: Rename TRY CATCH macros. (#6135) blob | commitdiff | raw | diff to current
2021-03-11 Gereon KremerFirst refactoring of statistics classes (#6105) blob | commitdiff | raw | diff to current
2021-03-11 Aina NiemetzDelete Expr layer. (#6117) blob | commitdiff | raw | diff to current
2021-03-10 Aina NiemetzNew C++ Api: Add missing argument checks in Solver... blob | commitdiff | raw | diff to current
2021-03-10 Aina NiemetzMove ExprManager::isNAryKind to NodeManager. (#6107) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzNew C++ Api: Use const ref for arguments when possible... blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzNew C++ Api: Migrate stats collection for consts, vars... blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzNew C++ Api: Clean up usage of internal kind. (#6087) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzNew C++ API: Reorder and clean up cpp file. (#6086) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzNew C++ API: Migrate to Node layer. (#6070) blob | commitdiff | raw | diff to current
2021-03-06 Mathias PreinerRemove partial UDIV/UREM operators. (#6069) blob | commitdiff | raw | diff to current
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of interal datatype classes... blob | commitdiff | raw | diff to current
2021-03-04 Aina NiemetzNew C++ Api: Clean up usage of internal types in Term... blob | commitdiff | raw | diff to current
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Type/TypeNodes... blob | commitdiff | raw | diff to current
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Result. (#6043) blob | commitdiff | raw | diff to current
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal types in Op... blob | commitdiff | raw | diff to current
2021-03-03 mudathirmahgoubAdd tuple projection operator (#5904) blob | commitdiff | raw | diff to current
2021-03-02 Mathias PreinerRemove non-ASCII characters from source files. (#6039) blob | commitdiff | raw | diff to current
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) blob | commitdiff | raw | diff to current
2021-02-25 Mathias PreinerEnable -Werror. (#5969) blob | commitdiff | raw | diff to current
2021-02-08 Andrew ReynoldsRemove support for inst closure (#5874) blob | commitdiff | raw | diff to current
2021-01-28 mudathirmahgoubRemove regex header from cvc4cpp.cpp (#5826) blob | commitdiff | raw | diff to current
2021-01-26 Haniel BarbosaReestablishing support for define-sort (#5810) blob | commitdiff | raw | diff to current
2021-01-11 Andrew ReynoldsFurther simplifications in preparation for removing... blob | commitdiff | raw | diff to current
2021-01-08 Haniel Barbosa[proof-new] Implementing getProof in the API and SMT... blob | commitdiff | raw | diff to current
2021-01-08 mudathirmahgoubAdd bags inference generator (#5731) blob | commitdiff | raw | diff to current
2020-12-18 Andrew ReynoldsSimplify internal API for sygus (#5687) blob | commitdiff | raw | diff to current
2020-12-15 Gereon KremerAdd getters to retrieve constants from api::Term (... blob | commitdiff | raw | diff to current
2020-12-02 Aina NiemetzFix RoundingMode mapping in API. (#5578) blob | commitdiff | raw | diff to current
2020-12-02 Andrew ReynoldsRemove Record object and convert to Node-level API... blob | commitdiff | raw | diff to current
2020-11-30 Abdalrhman MohamedEliminate uses of SExpr from the parser. (#5496) blob | commitdiff | raw | diff to current
2020-11-26 Andrew ReynoldsFully decouple SmtEngine and the Expr layer (#5532) blob | commitdiff | raw | diff to current
2020-11-20 Aina NiemetzRoundingMode: Rename enum values to conform to code... blob | commitdiff | raw | diff to current
2020-11-20 Andrew ReynoldsUpdates to API in preparation for using symbol manager... blob | commitdiff | raw | diff to current
2020-11-18 Andrew ReynoldsUse symbol manager for get assignment (#5451) blob | commitdiff | raw | diff to current
2020-11-18 Aina NiemetzFloatingPoint: Clean up and document header, format... blob | commitdiff | raw | diff to current
2020-11-13 Andrew ReynoldsMake regular expression difference left associative... blob | commitdiff | raw | diff to current
2020-11-10 Andrew ReynoldsAdd proper support for the declare-heap command for... blob | commitdiff | raw | diff to current
2020-11-09 Andrew ReynoldsSimplify handling of subtypes in smt2 printer (#5401) blob | commitdiff | raw | diff to current
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) blob | commitdiff | raw | diff to current
2020-11-03 Andrew ReynoldsAdd scope methods constructing types in API (#5393) 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-29 mudathirmahgoubAdd mkInteger to the API (#5274) blob | commitdiff | raw | diff to current
2020-10-28 Andrew ReynoldsRemove more uses of Expr (#5357) 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-27 Abdalrhman MohamedRefactor DeclareSygusVarCommand and SynthFunCommand... blob | commitdiff | raw | diff to current
2020-10-27 Andrew ReynoldsAdd missing methods involving datatype sorts to the... blob | commitdiff | raw | diff to current
2020-10-27 mudathirmahgoubAdd DUPICATE_REMOVAL operator to bags (#5336) blob | commitdiff | raw | diff to current
2020-10-20 Abdalrhman MohamedRemove some Commands from the API. (#5268) blob | commitdiff | raw | diff to current
2020-10-16 Andrew ReynoldsRefactor SMT-level model object (#5277) blob | commitdiff | raw | diff to current
2020-10-12 Andrew ReynoldsEliminate uses of Expr in SmtEngine interface (#5240) blob | commitdiff | raw | diff to current
2020-10-10 Abdalrhman MohamedProvide API version of some SMT Commands. (#5222) blob | commitdiff | raw | diff to current
2020-10-08 makaimannGet correct NodeManagerScope for toStrings in API ... blob | commitdiff | raw | diff to current
2020-10-07 Aina NiemetzNew C++ API: Rename Term::isConst() to Term::isValue... blob | commitdiff | raw | diff to current
2020-10-06 mudathirmahgoubAdd operators bag.from_set, bag.to_set to the theory... blob | commitdiff | raw | diff to current
2020-10-06 Abdalrhman MohamedRecover from some exceptions. (#5203) blob | commitdiff | raw | diff to current
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) blob | commitdiff | raw | diff to current
2020-09-26 Aina NiemetzRestrict bvxnor to only allow two operands (was n-ary... blob | commitdiff | raw | diff to current
2020-09-23 Aina NiemetzNew C++ API: Catch and throw recoverable exception... blob | commitdiff | raw | diff to current
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) 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-09-09 mudathirmahgoubAdd is_singleton operator to the theory of sets (#5033) blob | commitdiff | raw | diff to current
2020-09-02 Andres Noetzli[Python API] Add missing methods to Datatype/Term ... blob | commitdiff | raw | diff to current
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) blob | commitdiff | raw | diff to current
2020-09-01 FabianWolffFix spelling errors (#4977) blob | commitdiff | raw | diff to current
2020-08-29 Mathias PreinerNew C++ API: Add REGEXP_{REPEAT,LOOP}_OP handling in... blob | commitdiff | raw | diff to current
2020-08-26 Andrew ReynoldsReplace Expr-level datatype with Node-level DType ... blob | commitdiff | raw | diff to current
2020-08-18 Andrew ReynoldsSplit SygusSolver from SmtEngine (#4891) blob | commitdiff | raw | diff to current
2020-08-12 Andrew ReynoldsSplit SmtEngineState from SmtEngine (#4855) blob | commitdiff | raw | diff to current
2020-08-11 Aina NiemetzNew C++ API: Remove redundant API functions for mkReal... blob | commitdiff | raw | diff to current
2020-08-06 Andrew ReynoldsSplit preprocessor from SmtEngine (#4854) blob | commitdiff | raw | diff to current
2020-08-05 Andrew ReynoldsSplit Assertions from SmtEngine (#4788) blob | commitdiff | raw | diff to current
2020-08-04 Andrew ReynoldsFixes for getInterpolant and getAbduct API methods... blob | commitdiff | raw | diff to current
2020-08-04 Abdalrhman MohamedModify the smt2 parser to use the Sygus grammar. (... blob | commitdiff | raw | diff to current
2020-08-04 Andrew ReynoldsAdd API interface for specialized constructor term... blob | commitdiff | raw | diff to current
2020-08-02 Andres NoetzliFix ASan failure in interactive_shell_black (#4827) blob | commitdiff | raw | diff to current
2020-08-01 yoni206Add SyGuS Python API (#4812) blob | commitdiff | raw | diff to current
2020-07-28 Andres NoetzliReplace Expr with Node in Term/Op (#4781) blob | commitdiff | raw | diff to current
2020-07-28 yoni206Supporting seq.nth (#4723) blob | commitdiff | raw | diff to current
2020-07-15 Andres NoetzliUse Nodes for SmtEngine assertions (#4752) blob | commitdiff | raw | diff to current
2020-07-15 Andres NoetzliUse TypeNode in UninterpretedConstant (#4748) blob | commitdiff | raw | diff to current
2020-07-14 Andrew ReynoldsRemove sygus print callback (#4727) blob | commitdiff | raw | diff to current
2020-07-14 Andres NoetzliUse TypeNode in EmptySet (#4740) blob | commitdiff | raw | diff to current
2020-07-14 Andres NoetzliUse TypeNode/Node in ArrayStoreAll (#4728) blob | commitdiff | raw | diff to current
next