Add a runscript for CBMC-GC and improve Dockerfile

MPC-SoK / frameworks

Sample code and build environments for MPC frameworks

Other

486 stars 111 forks source link

Closed gutjuri closed 11 months ago

gutjuri commented 1 year ago

CBMC-GC is no longer maintained. It cannot be built on Ubuntu 22.04 because its dependency CBMC fails to build.