Skip to content

Several improvements to types, subtyping and tallying.

Kim Nguyễn requested to merge types-improvements into dev

This MR improves several aspects of the tallying, subtyping and variable-aware BDD structure, yielding speed improvements in tallying intensive code.

Merge request reports