5 Commits

Author	SHA1	Message	Date
Brian Huffman	ed1dd212ab	More small fixes in Programming Cryptol	2016-08-03 16:04:10 -07:00
Dylan McNamee	623b847094	merging changes to docs	2016-04-19 11:41:55 -07:00
Adam C. Foltzer	3ae0dda7ac	switch to Z3 for typechecking and proving ... Note: the hardcoding in this patch is only for the 2.2 hotfix branch; in the 2.3 branch we will only have to change the default setting for the typechecker.	2015-12-23 14:59:10 -08:00
Adam C. Foltzer	a15fb75856	update book with allSat	2015-01-18 17:03:43 -08:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00