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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add debug info	nicolas.nardino	2021-07-06	1	-0/+2
\|
*	Change temporary solution (see prev commits), and add option for it	nicolas.nardino	2021-06-28	1	-4/+17
\|
*	Changed printfs into debugs	nicolas.nardino	2021-06-25	1	-6/+5
\|
*	Another scheduler	nicolas.nardino	2021-06-24	1	-0/+201
\|
*	Changed default threshold value following tests	nicolas.nardino	2021-06-22	1	-8/+2
\|
*	Add option to set thresold and support for riscv	nicolas.nardino	2021-06-17	1	-2/+7
\|
*	Now working, tests show a decrease in spillage	nicolas.nardino	2021-06-16	1	-45/+47
\| \| \| \| \|	Should still find a proper way to treat the case mentioned in earlier commits
*	kinda fixed	nicolas.nardino	2021-06-15	1	-22/+40
\| \| \| \| \| \| \| \|	Spills are definitely reduced, but lots of arbitrary in there: See previous commit: need to determine what to do if pressure is too high but no schedulable instruction can reduce it. For now, advance time for at most 5 cycles, if still no suitable instruction, go back to CSP
*	fixing	nicolas.nardino	2021-06-15	1	-10/+73
\| \| \| \| \|	Still need to find what to do when pressure is high but there are no instructions available that decrease it
*	was very wrong, fixing	nicolas.nardino	2021-06-14	1	-3/+4
\|
*	scheduler written, need to test now	nicolas.nardino	2021-06-14	1	-17/+67
\|
*	work on the scheduler	nicolas.nardino	2021-06-12	1	-40/+106
\|
*	Work on new schedluer	nicolas.nardino	2021-06-10	1	-2/+77
\| \| \| \| \| \|	Renamed a test file, wrote function to compute pressure deltas, Still need to pass the info in some way; beginning of the actual scheduler function
*	Passing info of live regs to scheduler: beginning	nicolas.nardino	2021-06-04	1	-0/+2
\|
*	just missing OpWeights for AARCH64	David Monniaux	2020-09-16	1	-0/+1263