compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	remove old "ternary" stuff	David Monniaux	2019-06-04	1	-5/+1
\|
*	Merge remote-tracking branch 'origin/mppa-msub' into mppa-work	David Monniaux	2019-05-30	1	-0/+4
\| \| \| \| \|	Conflicts: mppa_k1c/ExtValues.v
*	use cmove in bitsliced AES	David Monniaux	2019-04-05	1	-5/+2
\|
*	removed the unproved hack to get builtins, will be reinstated later	David Monniaux	2019-04-05	1	-1/+1
\|
*	ternary ops in AES and TEA	David Monniaux	2019-04-03	1	-2/+2
\|
*	problem in ValueAOp	David Monniaux	2019-04-03	1	-10/+1
\|
*	merge VLIW proofs	David Monniaux	2019-03-28	1	-1/+0
\|\ \| \| \| \| \| \|	Merge branch 'mppa-mul' into mppa-ternary
\| *	some more ternary	David Monniaux	2019-03-24	1	-6/+6
\| \|
\| *	experiments with ternary operator	David Monniaux	2019-03-24	1	-1/+6
\| \|
\| *	experiments with ternary	David Monniaux	2019-03-24	1	-1/+4
\| \|
* \|	don't penalize x86 CompCert	David Monniaux	2019-03-27	1	-1/+1
\| \|
* \|	put both compilers in their best mood	David Monniaux	2019-03-27	1	-5/+18
\| \|
* \|	switch off ternary if not CompCert	David Monniaux	2019-03-27	1	-14/+4
\| \|
* \|	improvements on cmoved etc.	David Monniaux	2019-03-27	1	-4/+11
\| \|
* \|	work on ternary	David Monniaux	2019-03-27	1	-3/+11
\| \|
* \|	match some 'and'	David Monniaux	2019-03-27	1	-4/+3
\| \|
* \|	essai du cmove	David Monniaux	2019-03-27	1	-3/+13
\| \|
* \|	ternary transfo	David Monniaux	2019-03-26	1	-1/+12
\|/
*	https://github.com/conorpp/bitsliced-aes	David Monniaux	2019-01-30	1	-0/+1125