search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Dockerfile: compile Coq 8.6 and CompCert 3.0.1 #83

Closed tahina-pro closed 7 years ago

tahina-pro commented 7 years ago

Prior to adding CompCert tests for HACL*, we need to add Coq and CompCert to the Docker CI image, which this pull request does.