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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding picosat to the benches	Cyril SIX	2019-10-02	1	-33/+7
\|
*	shortcuts for cmove	David Monniaux	2019-06-04	1	-1/+1
\|
*	remove old "ternary" stuff	David Monniaux	2019-06-04	1	-1/+1
\|
*	store o	David Monniaux	2019-05-04	1	-2/+2
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-1/+4
\|
*	missing config.h	David Monniaux	2019-03-29	1	-0/+3
\|
*	Makefile for picosat	David Monniaux	2019-03-29	3	-62/+0
\|
*	NDEBUG	David Monniaux	2019-03-28	1	-0/+6
\|
*	some more inline	David Monniaux	2019-03-28	1	-10/+10
\|
*	add some INLINE markers	David Monniaux	2019-03-28	1	-36/+38
\|
*	picosat now uses the same Makefile system as the rest	David Monniaux	2019-03-28	3	-3/+49
\| \| \| \|	we are 27% slower than gcc
*	picomus compile aussi	David Monniaux	2019-03-20	1	-1/+1
\|
*	picosat fonctionne	David Monniaux	2019-03-20	2	-3/+7
\|
*	vire des scories INT_DIV et INT_MOD	David Monniaux	2019-03-20	1	-1/+1
\|
*	INT_MOD in picosat	David Monniaux	2019-02-15	2	-5/+7
\|
*	removed 'KILL_TAIL_CALL()', no longer needed	David Monniaux	2019-02-08	1	-0/+2
\|
*	Makefiles now use rules.mk, and added a prohibition of unprototyped functions	David Monniaux	2019-02-06	1	-1/+2
\|
*	remove cruft	David Monniaux	2019-01-30	1	-1/+1
\|
*	remove preprocessor directives about SIZE_TYPE, now useless (long is now 8 ↵	David Monniaux	2019-01-30	1	-1/+1
\| \| \| \|	bytes like in gcc)
*	fixes in makefiles	David Monniaux	2019-01-30	1	-38/+0
\|
*	packaged	David Monniaux	2019-01-27	8	-571/+20579
\|
*	picosat	David Monniaux	2019-01-27	17	-0/+12288
	induces bug in register allocation