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

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix issue #247 by using a BTL's ghostfield	Léo Gourdin	2021-09-30	1	-1/+1
\|
*	Dupmap bugfix and some advance in Livegen	Léo Gourdin	2021-05-31	1	-4/+6
\|
*	Improvements in scheduling and renumbering BTL code	Léo Gourdin	2021-05-28	1	-66/+51
\|
*	[disabled checker] BTL Scheduling and Renumbering OK!	Léo Gourdin	2021-05-27	1	-30/+21
\|
*	a draft frontend for prepass	Léo Gourdin	2021-05-24	1	-2/+2
\|
*	Moving common tools, adding liveness input/output information to BTL ↵	Léo Gourdin	2021-05-24	1	-1/+1
\| \| \| \|	generation oracle
*	Now supporting Bnop insertion in conditions	Léo Gourdin	2021-05-21	1	-11/+6
\|
*	working oracles (no renumber for now)	Léo Gourdin	2021-05-20	1	-48/+60
\|
*	Adding a BTL record to help oracles	Léo Gourdin	2021-05-19	1	-3/+101
\|
*	preparing compiler passes and ml oracles	Léo Gourdin	2021-05-17	1	-0/+5