fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
...
*	Add list of optimizations currently implemented	jadep	2017-01-09
\|
*	Update list of .PHONY targets	Jason Gross	2017-01-09
\|
*	update-_CoqProject	Jason Gross	2017-01-07
\|
*	copy_bounds	Jason Gross	2017-01-07
\|
*	Add reified LadderStep without carries	Jason Gross	2017-01-07
\|
*	Add ladderstep_other_assoc	Jason Gross	2017-01-07
\|
*	Revert "Add apply10"	Jason Gross	2017-01-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This reverts commit fe7e75f74cc3b18f87c13b2aeadaf24f12f0001b. Revert "copy_bounds" This reverts commit 4c395e83de3c0baf7f8639fa2fbe2b62ba509682. Revert "Add Common10_4Op" This reverts commit 677733838139ff09d4a2dd9ff82258492a9a5bab. Revert "Add Expr10_4Op" This reverts commit 540740e8a423d0ec9d1dddb173f772c441dc0a1a. Revert "Add i10top_correct_and_bounded" This reverts commit bc4184ce6086971799630a0419881c8d344811ca. Revert "Add appify10" This reverts commit 66b63b406d9c78a0cecbbf89e5baf282231215c5.
*	Add apply10	Jason Gross	2017-01-07
\|
*	copy_bounds	Jason Gross	2017-01-07
\|
*	Add Common10_4Op	Jason Gross	2017-01-07
\|
*	Add Expr10_4Op	Jason Gross	2017-01-07
\|
*	Add i10top_correct_and_bounded	Jason Gross	2017-01-07
\|
*	Add appify10	Jason Gross	2017-01-07
\| \| \| \|	Grrrrrr, code duplication for ladderstep
*	Add more generic ladderstep	Jason Gross	2017-01-07
\|
*	Better version of path separator usage	Jason Gross	2017-01-07
\| \| \| \|	Thanks, @cpitclaudel !
*	Kludge to get a Windows-valid .dir-locals.el	Jason Gross	2017-01-07
\| \| \| \| \|	Pass in PATHSEP=";" to `make .dir-locals.el`. Hopefully I'll find a better way soon.
*	Replace $(shell pwd) with ${CURDIR}	Jason Gross	2017-01-05
\| \| \| \| \| \|	On Cygwin, `$(shell pwd)` gives a Linux path (`/cygdrive/...`), which is wrong. We now use `${CURDIR}`, as per http://stackoverflow.com/a/3679235.
*	Better word operations	Jason Gross	2017-01-03
\|
*	Revert "Add Bedrock.Word.{wordToZ,ZToWord}"	Jason Gross	2017-01-03
\| \| \| \|	This reverts commit a66ba3e5202adcc436c3a1fcf6433261e7bdd158.
*	Add Bedrock.Word.{wordToZ,ZToWord}	Jason Gross	2017-01-03
\|
*	Add word versions of ModularBaseSystemListZOperations	Jason Gross	2017-01-03
\|
*	Add ZToWord,wordToZ	Jason Gross	2017-01-03
\|
*	Add fixed word size definitions	Jason Gross	2017-01-03
\|
*	Fixes for Coq 8.4	Jason Gross	2017-01-03
\|
*	Add src/Reflection/MapCastWithCastOp.v	Jason Gross	2017-01-01
\| \| \| \|	This version assumes that we have a [Cast] operator
*	Remove [Print]	Jason Gross	2017-01-01
\|
*	Redo MultiSizeTest with generic framework	Jason Gross	2017-01-01
\|
*	Transparent versions of {flat_,}type_eq_dec	Jason Gross	2017-01-01
\|
*	Add generic code for MultiSizeTest	Jason Gross	2017-01-01
\|
*	Add smart_interp_map_gen	Jason Gross	2017-01-01
\|
*	Add SmartFlatTypeMap2	Jason Gross	2016-12-26
\|
*	Add flatten_flat_type	Jason Gross	2016-12-26
\|
*	Fix Coq 8.6 warnings	Jason Gross	2016-12-26
\|
*	make update-_CoqProject	Jason Gross	2016-12-26
\|
*	MultiSizeTest: a basic example of the scheme I have in mind for bounds ↵	Adam Chlipala	2016-12-25
\| \| \| \|	inference with multiple candidate word sizes
*	Use 8.6 rather than 8.6rc1 on travis	Jason Gross	2016-12-19
\|
*	Fix 8.4 build issues	Jason Gross	2016-12-15
\|
*	Fix 8.4 issues	Jason Gross	2016-12-15
\|
*	Work around bug in 8.4 implicits	Jason Gross	2016-12-14
\|
*	Work around bug in 8.4 apply	Jason Gross	2016-12-14
\|
*	More travis fixups for package installation	Jason Gross	2016-12-08
\|
*	Only install Coq package on travis	Jason Gross	2016-12-08
\|
*	Admit Common9_4Op.v	Jason Gross	2016-12-08
\|
*	Test 8.6rc1 on travis	Jason Gross	2016-12-08
\|
*	Add trunk as an allowed failure to .travis.yml	Jason Gross	2016-12-06
\|
*	Update .travis.yml	Jason Gross	2016-12-05
\|
*	Update .travis.yml	Jason Gross	2016-12-05
\|
*	Only test 8.6beta1 on travis	Jason Gross	2016-12-05
\|
*	Don't use UIP in inversion_wff	Jason Gross	2016-12-03
\|
*	Add inversion_wff	Jason Gross	2016-12-03
\|