projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2f1e23) | patch
Remove unused arith options (#1758)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 10 Apr 2018 06:45:23 +0000 (23:45 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 06:45:23 +0000 (23:45 -0700)
commit817fe6d90c25dbdfe62c658add02efd51e2e29eb
treee243b19d8cc2d9b089a31f1f54c0fde456ba065ftree
parentf2f1e2312d0dd98e89fef63d6595234e27ba5b3acommit | diff
Remove unused arith options (#1758)

Commit 629824db3911ab11ae286e4b14151a537602ba5a added options when
introducing the pseudo boolean processor that were never used. This
commit removes them.
src/options/arith_options.toml diff | blob | history