Code

Emw4/opaque shapes#1356

Code

Merged

eddywestbrook merged 5 commits intomasterGaloisInc/saw-script:masterfrom emw4/opaque-shapesGaloisInc/saw-script:emw4/opaque-shapesCopy head branch name to clipboardJun 28, 2021

+214-79

Commits

Commits on Jun 25, 2021

• added heapster_define_opaque_llvmshape

  

  Eddy Westbrook

  committed
  3eca548

  Copy full SHA for 3eca548

• tweaked some error message printing

  

  Eddy Westbrook

  committed
  b02c267

  Copy full SHA for b02c267

• added a few more Rust example functions to rust_data.rs

  

  Eddy Westbrook

  committed
  8723adf

  Copy full SHA for 8723adf

• added yet another example, and started trying to write Heapster types for some of the recently added examples

  

  Eddy Westbrook

  committed
  5dac2a9

  Copy full SHA for 5dac2a9

• Merge branch 'master' into emw4/opaque-shapes

  

  Eddy Westbrook

  authored
  2b4ef7d

  Copy full SHA for 2b4ef7d