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

	Commit message (Expand)	Author	Age	Files	Lines
*	more parameterization	David Monniaux	2021-07-16	1	-2/+0
*	make operations cse3 parametric	David Monniaux	2021-07-16	1	-3/+7
*	make trivial ops parametric	David Monniaux	2021-07-16	1	-4/+5
*	make conditions a parameter in CSE3	David Monniaux	2021-07-16	1	-0/+7
*	rename parameterized versions	David Monniaux	2021-07-16	1	-7/+7
*	make CSE3 condition parametric	David Monniaux	2021-07-16	1	-1/+11
*	Conditions now propagated by CSE3	David Monniaux	2021-01-20	1	-1/+26
\|\
\| *	totally switch off conditions in cse3	David Monniaux	2020-12-09	1	-16/+19
\| *	not yet the transfer functions that record predicates	David Monniaux	2020-11-26	1	-1/+23
* \|	-fcse3-trivial-ops	David Monniaux	2021-01-07	1	-1/+2
\|/
*	reinstated old version	David Monniaux	2020-10-30	1	-1/+1
*	CSE3 trivial_ops flag	David Monniaux	2020-10-29	1	-1/+1
*	Adding copyrights	Cyril SIX	2020-05-04	1	-0/+12
*	forward moves through CSE3 store	David Monniaux	2020-04-21	1	-1/+1
*	fix Icond now has a extra argument	David Monniaux	2020-04-08	1	-2/+2
*	CSE3 alias analysis	David Monniaux	2020-03-14	1	-1/+1
*	proof sketch for CSE3 steps	David Monniaux	2020-03-12	1	-1/+8
*	CSE3 analysis	David Monniaux	2020-03-12	1	-1/+1
*	inductiveness test in CSE3	David Monniaux	2020-03-12	1	-2/+5
*	removed second analysis phase	David Monniaux	2020-03-12	1	-23/+10
*	typing and store stuff	David Monniaux	2020-03-12	1	-16/+18
*	CSE3 ready to run?	David Monniaux	2020-03-11	1	-2/+69
*	progress on CSE3	David Monniaux	2020-03-10	1	-2/+2
*	starts compiling but still fake	David Monniaux	2020-03-10	1	-0/+27
*	just the analysis	David Monniaux	2020-03-05	1	-78/+0
*	more about extraction and linking	David Monniaux	2020-03-05	1	-0/+2
*	begin CSE3	David Monniaux	2020-03-05	1	-0/+76