Code

WIP: Heapster/source hints#1633

Code

Merged

mergify[bot] merged 6 commits intomasterGaloisInc/saw-script:masterfrom heapster/source-hintsGaloisInc/saw-script:heapster/source-hintsCopy head branch name to clipboardApr 29, 2022

+458-9

Commits

Commits on Apr 20, 2022

• Add expression translation for vectors of AnyType

  abakst

  committed
  9f51576

  Copy full SHA for 9f51576

• Add pass to extract block hints from crucible cfg

  abakst

  committed
  ba5cd93

  Copy full SHA for ba5cd93

Commits on Apr 21, 2022

• Fix compilation warnings.

  abakst

  committed
  0c43cff

  Copy full SHA for 0c43cff

• Add example

  abakst

  committed
  2c829b5

  Copy full SHA for 2c829b5

• Add short explainer on annotations

  abakst

  committed
  2fe2c92

  Copy full SHA for 2fe2c92

Commits on Apr 29, 2022

• Merge branch 'master' into heapster/source-hints

  

  Eddy Westbrook

  authored
  83794be

  Copy full SHA for 83794be