projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4709cb) | patch
Remove uses of SExpr class. (#6035)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Wed, 3 Mar 2021 10:28:45 +0000 (04:28 -0600)
committerGitHub <noreply@github.com>
Wed, 3 Mar 2021 10:28:45 +0000 (10:28 +0000)
commit6db84f6e373f9651af48df7b654e3992f68472ac
tree3c146a185ce575431ea7a63cf97a8e0bb1031c0btree
parentc4709cb01356dd73fdd767d19af85b36ffd566c4commit | diff
Remove uses of SExpr class. (#6035)

This PR is a step towards removing SExpr class. It replaces SExpr with std::string for set-info and set-option commands.
17 files changed:
src/printer/ast/ast_printer.cpp diff | blob | history
src/printer/ast/ast_printer.h diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/cvc/cvc_printer.h diff | blob | history
src/printer/printer.cpp diff | blob | history
src/printer/printer.h diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.h diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/theory/quantifiers/expr_miner.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_repair_const.cpp diff | blob | history
test/unit/theory/theory_arith_white.cpp diff | blob | history
test/unit/theory/theory_bv_white.cpp diff | blob | history
test/unit/theory/theory_quantifiers_bv_inverter_white.cpp diff | blob | history