projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0dfbbb) | patch
Add Env class (#6093)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 10 Mar 2021 23:00:59 +0000 (17:00 -0600)
committerGitHub <noreply@github.com>
Wed, 10 Mar 2021 23:00:59 +0000 (23:00 +0000)
commitb337c99fde04f4efc1824880183e29ca6253ee37
treef1a98c3d8735e07b0b1b4ccdec8c116e32f9664btree
parenta0dfbbbf3bcaf7a6edbe18e140b6d7b5c49c2f8dcommit | diff
Add Env class (#6093)

This class contains all globally available utilities for internal code.
src/CMakeLists.txt diff | blob | history
src/smt/env.cpp [new file with mode: 0644] blob
src/smt/env.h [new file with mode: 0644] blob
src/smt/output_manager.cpp 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
src/smt/smt_engine_state.cpp diff | blob | history
src/smt/smt_engine_state.h diff | blob | history