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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	some more proof	David Monniaux	2022-01-14	1	-6/+15
\|
*	some progress	David Monniaux	2022-01-14	1	-0/+75
\|
*	relative bound of error	David Monniaux	2022-01-13	1	-4/+229
\|
*	moved functions to a more logical place	David Monniaux	2022-01-13	1	-26/+1
\|
*	more proofs on step1 small b	David Monniaux	2022-01-12	1	-1/+58
\|
*	proof progresses	David Monniaux	2022-01-12	1	-6/+38
\|
*	proof forward	David Monniaux	2022-01-12	1	-6/+25
\|
*	progress in proofs	David Monniaux	2022-01-12	1	-5/+61
\|
*	progress in proofs	David Monniaux	2022-01-12	1	-224/+30
\|
*	proof of approx for a/b	David Monniaux	2022-01-12	1	-2/+26
\|
*	give a name	David Monniaux	2022-01-12	1	-1/+5
\|
*	more proofs	David Monniaux	2022-01-12	1	-5/+77
\|
*	progress in proofs	David Monniaux	2022-01-12	1	-45/+8
\|
*	finer proof	David Monniaux	2022-01-12	1	-11/+94
\|
*	progress in proofs	David Monniaux	2022-01-11	1	-2/+5
\|
*	progress in proofs	David Monniaux	2022-01-11	1	-1/+11
\|
*	progress in proof	David Monniaux	2022-01-11	1	-52/+34
\|
*	progress in proof	David Monniaux	2022-01-10	1	-1/+11
\|
*	progress in proofs	David Monniaux	2022-01-10	1	-29/+42
\|
*	some more proofs?	David Monniaux	2022-01-10	1	-2/+65
\|
*	some more proof	David Monniaux	2022-01-10	1	-7/+47
\|
*	signs	David Monniaux	2022-01-10	1	-5/+31
\|
*	wrong operator	David Monniaux	2022-01-10	1	-2/+12
\|
*	proof progress	David Monniaux	2022-01-10	1	-2/+24
\|
*	progress in proofs	David Monniaux	2022-01-10	1	-0/+25
\|
*	state theorem	David Monniaux	2022-01-10	1	-0/+15
\|
*	rough approx	David Monniaux	2022-01-10	1	-3/+113
\|
*	better bound	David Monniaux	2022-01-07	1	-1/+2
\|
*	nice intervals	David Monniaux	2022-01-07	1	-2/+4
\|
*	qed for proof	David Monniaux	2022-01-07	1	-2/+37
\|
*	progress in proofs	David Monniaux	2022-01-07	1	-0/+34
\|
*	progress	David Monniaux	2022-01-07	1	-0/+3
\|
*	progress in proof	David Monniaux	2022-01-07	1	-3/+20
\|
*	this works	David Monniaux	2022-01-07	1	-11/+20
\|
*	progress in proofs	David Monniaux	2022-01-07	1	-0/+183
\|
*	fpdivu	David Monniaux	2021-12-17	5	-618/+44
\|
*	cleanup	David Monniaux	2021-12-17	1	-0/+613
\|
*	simplify proof	David Monniaux	2021-12-17	1	-3/+0
\|
*	simplify proof	David Monniaux	2021-12-17	1	-5/+3
\|
*	no more admitted	David Monniaux	2021-12-17	1	-6/+10
\|
*	reorganize proof	David Monniaux	2021-12-17	1	-1/+14
\|
*	reorganize proof	David Monniaux	2021-12-17	1	-89/+90
\|