Revision cf5a97706f216ab18b1a72eb78ec0adfcee9339f authored by Son Ho on 01 March 2021, 17:34:30 UTC, committed by Son Ho on 01 March 2021, 17:34:30 UTC
1 parent 3bd70b6
CODE.md
The following directories contain Vale and F\* sources:
* [specs](./specs): Trusted specification files that cover [basic definitions](./specs/defs/),
[math](./specs/defs/), [cryptographic algorithms](./specs/crypto/),
and [hardware assumptions](./specs/hardware/)
* [code](./code): Verified F\* support libraries and verified Vale cryptographic code
* [arch](./code/arch): Optimized libraries for reasoning about hardware operations
* [crypto](./code/crypto): verified cryptographic code
* [test](./code/test): test files
* [thirdPartyPorts](./code/thirdPartyPorts): Code ported into Vale from external sources
Building will create the following additional directories;
all files generated by the build should be in these directories:
* obj
* bin
Computing file changes ...