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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Pfreeframe and Pallocframe raise "OpaqueInstruction". Splitting bb to isolate...	Cyril SIX	2019-01-15	1	-18/+55
*	Added RA as possible location + control flow info	Cyril SIX	2019-01-11	1	-6/+12
*	Adding Mem as a possible location for accesses	Cyril SIX	2019-01-11	1	-23/+31
*	Replaced the faulty bundlize_solution function	Cyril SIX	2019-01-11	1	-28/+43
*	[BROKEN] trying to link the test in mppa_k1c/unittest/postpass_test	Cyril SIX	2019-01-11	1	-33/+18
*	[BROKEN] Added infos about sd, infinite loop somewhere	Cyril SIX	2019-01-09	1	-5/+23
*	Adding more Asmblock instructions to PostpassSchedulingOracle	Cyril SIX	2019-01-08	1	-14/+108
*	Raccordement de InstructionScheduler.ml à PostpassSchedulingOracle.ml	Cyril SIX	2019-01-08	1	-4/+94
*	Latency constraints building done in PostpassSchedulingOracle.ml	Cyril SIX	2019-01-08	1	-16/+28
*	Reorganized PostpassOracle to separate asmblock instructions from real instru...	Cyril SIX	2019-01-08	1	-72/+111
*	Finished the immediate recognition part, started latency constraints	Cyril SIX	2019-01-07	1	-19/+78
*	[BROKEN] Début d'oracle	Cyril SIX	2018-12-20	1	-1/+105
*	Added a simple postpass oracle that splits a bblock into single instruction b...	Cyril SIX	2018-12-17	1	-0/+18