search

lowRISC / manticore

Apache License 2.0
16 stars 13 forks source link

[server] Implement GET_DIGESTS and GET_CERTIFICATE #112

Closed mcy closed 3 years ago

mcy commented 3 years ago

Implement the first two parts of the Cerbrus challenge; this CL is a followup of #99; only [server] commits need to be reviewed.

mcy commented 3 years ago

(Ignore the CI failure; it's due to a missing #[cfg(miri)] that is present in #99.)

jrvanwhy commented 3 years ago

(Ignore the CI failure; it's due to a missing #[cfg(miri)] that is present in #99.)

Would you mind updating this PR (merge in master/rebase, whatever you prefer) now that #99 is merged?

mcy commented 3 years ago

Would you mind updating this PR (merge in master/rebase, whatever you prefer) now that #99 is merged?

Done