GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-07 08:19:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix comment in Keccak example

Browse Source 
Note: this is actually Cryptol 1 code. We should port it. I've started
the process, but don't have a complete port yet.
This commit is contained in:
Aaron Tomb 2015-08-28 09:49:29 -07:00
parent 9b6cde1f8d
commit 44f8bcd310
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/contrib/keccak.cry
View File

@ -18,7 +18,7 @@
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE. * THE SOFTWARE.
* / */
// Specification of the Keccak (SHA-3) hash function // Specification of the Keccak (SHA-3) hash function
// Author: David Lazar // Author: David Lazar
@ -128,4 +128,4 @@ flatten A = join (join (transpose A));
xor : {a b} (fin a) => [a][b] -> [b]; xor : {a b} (fin a) => [a][b] -> [b];
xor xs = xors ! 0 xor xs = xors ! 0
where xors = [0] # [| x ^ z || x <- xs || z <- xors |]; where xors = [0] # [| x ^ z || x <- xs || z <- xors |];