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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/CPP_2022' into weak-software-pipeliningCPP22_if_lifting	Sylvain Boulmé	2021-12-10	1	-1/+1
\|\
\| *	fix missing "formally"CPP22_main	Sylvain Boulmé	2021-12-10	1	-1/+1
\| \|
* \|	Merge remote-tracking branch 'origin/CPP_2022' into weak-software-pipelining	Sylvain Boulmé	2021-12-06	3	-7/+22
\|\\|
\| *	authors and papers links for the CPP'22 version	Sylvain Boulmé	2021-12-06	2	-2/+14
\| \|
\| *	more explanation on the web page.	Sylvain Boulmé	2021-12-03	1	-0/+2
\| \|
\| *	update for CPP_2022 publication	Sylvain Boulmé	2021-12-02	1	-5/+6
\| \|
* \|	fix Compiler.vexpand	Léo Gourdin	2021-09-22	1	-19/+0
\| \|
* \|	Revert "Revert "[MERGE] weak-software-pipelining in RTLpath""	Léo Gourdin	2021-09-22	47	-229/+3974
\| \| \| \| \| \|	This reverts commit 733261c823ab7a66c8325c96d95dae52d5f220c6.
* \|	Merge branch 'CPP_2022' into weak-software-pipelining	Léo Gourdin	2021-09-22	53	-4050/+403
\|\\|
\| *	opweights u74	Léo Gourdin	2021-09-17	1	-0/+139
\| \|
\| *	Revert "[MERGE] weak-software-pipelining in RTLpath"	Léo Gourdin	2021-09-16	47	-3987/+229
\| \| \| \| \| \| \| \|	This reverts commit d0f23ce9e96a8ef984dbdd47a0848bcdd8f43d7e.
\| *	latest coq+ocaml versions	Sylvain Boulmé	2021-09-15	1	-35/+12
\| \|
\| *	update gitlab-CI from kvx-work	Sylvain Boulmé	2021-09-15	1	-12/+35
\| \|
\| *	[MERGE] weak-software-pipelining in RTLpath	Léo Gourdin	2021-09-02	47	-229/+3987
\| \|\
\| * \|	RTLTunneling: fix comments and authors information	Sylvain Boulmé	2021-08-24	5	-89/+24
\| \| \|
\| * \|	Merge remote-tracking branch 'origin/kvx-sched-w-reg-press' into kvx-work	David Monniaux	2021-08-23	1	-6/+12
\| \|\ \
\| \| * \|	Changes heuristic for case "no instruction decreases pressure"	nicolas.nardino	2021-07-28	1	-9/+12
\| \| \| \|
* \| \| \|	latest coq+ocaml versions	Sylvain Boulmé	2021-09-16	1	-35/+12
\| \| \| \|
* \| \| \|	update gitlab-CI from kvx-work	Sylvain Boulmé	2021-09-16	1	-12/+35
\| \| \| \|
* \| \| \|	Add RTLtunneling pass before actual prepass scheduling	Justus Fasse	2021-09-16	2	-0/+6
\| \|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \|	This should avoid cases where scheduling turns a side-exit into a "useless Icond" which changes the number of exits and is ruled illegal.
* \| \|	Fix small error	Justus Fasse	2021-08-24	1	-5/+5
\| \| \| \| \| \| \| \| \| \| \| \|	(was already included for the benchmark runs for the M2 report)
* \| \|	Hopefully a proper fix to code motion below side exits + NO register renaming	Justus Fasse	2021-08-21	1	-0/+23
\| \| \|
* \| \|	Revert "Fix error"	Justus Fasse	2021-08-21	1	-17/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This reverts commit a0119e5987a1cd84f2baa9286f39b1fc6498af23. Fix applied at wrong place
* \| \|	Fix error	Justus Fasse	2021-08-21	1	-5/+17
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	When code motion past side exits is NOT combined with general register renaming, the renaming necessary to make it safe to duplicate instructions may cause final restoration code to be inserted. Final restoration code is trated specially by its own function.
* \| \|	Remove hopefully useless compiler passes	Justus Fasse	2021-08-21	2	-16/+5
\| \| \|
* \| \|	Ugly proof of simu_check_single_correct	Justus Fasse	2021-08-18	1	-8/+31
\| \| \|
* \| \|	Match naming convention of surrounding code.	Justus Fasse	2021-08-18	1	-2/+2
\| \| \|
* \| \|	Merge branch 'kvx-work' into weak-software-pipelining	Justus Fasse	2021-08-17	16	-358/+1353
\|\\| \|
\| * \|	remove default_notrap_load_value	Sylvain Boulmé	2021-07-24	1	-1/+1
\| \| \|
\| * \|	Merge branch 'kvx-work' into rtl-tunneling	Sylvain Boulmé	2021-07-24	64	-170/+2394
\| \|\ \
\| \| * \|	Fix can't schedule issues	David Monniaux	2021-07-19	3	-55/+48
\| \| \|\\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	exit 1 if scheduling fails Merge remote-tracking branch 'origin/kvx-sched-w-reg-press' into kvx-work
\| \| \| *	Fix scheduling fails (forgot a case)	nicolas.nardino	2021-07-19	1	-8/+11
\| \| \| \|
\| \| \| *	Merge branch 'kvx-work' into kvx-sched-w-reg-press	nicolas.nardino	2021-07-19	1	-52/+38
\| \| \| \|\
\| \| \| \| *	start fixing	nicolas.nardino	2021-07-19	1	-52/+38
\| \| \| \| \|
\| \| \| * \|	comment for authors	David Monniaux	2021-07-16	1	-0/+13
\| \| \| \| \|
\| \| \| * \|	activate register pressure by default	David Monniaux	2021-07-16	2	-5/+5
\| \| \| \| \|
\| \| \| * \|	use a more recognizable option name	David Monniaux	2021-07-16	13	-15/+1089
\| \| \| \| \|
\| \| \| * \|	fix for KVX	David Monniaux	2021-07-16	1	-2/+8
\| \| \| \| \|
\| \| \| * \|	setup registers	David Monniaux	2021-07-16	2	-0/+5
\| \| \| \| \|
\| \| \| * \|	rm useless code	David Monniaux	2021-07-16	1	-48/+0
\| \| \| \| \|
\| \| \| * \|	rm "Admitted"	David Monniaux	2021-07-16	1	-11/+10
\| \| \| \| \|
\| \| \| * \|	Merge remote-tracking branch 'origin/kvx-work' into kvx-sched-w-reg-press	David Monniaux	2021-07-16	22	-50/+41
\| \| \| \|\ \
\| \| \| * \| \|	rm TODO	David Monniaux	2021-07-16	1	-1/+0
\| \| \| \| \| \|
\| \| \| * \| \|	add more debug info	nicolas.nardino	2021-07-08	1	-2/+10
\| \| \| \| \| \|
\| \| \| * \| \|	Deactivate sched validator (i think)	nicolas.nardino	2021-07-08	1	-10/+11
\| \| \| \| \| \|
\| \| \| * \| \|	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	3	-4/+20
\| \| \| \| \| \|
\| \| \| * \| \|	Changed printfs into debugs	nicolas.nardino	2021-06-25	1	-6/+5
\| \| \| \| \| \|
\| \| \| * \| \|	Another scheduler	nicolas.nardino	2021-06-24	3	-1/+204
\| \| \| \| \| \|
\| \| \| * \| \|	Merge branch 'kvx-sched-w-reg-press' of ↵	nicolas.nardino	2021-06-22	16	-86/+225
\| \| \| \|\ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into kvx-sched-w-reg-press