Code

Alloc aligned#648

Code

Merged

andreistefanescu merged 2 commits intomasterGaloisInc/saw-script:masterfrom alloc-alignedGaloisInc/saw-script:alloc-alignedCopy head branch name to clipboardFeb 11, 2020

+51-17

Commits

Commits on Feb 11, 2020

• Improve alloc_aligned commands.

  Show description for 11a3c8f
  andreistefanescu

  committed
  11a3c8f

  Copy full SHA for 11a3c8f

• Merge branch 'master' into alloc-aligned

  

  brianhuffman

  authored
  530589c

  Copy full SHA for 530589c