Code

Match concrete size array#1074

Code

Closed

andreistefanescu wants to merge 9 commits intomasterGaloisInc/crucible:masterfrom match-concrete-size-arrayGaloisInc/crucible:match-concrete-size-arrayCopy head branch name to clipboard

+215-71

Commits

Commits on Jul 17, 2023

• Code refactoring.

  andreistefanescu

  committed
  30eb41a

  Copy full SHA for 30eb41a

• Find SMT array write of a fixed size.

  andreistefanescu

  committed
  a00340e

  Copy full SHA for a00340e

• Cache tail traversal in findArrayStore.

  andreistefanescu

  committed
  c749b38

  Copy full SHA for c749b38

• Load SMT array with concrete size.

  andreistefanescu

  committed
  523a230

  Copy full SHA for 523a230

• Load SMT array with 0 size.

  andreistefanescu

  committed
  0a50a59

  Copy full SHA for 0a50a59

• Add cache for base pointers with array stores.

  andreistefanescu

  committed
  d414f3e

  Copy full SHA for d414f3e

• Add noSatisfyingWriteFreshConstant option.

  andreistefanescu

  committed
  5f0efd1

  Copy full SHA for 5f0efd1

• wip

  andreistefanescu

  committed
  98428da

  Copy full SHA for 98428da

Commits on Jan 26, 2024

• Merge branch 'master-without-what4-changes' into match-concrete-size-array

  RyanGlScott

  committed
  5c2c29c

  Copy full SHA for 5c2c29c