diff options
author | Benjamin Beurdouche <benjamin.beurdouche@inria.fr> | 2017-12-07 11:27:22 -0800 |
---|---|---|
committer | Benjamin Beurdouche <benjamin.beurdouche@inria.fr> | 2017-12-07 11:27:22 -0800 |
commit | 032a937a17baf7acf53c1f6b181c0cc0bec8c5bd (patch) | |
tree | fc2414e72fef0294b1c066b672acb697dc775c51 /automation/taskcluster | |
parent | 39541deab46ccd1af50c73275550580437861af7 (diff) | |
download | nss-hg-032a937a17baf7acf53c1f6b181c0cc0bec8c5bd.tar.gz |
Bug 1399763 - formally verified code from HACL* for Poly1305 64bits, r=franziskus,ttaubert
try: -p none -t hacl
Summary: Code for Poly1305
Reviewers: franziskus, ttaubert
Reviewed By: franziskus, ttaubert
Bug #: 1399763
Differential Revision: https://phabricator.services.mozilla.com/D276
Diffstat (limited to 'automation/taskcluster')
-rw-r--r-- | automation/taskcluster/docker-hacl/Dockerfile | 2 | ||||
-rw-r--r-- | automation/taskcluster/docker-hacl/setup-user.sh | 1 | ||||
-rwxr-xr-x | automation/taskcluster/scripts/run_hacl.sh | 3 |
3 files changed, 4 insertions, 2 deletions
diff --git a/automation/taskcluster/docker-hacl/Dockerfile b/automation/taskcluster/docker-hacl/Dockerfile index 399513143..46990df3e 100644 --- a/automation/taskcluster/docker-hacl/Dockerfile +++ b/automation/taskcluster/docker-hacl/Dockerfile @@ -9,7 +9,7 @@ ENV haclrepo https://github.com/mitls/hacl-star.git # Define versions of dependencies ENV opamv 4.04.2 -ENV haclversion 122e47dee739029f7dd8e7b9dd8e9d77e8646652 +ENV haclversion 7620672ff898272bf423d10e080cd10d49954e06 # Install required packages and set versions ADD setup.sh /tmp/setup.sh diff --git a/automation/taskcluster/docker-hacl/setup-user.sh b/automation/taskcluster/docker-hacl/setup-user.sh index ef341ec7d..f53bda468 100644 --- a/automation/taskcluster/docker-hacl/setup-user.sh +++ b/automation/taskcluster/docker-hacl/setup-user.sh @@ -23,4 +23,3 @@ make -C hacl-star/code/salsa-family test -j$(nproc) # Cleanup. rm -rf ~/.ccache ~/.cache -rm -rf /home/worker/hacl-star/dependencies diff --git a/automation/taskcluster/scripts/run_hacl.sh b/automation/taskcluster/scripts/run_hacl.sh index ecedbaad0..6a186c04e 100755 --- a/automation/taskcluster/scripts/run_hacl.sh +++ b/automation/taskcluster/scripts/run_hacl.sh @@ -12,6 +12,9 @@ set -e -x -v # The extracted C code from HACL* is already generated and the HACL* tests were # successfully executed. +# Verify Poly1305 (doesn't work in docker image build) +make verify -C ~/hacl-star/code/poly1305 -j$(nproc) + # Format the extracted C code. cd ~/hacl-star/snapshots/nss cp ~/nss/.clang-format . |