search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

add generic Makefile to drive first-milestone manual experiments #17

Open kiniry opened 10 years ago

kiniry commented 10 years ago

I will reuse the ESC/Java2 build infrastructure.