projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dfb48b) | patch
Remove early type check option (#4234)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Apr 2020 18:38:20 +0000 (13:38 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 18:38:20 +0000 (13:38 -0500)
commitec83ced90e3c4db2b2b31458628a1957fc684484
tree1487dc7e625b627ecd470de23e8e9f6bef85bb91tree
parent3dfb48b80034a9eb628db641c9cec172e53fa910commit | diff
Remove early type check option (#4234)

Required to decouple options from NodeManager.

This option is now always enabled in debug, and disabled in production.
src/expr/node_builder.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/options/expr_options.toml diff | blob | history