| David Benjamin | 94cd196 | 2018-01-10 01:49:03 -0500 | [diff] [blame] | 1 | Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives |
| 2 | Short Name: fiat-crypto | ||||
| 3 | URL: https://github.com/mit-plv/fiat-crypto | ||||
| 4 | Version: git (see METADATA) | ||||
| 5 | License: MIT | ||||
| 6 | License File: LICENSE | ||||
| 7 | Security Critical: yes | ||||
| Anne Redulla | 1f78613 | 2023-07-12 13:53:30 +1000 | [diff] [blame] | 8 | Shipped: yes |
| David Benjamin | 94cd196 | 2018-01-10 01:49:03 -0500 | [diff] [blame] | 9 | |
| 10 | Description: | ||||
| 11 | See README.md and METADATA. | ||||