Code

Isolation contexts#176

Code

Merged

robdockins merged 5 commits intomasterGaloisInc/what4:masterfrom isolation-contextsGaloisInc/what4:isolation-contextsCopy head branch name to clipboardJan 12, 2022

+459-262

Commits

Commits on Jan 11, 2022

• Remove the obsolete bvdomainRangeLimit setting.

  Show description for 6c855ab
  robdockins

  committed
  6c855ab

  Copy full SHA for 6c855ab

• Move some code out out of What4.Expr.Builder into separate modules.

  robdockins

  committed
  bb6cc58

  Copy full SHA for bb6cc58

• Add operations that allow users to isolate expression builder

  Show description for cfdd471
  robdockins

  committed
  cfdd471

  Copy full SHA for cfdd471

• Update changelog

  robdockins

  committed
  1c0b024

  Copy full SHA for 1c0b024

• Address code review comments, typos, improve documentation.

  robdockins

  committed
  61f0506

  Copy full SHA for 61f0506