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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-16/+21
\|\
\| *	Qualify `Hint` as `Global Hint` where appropriate	Xavier Leroy	2021-01-21	1	-1/+1
\| *	Support re-normalization of function parameters at function entry	Xavier Leroy	2021-01-16	1	-1/+6
\| *	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-14/+14
* \|	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-48/+152
\|\\|
\| *	Support Cygwin 64 bits	Xavier Leroy	2020-10-05	1	-48/+152
* \|	Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...	David Monniaux	2020-03-03	1	-1/+2
\|\ \ \| \|/ \|/\|
\| *	try to be portable across archs	David Monniaux	2019-03-21	1	-1/+2
* \|	Platform-independent implementation of Conventions.size_arguments (#222)	Xavier Leroy	2020-02-24	1	-145/+0
* \|	Support re-normalization of values returned by function calls	Xavier Leroy	2020-02-21	1	-0/+14
* \|	Refine the type of function results in AST.signature	Xavier Leroy	2020-02-21	1	-16/+14
\|/
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-10/+10
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-15/+17
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-0/+473