| File | Mode | Size |
|---|---|---|
| output | ||
| Dockerfile | -rw-r--r-- | 1.3 KB |
| README.md | -rw-r--r-- | 1.9 KB |
| abstract_tendermint.ivy | -rw-r--r-- | 7.9 KB |
| accountable_safety_1.ivy | -rw-r--r-- | 7.1 KB |
| accountable_safety_2.ivy | -rw-r--r-- | 2.6 KB |
| check_proofs.sh | -rwxr-xr-x | 885 bytes |
| classic_safety.ivy | -rw-r--r-- | 3.6 KB |
| count_lines.sh | -rwxr-xr-x | 715 bytes |
| docker-compose.yml | -rw-r--r-- | 166 bytes |
| domain_model.ivy | -rw-r--r-- | 4.8 KB |
| network_shim.ivy | -rw-r--r-- | 3.8 KB |
| tendermint.ivy | -rw-r--r-- | 15.3 KB |
| tendermint_test.ivy | -rw-r--r-- | 4.1 KB |
