projects / cvc5.git / commit
| author | makaimann <makaim@stanford.edu> | |
| Mon, 10 Dec 2018 16:37:11 +0000 (08:37 -0800) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 10 Dec 2018 16:37:11 +0000 (08:37 -0800) | ||
| commit | e1dc39321cd4ab29b436025badfb05714f5649b3 | |
| tree | c2f02cd7370157fbea51ec6602ad174b149cd850 | tree |
| parent | 7270b2a800c45fa87ef4cdcad8fc353ccb8cd471 | commit | diff |
| src/options/CMakeLists.txt | diff | blob | history | |
| src/options/bool_to_bv_mode.cpp | [new file with mode: 0644] | blob |
| src/options/bool_to_bv_mode.h | [new file with mode: 0644] | blob |
| src/options/bv_options.toml | diff | blob | history | |
| src/options/options_handler.cpp | diff | blob | history | |
| src/options/options_handler.h | diff | blob | history | |
| src/preprocessing/passes/bool_to_bv.cpp | diff | blob | history | |
| src/preprocessing/passes/bool_to_bv.h | diff | blob | history | |
| src/smt/smt_engine.cpp | diff | blob | history | |
| src/theory/bv/theory_bv.cpp | diff | blob | history | |
| test/regress/CMakeLists.txt | diff | blob | history | |
| test/regress/regress0/bv/bool-to-bv-all.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress0/bv/bool-to-bv-ite.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress0/bv/bool-to-bv.smt2 | [deleted file] | blob | history |