Manifest Compiler Server

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 Durbatuluk1701 closed 1 year ago

Durbatuluk1701 commented 1 year ago

Adds compilation ability for Servers,
Improved demo to use compiled server
Gets rid of dependency on working demo target for the manifest compiler to work