projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d78327a) | patch
Replace numeric predicates by explicit minimum and maximum (#6976)
authorGereon Kremer <nafur42@gmail.com>
Wed, 4 Aug 2021 17:49:26 +0000 (10:49 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 17:49:26 +0000 (10:49 -0700)
commitd95c17090fb7f67a76a3032c4f778572f003786b
tree7bae0f6b0d4dd1d22e433b7681a3aa528697f3a8tree
parentd78327addb22d1bb31836281235e988e45878fdacommit | diff
Replace numeric predicates by explicit minimum and maximum (#6976)

This PR replaces some option predicates by explicit minimum and maximum values. This allows us to export information about an options domain/range in the future.
src/options/mkoptions.py diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/prop_options.toml diff | blob | history