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

	Commit message (Expand)	Author	Age	Files	Lines
*	Avoid `Global Set Asymmetric Patterns` (#408)	Xavier Leroy	2021-09-15	1	-0/+2
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-2/+2
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-2/+2
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-23/+23
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+3
*	Glasnost: making transparent a number of definitions that were opaque	xleroy	2013-03-10	1	-1/+1
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-1/+1
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-74/+102
*	Merging the Princeton implementation of the memory model. Separate axioms in...	xleroy	2010-06-28	1	-0/+1
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-4/+4
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+12
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-13/+51
*	Utilisation de Function	xleroy	2007-03-23	1	-51/+13
*	Fusion de la branche "traces":	xleroy	2006-09-04	1	-0/+293