GaloisInc / hacrypto

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

move from "extract and build" to "full build" #45

Open kiniry opened 10 years ago

kiniry commented 10 years ago

Currently, for experimental work on designing the V&V infrastructure we are manually extracting and building specific crypto functions. In the longer term, we want to support an automated "full build" mode whereby we synchronize with remote code drops or repositories and perform full build and tests of others' libraries, publishing all of our V&V results for the whole community via our continuous integration (CI) system. This means that developers on all crypto libraries, or developers that use those libraries, would be able to assess the build state and quality of any library quickly and accurately by simply visiting our CI site.