13 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Joseph Kiniry	728f9cc00e	Two new todos.	2014-04-25 09:57:38 +02:00
Dylan McNamee	72d690bd9f	a little "how to run this" added to funstuff	2014-04-22 10:44:02 -07:00
Adam C. Foltzer	695a0781a8	add arch to dist package	2014-04-21 16:07:27 -07:00
Dylan McNamee	a04a2444a5	Note: NIST 180-4 has an inconsistency in section 4.1.1 - the prose ... says 0<=t<=80, but the formula says 0<=t<=79. Later, they refer to 80 elements, so we're going with the formula's specification	2014-04-21 13:50:00 -07:00
Dylan McNamee	744808f67f	Making the SHA1 "f" look more like the NIST SHA1 "f"	2014-04-21 13:42:56 -07:00
Adam C. Foltzer	51cb27555a	readme updates ... clarify CVC4 dependency and tweak wording around checking an installation	2014-04-21 12:01:18 -07:00
Adam C. Foltzer	bca8d997f5	add David's Keccak implementation	2014-04-21 11:46:55 -07:00
Dylan McNamee	4f57c0a93f	polishing	2014-04-21 11:40:07 -07:00
Adam C. Foltzer	e937d172d3	!=== is now !== (!!!)	2014-04-18 14:57:40 -07:00
Adam C. Foltzer	4e31cd7b4c	fix license file for Windows installer	2014-04-18 10:51:55 -07:00
Adam C. Foltzer	7f44d616dd	fixup: Paths_cryptol_parser	2014-04-18 10:28:46 -07:00
Adam C. Foltzer	5b25f8c21a	it's not just a parser anymore	2014-04-18 10:18:26 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00