https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 589baa4f830ac2ac1fe809065f09767ee2c20822 authored by Livia Sun on 01 July 2022, 17:56:39 UTC
new instruction vpaddq; vector registers added
Tip revision: 589baa4
Crypto.Fancy.Montgomery256.prod_montred256_correct.Assumptions.expected
Closed under the global context
back to top