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

	Commit message (Collapse)	Author	Age	Files	Lines
*	CSE3 compiles again, but some admitted lemmas	David Monniaux	2020-12-09	1	-10/+8
\|
*	CSE3 now runs on its own fixpoint iterator not based on Kildall.v	David Monniaux	2020-12-08	1	-114/+1
\|
*	start checking for bugs	David Monniaux	2020-12-02	1	-2/+115
\|
*	attempt at initial analysis	David Monniaux	2020-12-02	1	-1/+35
\|
*	not yet the transfer functions that record predicates	David Monniaux	2020-11-26	1	-1/+1
\|
*	is_condition_present_sound	David Monniaux	2020-11-26	1	-4/+1
\|
*	begin implementing cond table	David Monniaux	2020-11-26	1	-6/+13
\|
*	ajouté Cond, tout passe	David Monniaux	2020-11-26	1	-9/+25
\|
*	passage à Equ	David Monniaux	2020-11-26	1	-22/+35
\|
*	two lemmas admitted	David Monniaux	2020-11-25	1	-0/+4
\|
*	do not print "refining" unless asked	David Monniaux	2020-11-04	1	-1/+2
\|
*	do not print "updates" to nodes	David Monniaux	2020-11-04	1	-1/+2
\|
*	refining CSE3 nodes	David Monniaux	2020-10-31	1	-14/+81
\|
*	new CSE3	David Monniaux	2020-10-27	1	-11/+46
\|
*	a bit of progress	David Monniaux	2020-10-14	1	-0/+4
\|
*	Adding copyrights	Cyril SIX	2020-05-04	1	-0/+12
\|
*	make tracing output optional	David Monniaux	2020-04-23	1	-6/+9
\|
*	fix in CSE3 move propagation	David Monniaux	2020-04-23	1	-9/+30
\|
*	CSE3analysisaux: pp_rhs	David Monniaux	2020-04-23	1	-0/+9
\|
*	removed second analysis phase	David Monniaux	2020-03-12	1	-6/+9
\|
*	typing and store stuff	David Monniaux	2020-03-12	1	-2/+2
\|
*	fix in catalog handling	David Monniaux	2020-03-11	1	-1/+7
\|
*	-fcse3 command line option	David Monniaux	2020-03-10	1	-4/+4
\|
*	printing created hashes	David Monniaux	2020-03-10	1	-2/+54
\|
*	starts compiling but still fake	David Monniaux	2020-03-10	1	-0/+36