Code

Use shared OpenSUT CN definitions#144

Code

Closed

peterohanley wants to merge 4 commits into139-feature-verify-test-mkm-moduleGaloisInc/VERSE-OpenSUT:139-feature-verify-test-mkm-modulefrom 139-gusGaloisInc/VERSE-OpenSUT:139-gusCopy head branch name to clipboard

+449-36

Commits

Commits on Dec 11, 2024

• Verify a few of the functions, with some modifications

  

  septract

  authored and

  peterohanley

  committed
  7e9cbb5

  Copy full SHA for 7e9cbb5

• mkm: verify memory safety of more functions

  

  septract

  authored and

  peterohanley

  committed
  e55a3fb

  Copy full SHA for e55a3fb

• mkm: verified memory safety of remaining client fns

  

  septract

  authored and

  peterohanley

  committed
  042f281

  Copy full SHA for 042f281

• use shared opensut CN definitions

  peterohanley

  committed
  055581e

  Copy full SHA for 055581e