fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add some basic ZRange lemmas	Jason Gross	2018-08-24
\|
*	Add ZRange.union_comm	Jason Gross	2018-08-24
\|
*	Fix bounds on n_corners_and_zero	Jason Gross	2018-08-16
\| \| \| \| \| \| \|	I wasn't careful enough on checking 66d064774f532066e43bbbaf27a1fa7fb3e06dfc, and as a result, the bounds analysis went wrong and we generated some bad C files. This should fix that.
*	Prove monotonicity properties about zrange	Jason Gross	2018-08-15
\|
*	Fix some bounds analysis	Jason Gross	2018-08-13
\|
*	Add the file proving split_bounds correct	Jason Gross	2018-08-13
\|
*	Fix split_bounds, prove it correct	Jason Gross	2018-08-13
\|
*	Factor through is_tighter_than_bool, add ↵	Jason Gross	2018-08-13
\| \| \| \|	is_bounded_by_bool_Proper_if_sumbool_union
*	Try out stronger land, lor bounds	Jason Gross	2018-06-27
\|
*	Add is_tighter_than_bool lemmas	Jason Gross	2018-06-27
\|
*	Add a couple of zrange lemmas	Jason Gross	2018-06-26
\|
*	Add ErrorT monad, and Show class	Jason Gross	2018-06-15
\|
*	Fix bounds analysis for saturated ops and remove unneeded comment	Jade Philipoom	2018-04-30
\|
*	Add ZRange.intersection	Jason Gross	2018-02-23
\|
*	Fix a typo	Jason Gross	2018-02-23
\|
*	Add some bounds operations to ZRange	Jason Gross	2018-02-23
\|
*	Add ZRange.opp	Jason Gross	2018-02-23
\|
*	Split off ZRange lemmas	Jason Gross	2018-02-10
\|
*	Add some ZRange operations	Jason Gross	2018-02-10