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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding copyrights	Cyril SIX	2020-05-04	1	-0/+12
\|
*	Adding info field for branching in RTL, LTL, XTL and all associated passes	Cyril SIX	2020-03-11	1	-3/+3
\|
*	fix move	David Monniaux	2020-01-09	1	-2/+2
\|
*	we still have issues with call stacks	David Monniaux	2020-01-09	1	-3/+3
\|
*	moving forward with proofs	David Monniaux	2020-01-09	1	-4/+5
\|
*	fix bug and forward in proofs	David Monniaux	2020-01-09	1	-1/+2
\|
*	fix bug in xfer function	David Monniaux	2020-01-09	1	-1/+2
\|
*	progressing in proofs	David Monniaux	2020-01-08	1	-0/+2
\|
*	correct semantics for bottom	David Monniaux	2020-01-08	1	-5/+7
\|
*	progressing towards a proof	David Monniaux	2020-01-08	1	-34/+37
\|
*	I think the transformation is now done	David Monniaux	2020-01-08	1	-2/+57
\|
*	transfer function	David Monniaux	2020-01-08	1	-1/+44
\|
*	more on semilattices (ADD_BOTTOM)	David Monniaux	2020-01-08	1	-4/+114
\|
*	continue implementing semilattice	David Monniaux	2020-01-08	1	-7/+65
\|
*	begin lattice	David Monniaux	2020-01-08	1	-0/+57