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

	Commit message (Expand)	Author	Age	Files	Lines
*	-fduplicate -1 really desactivates the pass in Coq now	Cyril SIX	2020-04-01	1	-2/+1
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2	David Monniaux	2020-02-06	1	-0/+4
\|\
\| *	Added a flag to desactivate tail duplication	Cyril SIX	2020-01-27	1	-0/+4
* \|	Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2	David Monniaux	2020-01-28	1	-0/+3
\|\ \ \| \|/ \|/\|
\| *	connected (just a silly problem)	David Monniaux	2020-01-28	1	-0/+3
* \|	connect forward-moves to compiler	David Monniaux	2020-01-08	1	-0/+3
* \|	to v3.6	David Monniaux	2019-09-20	1	-1/+5
* \|	-fall-loads-nontrap	David Monniaux	2019-09-09	1	-0/+3
* \|	option -faddx (off by default until questions cleared)	David Monniaux	2019-05-11	1	-3/+6
* \|	-fcoalesce-mem	David Monniaux	2019-05-03	1	-0/+3
* \|	command line options (still incomplete)	David Monniaux	2019-05-02	1	-0/+9
* \|	-fpostpass-ilp	David Monniaux	2019-03-12	1	-3/+0
* \|	Added a flag for changing the scheduler (not any choice available right now)	Cyril SIX	2019-03-12	1	-0/+3
* \|	-O0 will not perform postpass scheduling	Cyril SIX	2019-01-18	1	-0/+3
\|/
*	Track the locations of local variables using EF_debug annotations.	Xavier Leroy	2015-08-23	1	-0/+3
*	Add flags to control individual optimization passes + flag -O0 for turning th...	Xavier Leroy	2014-11-16	1	-1/+10
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	1	-1/+2
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-0/+33