6 Commits

Author	SHA1	Message	Date
Brian Huffman	20b9b1c193	Rename prelude function width to length, and generalize its type. ... Fixes #550.	2018-10-10 16:21:38 -07:00
Brian Huffman	d58aebcee8	Fix shadowing warnings in example cryptol code. ... Shadowing a name from the Cryptol prelude produces an unpredictable warning message with a temporary file name, which is not good for our regression test suite.	2018-07-19 14:48:12 -07:00
Brian Huffman	1322156d28	Remove trailing whitespace	2016-02-19 10:08:20 -08:00
Adam C. Foltzer	4d3fc9a413	Update copyright dates and add missing headers	2016-01-19 18:19:35 -08:00
Adam C. Foltzer	0536d0f15a	update copyright years	2015-03-24 11:19:52 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00