#1216 CIF/BDD: support abs/sign/min/max on supported arguments
- Best to review per commit.
- End-user visible changes:
- CIF data-based synthesis and BDD-based checks of the CIF controller properties checker now support CIF models that use the
abs,sign,maxandminstandard library functions.
- CIF data-based synthesis and BDD-based checks of the CIF controller properties checker now support CIF models that use the
Addresses #1216 (closed)