GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-12 04:17:04 +03:00
Code Issues Projects Releases Wiki Activity
72d8794b9d
cryptol/examples
History
Aaron Tomb 44f8bcd310 Fix comment in Keccak example 
Note: this is actually Cryptol 1 code. We should port it. I've started
the process, but don't have a complete port yet.
2015-08-28 09:49:29 -07:00
..
contrib Fix comment in Keccak example 2015-08-28 09:49:29 -07:00
funstuff lg2 -> width 2015-04-20 10:00:25 -07:00
maliciousSHA update copyright years 2015-03-24 11:19:52 -07:00
ChaChaPolyCryptolIETF.md removed property keyword from helper functions. Thanks to Joey Dodds for pointing this out. 2015-03-09 14:43:30 -07:00
Cipher.cry update copyright years 2015-03-24 11:19:52 -07:00
DES.cry update copyright years 2015-03-24 11:19:52 -07:00
DEStest.cry update copyright years 2015-03-24 11:19:52 -07:00
FNV-a1.cry update copyright years 2015-03-24 11:19:52 -07:00
Salsa20.cry update copyright years 2015-03-24 11:19:52 -07:00
SHA1.cry update copyright years 2015-03-24 11:19:52 -07:00
Test.cry update copyright years 2015-03-24 11:19:52 -07:00
TripleDES.cry update copyright years 2015-03-24 11:19:52 -07:00
ZUC.cry update copyright years 2015-03-24 11:19:52 -07:00