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

	Commit message (Collapse)	Author	Age	Files	Lines
*	enlarge rangeHEAD master	David Monniaux	2022-03-09	1	-1/+1
\|
*	simpler mod	David Monniaux	2022-02-16	1	-4/+31
\|
*	mods 64	David Monniaux	2022-02-15	1	-0/+235
\|
*	fp_modu64_correct	David Monniaux	2022-02-11	1	-0/+30
\|
*	full2 mod correct	David Monniaux	2022-02-11	1	-0/+98
\|
*	twostep_mod_longu_mostb_correct	David Monniaux	2022-02-11	1	-0/+94
\|
*	moved stuff to appropriate places and removed irrelevant content	David Monniaux	2022-02-11	1	-258/+0
\|
*	rm useless stuff	David Monniaux	2022-02-11	1	-123/+0
\|
*	remove singleoflongu (does not exist)	David Monniaux	2022-02-11	1	-30/+35
\|
*	rewrite with longu -> double -> single conversions	David Monniaux	2022-02-11	1	-23/+38
\|
*	fp_divu64_correct	David Monniaux	2022-02-10	1	-0/+17
\|
*	finished proof but still why need for decomposition	David Monniaux	2022-02-10	1	-16/+56
\|
*	progress	David Monniaux	2022-02-10	1	-2/+44
\|
*	progress	David Monniaux	2022-02-10	1	-23/+36
\|
*	progress	David Monniaux	2022-02-10	1	-3/+15
\|
*	Cgt / Clt	David Monniaux	2022-02-10	1	-7/+20
\|
*	progress	David Monniaux	2022-02-10	1	-0/+18
\|
*	progress	David Monniaux	2022-02-10	1	-2/+36
\|
*	step1 expression is ok	David Monniaux	2022-02-09	1	-0/+36
\|
*	full2_div_longu_correct	David Monniaux	2022-02-09	1	-0/+93
\|
*	twostep_div_longu_mostb_correct	David Monniaux	2022-02-09	1	-11/+75
\|
*	progress	David Monniaux	2022-02-04	1	-5/+10
\|
*	progress	David Monniaux	2022-02-04	1	-2/+1
\|
*	some progress	David Monniaux	2022-02-04	1	-0/+108
\|
*	full_div_longu_correct	David Monniaux	2022-01-25	1	-2/+28
\|
*	some progress	David Monniaux	2022-01-25	1	-2/+66
\|
*	attempt at definition	David Monniaux	2022-01-25	1	-0/+13
\|
*	anystep_div_longu_correct	David Monniaux	2022-01-25	1	-0/+38
\|
*	big progress on longu	David Monniaux	2022-01-25	1	-9/+61
\|
*	some progress?	David Monniaux	2022-01-25	1	-126/+185
\|
*	some progress	David Monniaux	2022-01-24	1	-2/+0
\|
*	some progress	David Monniaux	2022-01-24	1	-19/+157
\|
*	progress	David Monniaux	2022-01-24	1	-0/+121
\|
*	rm spurious function	David Monniaux	2022-01-24	1	-115/+0
\|
*	progress	David Monniaux	2022-01-24	1	-0/+190
\|
*	twostep_div_longu_smallb_correct	David Monniaux	2022-01-24	1	-0/+82
\|
*	done for small a	David Monniaux	2022-01-24	1	-3/+7
\|
*	progress	David Monniaux	2022-01-24	1	-11/+31
\|
*	progress	David Monniaux	2022-01-24	1	-7/+17
\|
*	progress	David Monniaux	2022-01-24	1	-2/+68
\|
*	some progress	David Monniaux	2022-01-24	1	-1/+25
\|
*	fix issue	David Monniaux	2022-01-24	1	-5/+66
\|
*	progress	David Monniaux	2022-01-24	1	-1/+4
\|
*	progress	David Monniaux	2022-01-24	1	-2/+2
\|
*	progress	David Monniaux	2022-01-24	1	-3/+17
\|
*	progress	David Monniaux	2022-01-24	1	-2/+9
\|
*	progress	David Monniaux	2022-01-24	1	-2/+12
\|
*	so that it compiles	David Monniaux	2022-01-19	1	-2/+58
\|
*	find_quotient	David Monniaux	2022-01-14	1	-0/+64
\|
*	find_quotient	David Monniaux	2022-01-14	1	-7/+17
\|