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

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding both RV expansion methods in kvx-work	Léo Gourdin	2021-05-19	8	-48/+1410
*	Merge branch 'riscv-work-fpinit-stillexp' into kvx-work	Léo Gourdin	2021-05-19	0	-0/+0
\|\
\| *	xorimmsubmission_OOPSLA2021_RISCV	Léo Gourdin	2021-04-09	2	-0/+77
\| *	removing useless flag check	Léo Gourdin	2021-04-09	1	-3/+1
* \|	debug prints uniformized	Léo Gourdin	2021-05-18	1	-69/+66
* \|	for making the docker	David Monniaux	2021-05-11	4	-0/+3
* \|	for pruning the docker	David Monniaux	2021-05-11	1	-1/+2
* \|	pruning the image	David Monniaux	2021-05-11	1	-0/+4
* \|	adjust to compile for various arch	David Monniaux	2021-05-11	1	-3/+3
* \|	progress being made	David Monniaux	2021-05-10	1	-2/+15
* \|	build for aarch64	David Monniaux	2021-05-10	1	-1/+4
* \|	dockerfiles	David Monniaux	2021-05-10	2	-8/+9
* \|	dockerfile for building	David Monniaux	2021-05-10	1	-0/+8
* \|	Increasing required OCaml version (Pervasives <-> Stdlib module renaming)	Cyril SIX	2021-05-04	1	-2/+2
* \|	for OCaml 4.13	David Monniaux	2021-04-30	1	-1/+1
* \|	Compatibilité Coq 8.13	David Monniaux	2021-04-28	5	-8/+3
* \|	add auxfile	David Monniaux	2021-04-27	1	-0/+17
* \|	Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...	Léo Gourdin	2021-04-22	18	-566/+370
\|\ \
\| * \|	fix broken link in index-kvx.html	Sylvain Boulmé	2021-04-16	1	-1/+1
\| * \|	Merge remote-tracking branch 'origin/manuscript' into kvx-worksubmission_OOPSLA2021_AARCH64_KVX	Cyril SIX	2021-04-13	5	-525/+173
\| \|\ \
\| \| * \|	Cleaning	Cyril SIX	2021-04-02	1	-2/+1
\| \| * \|	More efficient	Cyril SIX	2021-04-02	1	-8/+12
\| \| * \|	Outermost loop detection works	Cyril SIX	2021-04-02	1	-9/+10
\| \| * \|	Getting all loop bodies	Cyril SIX	2021-04-02	2	-2/+50
\| \| * \|	get_loop_headers simplification (using the new get_loop_backedges)	Cyril SIX	2021-04-02	1	-39/+7
\| \| * \|	Simple backedge detection (modified code from get_loop_headers)	Cyril SIX	2021-04-02	3	-0/+57
\| \| * \|	Big simplification of get_loop_info	Cyril SIX	2021-03-31	1	-111/+16
\| \| * \|	Simplification of the Linearize heuristic (same result functionally)	Cyril SIX	2021-03-30	1	-216/+6
\| \| * \|	Simplifications on Linearize - details below	Cyril SIX	2021-03-29	1	-205/+79
\| \| * \|	Code simplification of get_path_map (no functionality change)	Cyril SIX	2021-01-26	1	-14/+16
\| * \| \|	Adding more precise heuristic measures	Cyril SIX	2021-04-13	1	-2/+62
\| * \| \|	Adding overpredicts	Cyril SIX	2021-04-13	1	-3/+6
\| * \| \|	Recording of prediction stats with COMPCERT_PROFILING_STATS environment flag	Cyril SIX	2021-04-13	1	-33/+93
\| * \| \|	Adding distinction between kvx-cos and kvx-mbr (for trapping loads)	Cyril SIX	2021-04-13	7	-4/+22
\| * \| \|	rm spurious files	David Monniaux	2021-04-12	39	-1705/+0
\| * \| \|	test profiling	David Monniaux	2021-04-12	42	-0/+1720
\| * \| \|	collision of registers	David Monniaux	2021-04-12	2	-3/+3
* \| \| \|	moving my tests	Léo Gourdin	2021-04-22	26	-157/+0
\|/ / /
* \| \|	removing unusued proof line	Léo Gourdin	2021-04-09	1	-1/+0
* \| \|	adding missing xorimm exp	Léo Gourdin	2021-04-09	2	-0/+77
* \| \|	Merge branch 'riscv-work' into kvx-work	Léo Gourdin	2021-04-09	21	-1514/+2642
\|\ \ \
\| * \| \|	Remove flags	Léo Gourdin	2021-04-09	4	-10/+3
\| * \| \|	Removing expansions from Asmgen	Léo Gourdin	2021-04-09	6	-1401/+49
\| \| \|/ \| \|/\|
\| * \|	Removing addptrofs draft, next will be merging	Léo Gourdin	2021-04-09	9	-254/+104
\| * \|	bugfix	Léo Gourdin	2021-04-08	2	-2/+3
\| * \|	Important commit on expansions' mini CSE, and a draft for addptrofs	Léo Gourdin	2021-04-06	13	-762/+1081
\| * \|	a more general way to manage special registers before introducing SP	Léo Gourdin	2021-03-30	8	-560/+593
\| * \|	Now a more general way to perform imm operations	Léo Gourdin	2021-03-30	9	-38/+68
\| * \|	Refactoring the mayundef OP to be more general...	Léo Gourdin	2021-03-30	5	-201/+191
\| * \|	bugfix and printOp	Léo Gourdin	2021-03-26	2	-19/+29