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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/kvx-bits' into kvx_fp_division	David Monniaux	2022-02-14	1	-0/+35
\|\
\| *	abs builtins	David Monniaux	2022-02-14	1	-2/+2
\| *	begin adding abdw abdd	David Monniaux	2022-02-14	1	-0/+35
* \|	some more fixed etc. constructs	David Monniaux	2021-12-12	1	-0/+4
\|/
*	Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass	David Monniaux	2020-09-29	1	-14/+14
\|\
\| *	simpl -> cbn	David Monniaux	2020-09-29	1	-38/+38
* \|	reflect changes	David Monniaux	2020-09-22	1	-14/+0
* \|	moved some "total" value domain functions to a central location	David Monniaux	2020-09-21	1	-271/+0
\|/
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-0/+884