Revision cc71847c659191d815a2840349753bfe3f944c36 authored by Marina Polubelova on 06 February 2019, 16:06:06 UTC, committed by Marina Polubelova on 06 February 2019, 16:06:06 UTC
1 parent 311766a
File | Mode | Size |
---|---|---|
.docker | ||
apps | ||
code | ||
doc | ||
frodo | ||
lib | ||
other_providers | ||
providers | ||
secure_api | ||
snapshots | ||
specs | ||
test | ||
vale | ||
.fstar_version | -rw-r--r-- | 14 bytes |
.gitattributes | -rw-r--r-- | 435 bytes |
.gitignore | -rw-r--r-- | 1.7 KB |
.gitmodules | -rw-r--r-- | 0 bytes |
.kremlin_version | -rw-r--r-- | 14 bytes |
Backlog.fst | -rw-r--r-- | 3.2 KB |
CMakeLists.txt | -rw-r--r-- | 3.4 KB |
Dockerfile | -rw-r--r-- | 1.9 KB |
INSTALL.md | -rw-r--r-- | 2.3 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
Makefile | -rw-r--r-- | 6.2 KB |
Makefile.build | -rw-r--r-- | 14.9 KB |
Makefile.include | -rw-r--r-- | 3.4 KB |
Makefile.prepare | -rw-r--r-- | 2.9 KB |
README.md | -rw-r--r-- | 6.6 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...