https://github.com/project-everest/hacl-star
Raw File
Tip revision: 0caed2c602ee71eb5d9c18161476fcc58e2a765a authored by Chris Hawblitzel on 05 May 2019, 15:29:41 UTC
Update .vaf files to match syntax changes in new Vale version
Tip revision: 0caed2c
.gitignore
*~
*.o
*.d
*.cm*
*.so
*.exe
*.exe.dSYM
out.krml
*.checked
*.checked.lax
*.dump
.extracted
.*depend*
code/old/**/*-c
code/old/**/*-c89
secure_api/out
.evercrypt_config
dist
!dist/Makefile
*.orig
.didhelp
Makefile.config
back to top