https://github.com/project-everest/hacl-star
Revision 55affb36b362fc984dd9c6d4ac2b046527e5bc06 authored by Franziskus Kiefer on 14 November 2020, 16:00:53 UTC, committed by Franziskus Kiefer on 14 November 2020, 16:00:53 UTC
1 parent e6efce6
History
Tip revision: 55affb36b362fc984dd9c6d4ac2b046527e5bc06 authored by Franziskus Kiefer on 14 November 2020, 16:00:53 UTC
define KRML_HOST_EPRINTF in MSVC builds
Tip revision: 55affb3
File Mode Size
.ci
.docker
bindings
code
dist
doc
hints
lib
obj
providers
secure_api
specs
tests
tools
vale
.gitattributes -rw-r--r-- 340 bytes
.gitignore -rw-r--r-- 399 bytes
.travis.yml -rw-r--r-- 1.7 KB
LICENSE -rw-r--r-- 11.1 KB
MERGING-DEV.md -rw-r--r-- 3.1 KB
Makefile -rw-r--r-- 45.4 KB
Makefile.common -rw-r--r-- 5.7 KB
Makefile.include -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 2.4 KB
PULL.md -rw-r--r-- 2.7 KB
README.md -rw-r--r-- 3.8 KB
build_local.sh -rwxr-xr-x 2.1 KB

README.md

back to top