projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da3eff9) | patch
Minor refactoring (#6273)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 2 Apr 2021 17:47:43 +0000 (19:47 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Apr 2021 17:47:43 +0000 (17:47 +0000)
commit2506e17ca86c42b7590f65326b70a69b0efdb0bd
treecf1686ebfa22300f03f60b0e80a9a8fdb6ddd33ctree
parentda3eff9ba6c632e290c9af990dc5750f65d78820commit | diff
Minor refactoring (#6273)

This PR does some minor refactorings in preparation for the new statistics: some renamings, removal of now obsolete code and usage of references instead of pointers.
src/api/cvc4cpp.cpp diff | blob | history
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/main.cpp diff | blob | history
src/main/signal_handlers.cpp diff | blob | history
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/smt/smt_engine_scope.cpp diff | blob | history