Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.ci
With @tahina-pro, stop hardcoding architecture and target flags in th…
Oct 6, 2020
.docker/build
typo
Oct 7, 2020
bindings
JS API: Uniform formatting in api.json
Nov 3, 2020
code
Merge remote-tracking branch 'origin/master' into ec_operations
Oct 23, 2020
dist
[CI] regenerate hints and dist
Nov 9, 2020
doc
Update Supported.rst
Jun 26, 2020
hints
[CI] regenerate hints and dist
Nov 9, 2020
lib
removing noextract in lib
Nov 3, 2020
obj
A bunch of comments in the Makefile for my future self
Feb 13, 2019
providers
EverCrypt.Hash.Incremental: add a --retry on flaky proof and update h…
Nov 5, 2020
secure_api
Fix freeing of rvectors in Merkle trees
Sep 17, 2020
specs
removing noextract in specs
Nov 2, 2020
tests
Merge remote-tracking branch 'origin/arm-cross-builds-season1' into p…
Oct 6, 2020
tools
OCaml API: Minor build fix, new release
Jul 7, 2020
vale
removing noextract in a Vale AES spec
Nov 3, 2020
.gitattributes
Merge branch 'afromher_merge' into afromher_merge_dev
Oct 17, 2019
.gitignore
Refresh
Sep 28, 2020
.travis.yml
use correct path
Aug 26, 2020
LICENSE
License file for Apache2
Jun 16, 2017
MERGING-DEV.md
Various last-minute typo fixes and edits
Jan 5, 2020
Makefile
hacl-wasm: Extracting P256 to wasm + tests
Oct 23, 2020
Makefile.common
Merge branch 'master' into son_blake
Jul 29, 2020
Makefile.include
ECDSA Update (agile, compression) PR (#280)
Jun 17, 2020
Makefile.local
Update other algorithms too
Mar 2, 2020
PULL.md
more advice
Jan 29, 2020
README.md
Merge branch 'master' into karthikbhargavan-patch-1
Jan 15, 2020
build_local.sh
mozilla build target; allow copying out build artifacts
Nov 1, 2019