summaryrefslogtreecommitdiff
path: root/abstract/num_domain.ml
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-09 09:40:37 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-09 09:40:37 +0200
commit26846118dc8038e12d46800e89b6fab5fecef948 (patch)
tree23089831c0ccf5bff220c9436a159fd888878838 /abstract/num_domain.ml
parent4ecc11528b3490df5e2b8ea2c602d291b19c6bf0 (diff)
downloadscade-analyzer-26846118dc8038e12d46800e89b6fab5fecef948.tar.gz
scade-analyzer-26846118dc8038e12d46800e89b6fab5fecef948.zip
Add simplification pass && better heuristic for BDDs based on ternaries.
Diffstat (limited to 'abstract/num_domain.ml')
0 files changed, 0 insertions, 0 deletions