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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	fixup	David Monniaux	2021-12-17	1	-33/+36
\|
*	one less admit	David Monniaux	2021-12-17	1	-7/+35
\|
*	one less admit	David Monniaux	2021-12-17	1	-4/+14
\|
*	one less admit	David Monniaux	2021-12-17	1	-2/+27
\|
*	one admit less	David Monniaux	2021-12-17	1	-2/+3
\|
*	some admit less	David Monniaux	2021-12-17	1	-2/+16
\|
*	one admit less	David Monniaux	2021-12-17	1	-1/+10
\|
*	Znearest_le	David Monniaux	2021-12-17	1	-1/+19
\|
*	one admit less	David Monniaux	2021-12-17	1	-1/+5
\|
*	goes to end still some admit	David Monniaux	2021-12-16	1	-9/+1
\|
*	less admit	David Monniaux	2021-12-16	1	-4/+19
\|
*	removing admits	David Monniaux	2021-12-16	1	-4/+4
\|
*	glue in ranges	David Monniaux	2021-12-16	1	-1/+8
\|
*	progress	David Monniaux	2021-12-16	1	-1/+5
\|
*	better	David Monniaux	2021-12-16	1	-1/+1
\|
*	progress	David Monniaux	2021-12-16	1	-0/+26
\|
*	progress	David Monniaux	2021-12-16	1	-4/+31
\|
*	Qed	David Monniaux	2021-12-16	1	-2/+24
\|
*	one admit less	David Monniaux	2021-12-16	1	-2/+20
\|
*	one admit less	David Monniaux	2021-12-16	1	-2/+8
\|
*	one admit less	David Monniaux	2021-12-16	1	-1/+6
\|
*	some more gappa	David Monniaux	2021-12-16	1	-6/+21
\|
*	one admit less	David Monniaux	2021-12-16	1	-1/+4
\|
*	finish proof but some admitted stuff	David Monniaux	2021-12-16	1	-4/+27
\|
*	test gappa	David Monniaux	2021-12-16	1	-15/+17
\|
*	patine	David Monniaux	2021-12-15	1	-12/+3
\|
*	progress	David Monniaux	2021-12-15	1	-7/+28
\|
*	progress	David Monniaux	2021-12-15	1	-0/+11
\|
*	progress	David Monniaux	2021-12-15	1	-6/+15
\|
*	progress	David Monniaux	2021-12-15	1	-6/+10
\|
*	progress	David Monniaux	2021-12-15	1	-5/+40
\|
*	progress	David Monniaux	2021-12-15	1	-15/+30
\|
*	progress	David Monniaux	2021-12-15	1	-5/+13
\|
*	progress	David Monniaux	2021-12-15	1	-14/+64
\|
*	correct pour Flocq externe	David Monniaux	2021-12-14	1	-1/+1
\|
*	stuff	David Monniaux	2021-12-14	1	-1/+3
\|
*	more on FPDivision	David Monniaux	2021-12-14	1	-3/+133
\|
*	approx_inv	David Monniaux	2021-12-14	1	-4/+10
\|
*	begin work on fp division	David Monniaux	2021-12-14	1	-0/+43
\|
*	begin div algo	David Monniaux	2021-12-13	2	-52/+68
\|
*	div_approx_reals_correct simplified proof	David Monniaux	2021-12-13	1	-1/+1
\|
*	div_approx_reals_correct	David Monniaux	2021-12-13	1	-2/+54
\|
*	fix assembly syntax	David Monniaux	2021-12-12	5	-5/+27
\|
*	connect Asm to the rest for nearest rounding	David Monniaux	2021-12-12	2	-2/+14
\|
*	some more fixed etc. constructs	David Monniaux	2021-12-12	5	-9/+50
\|
*	Asm level	David Monniaux	2021-12-12	3	-1/+28
\|
*	Zdiv_ne	David Monniaux	2021-12-06	1	-0/+12
\|
*	ExtZ	David Monniaux	2021-12-06	1	-0/+12
\|
*	documentation says it's 15	David Monniaux	2021-10-20	1	-1/+2
\|
*	Merge branch 'bitfields_fix' of /home/monniaux/work/Kalray/bitfields_fix ↵	David Monniaux	2021-09-27	2	-3/+80
\|\ \| \| \| \| \| \|	into towards_3.10