The following directories contain Vale and F* sources:
- specs: Trusted specification files that cover basic definitions, math, cryptographic algorithms, and hardware assumptions
- code: Verified F* support libraries and verified Vale cryptographic code
- arch: Optimized libraries for reasoning about hardware operations
- crypto: verified cryptographic code
- test: test files
- 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