Code

Concretization#264

Code

Draft

langston-barrett wants to merge 4 commits intomasterGaloisInc/what4:masterfrom lb/concretizeGaloisInc/what4:lb/concretizeCopy head branch name to clipboard

+104-1

Commits

Commits on Jun 13, 2024

• Concretization: Resolve a symbolic expression to a concrete value

  Show description for fd15cdd
  langston-barrett

  committed
  fd15cdd

• Simplify concretization code with asGround

  langston-barrett

  committed
  418ad73

• Remove dead code for converting between ConcreteVal/IndexLit

  langston-barrett

  committed
  7e997e6

• Further simplify concretization code

  langston-barrett

  committed
  4068bb9