File | Mode | Size |
---|---|---|
apps | ||
code | ||
doc | ||
other_providers | ||
secure_api | ||
snapshots | ||
specs | ||
test | ||
.fstar_version | -rw-r--r-- | 14 bytes |
.gitattributes | -rw-r--r-- | 82 bytes |
.gitignore | -rw-r--r-- | 1.5 KB |
.gitmodules | -rw-r--r-- | 354 bytes |
CMakeLists.txt | -rw-r--r-- | 1.8 KB |
Dockerfile | -rw-r--r-- | 2.0 KB |
INSTALL.md | -rw-r--r-- | 966 bytes |
LICENSE | -rw-r--r-- | 11.1 KB |
Makefile | -rw-r--r-- | 5.3 KB |
Makefile.build | -rw-r--r-- | 6.4 KB |
Makefile.include | -rw-r--r-- | 4.8 KB |
Makefile.prepare | -rw-r--r-- | 2.8 KB |
README.md | -rw-r--r-- | 6.0 KB |