search

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager
GNU General Public License v3.0
1 stars 0 forks source link

recompiling and test scripts successful after changes to formal/concr… #31

Closed ampetz closed 11 months ago

ampetz commented 11 months ago

…ete manifest definitions via extracted code + dependencies