projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: caf65a1) | patch
Handle IMPLIES in bool-to-bv and test it in regress0 (#1929)
authormakaimann <makaim@stanford.edu>
Mon, 21 May 2018 21:07:48 +0000 (14:07 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 21 May 2018 21:07:48 +0000 (14:07 -0700)
commitd5e51b2f33773837768a5d89f9be2928f1551d27
treecea2c17665183e1de534d8238726a28d008fba21tree
parentcaf65a13994dc1d39cc31a8cea76c6a7fddb338ccommit | diff
Handle IMPLIES in bool-to-bv and test it in regress0 (#1929)
src/preprocessing/passes/bool_to_bv.cpp diff | blob | history
test/regress/regress0/bv/bool-to-bv.smt2 diff | blob | history