Code

Hash Calculations for Domains#578

Code

Merged

ArquintL merged 2 commits intomasterviperproject/silver:masterfrom caching-modulo-domain-orderingsviperproject/silver:caching-modulo-domain-orderingsCopy head branch name to clipboardMay 19, 2022

+71-3

Commits

Commits on May 19, 2022

• hash calculations for domains should not depend on the ordering of domain functions and axioms

  ArquintL

  committed
  11e8e44

  Copy full SHA for 11e8e44

• fixes hashing of domains with named axioms with identical expressions and adds unit tests

  ArquintL

  committed
  86b4811

  Copy full SHA for 86b4811