fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Remove fails; if we fail too strongly, we miss debugging information	Jason Gross	2017-06-17
\|
*	Try to fail a bit faster in bad reification	Jason Gross	2017-06-17
\|
*	Better reification tactic debugging	Jason Gross	2017-06-17
\|
*	Fix debugging code	Jason Gross	2017-06-15
\| \| \| \|	It was previously trying to run constrs and erroring when we turned on debugging
*	Don't force [Require Import String] for debug msgs	Jason Gross	2017-06-15
\|
*	More debug info in reification	Jason Gross	2017-05-14
\|
*	s/appcontext/context/	Jason Gross	2017-05-11
\| \| \| \|	They mean the same thing since 8.5, and appcontext is deprecated.
*	Fix a bad copy/paste of the recent commit	Jason Gross	2017-04-17
\|
*	Better error messages in case of reify_abs failure	Jason Gross	2017-04-17
\|
*	Slightly faster reification	Jason Gross	2017-04-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Be better at what we do and don't unfold for when proving interpretation via [reflexivity]. This lets us handle the reification part of the pipeline when we chose to have only one limb. After \| File Name \| Before \|\| Change -------------------------------------------------------------------------------- 5m50.80s \| Total \| 5m53.13s \|\| -0m02.33s -------------------------------------------------------------------------------- 3m41.27s \| Specific/IntegrationTestLadderstep \| 3m43.35s \|\| -0m02.07s 1m30.39s \| Specific/IntegrationTestLadderstep130 \| 1m29.79s \|\| +0m00.60s 0m13.60s \| Specific/IntegrationTestMul \| 0m13.52s \|\| +0m00.08s 0m11.00s \| Specific/IntegrationTestSub \| 0m11.36s \|\| -0m00.35s 0m03.50s \| Compilers/TestCase \| 0m03.64s \|\| -0m00.14s 0m03.14s \| Specific/FancyMachine256/Montgomery \| 0m03.26s \|\| -0m00.11s 0m02.97s \| Specific/FancyMachine256/Barrett \| 0m03.06s \|\| -0m00.08s 0m01.88s \| Specific/FancyMachine256/Core \| 0m01.94s \|\| -0m00.06s 0m00.68s \| Compilers/Z/Bounds/Pipeline/ReflectiveTactics \| 0m00.78s \|\| -0m00.09s 0m00.53s \| Compilers/Z/Bounds/Pipeline \| 0m00.54s \|\| -0m00.01s 0m00.48s \| Compilers/InputSyntax \| 0m00.51s \|\| -0m00.03s 0m00.46s \| Compilers/Z/Reify \| 0m00.50s \|\| -0m00.03s 0m00.46s \| Compilers/Z/Bounds/Pipeline/Glue \| 0m00.51s \|\| -0m00.04s 0m00.44s \| Compilers/Reify \| 0m00.38s \|\| +0m00.06s
*	rename-everything	Andres Erbsen	2017-04-06