update am-cakeml code that depends on formal and concrete manifest definitions (newly-extracted definitions from Coq prevent compilation in cakeml).

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager

GNU General Public License v3.0

1 stars 0 forks source link

Closed ampetz closed 9 months ago

ampetz commented 11 months ago

Fields added to formal manifest: targetPlcs

Fields added to concrete manifest: Concrete_ASPs, Concrete_Targets

Done when: am-cakeml code compiles again and runs test scripts