fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Don't linearize and eta in MapCastByDeBruijn	Jason Gross	2017-03-30
\|
*	Break up MapCast into separate pieces for easier debugging	Jason Gross	2017-03-28
\|
*	Finish proof of wf_map_cast	Jason Gross	2017-03-28
\| \| \| \| \| \| \| \| \| \|	After \| File Name \| Before \|\| Change --------------------------------------------------------------------- 0m20.75s \| Total \| 0m15.19s \|\| +0m05.56s --------------------------------------------------------------------- 0m19.33s \| Reflection/Named/MapCastWf \| 0m13.82s \|\| +0m05.50s 0m00.79s \| Reflection/MapCastByDeBruijnInterp \| 0m00.75s \|\| +0m00.04s 0m00.64s \| Reflection/MapCastByDeBruijnWf \| 0m00.62s \|\| +0m00.02s
*	Fix MapCastByDeBruijnInterp	Jason Gross	2017-03-22
\|
*	Finish MapCastCorrect	Jason Gross	2017-03-19
\|
*	Most of the way towards a complete MapCastCorrect	Jason Gross	2017-03-19
\|
*	Add Addmitted correctness for MapCastByDeBruijn	Jason Gross	2017-03-19