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

	Commit message (Collapse)	Author	Age	Files	Lines
*	First update for release 3.10	Xavier Leroy	2021-11-16	1	-1/+1
\|
*	Update for release 3.9	Xavier Leroy	2021-05-10	1	-1/+1
\|
*	Updates for release 3.8v3.8	Xavier Leroy	2020-11-16	1	-1/+1
\|
*	Introduce additional "branch" build information.	Bernhard Schommer	2020-07-08	1	-0/+1
\|
*	Updates for release 3.7v3.7	Xavier Leroy	2020-03-31	1	-1/+1
\|
*	Updates in preparation for release 3.6	Xavier Leroy	2019-09-16	1	-1/+1
\|
*	Update version number for 3.5v3.5	Xavier Leroy	2019-02-28	1	-1/+1
\|
*	Update version and change log in preparation for public release 3.4	Xavier Leroy	2018-09-12	1	-1/+1
\|
*	Updates for public release 3.3	Xavier Leroy	2018-05-30	1	-1/+1
\|
*	Bump to version 3.2	Xavier Leroy	2018-01-13	1	-1/+1
\|
*	Update version to 3.1	Michael Schmidt	2017-09-21	1	-1/+1
\|
*	Release 3.0.1 here we comev3.0.1	Xavier Leroy	2017-02-14	1	-1/+1
\|
*	Release 3.0 here we comev3.0	Xavier Leroy	2017-02-10	1	-1/+1
\|
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-1/+1
\| \| \| \| \|	Manual merging of branch jhjourdan:coq8.5. No other change un functionality.
*	Update VERSION for release 2.6	Xavier Leroy	2015-12-19	1	-2/+2
\|
*	Removed the version from the compcert.ini file and add it again in a ↵	Bernhard Schommer	2015-07-01	1	-1/+3
\| \| \| \|	separate file.
*	Trim blank linesv2.4	xleroy	2014-09-17	1	-2/+0
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2625 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update changelog and version for 2.4	xleroy	2014-09-17	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2624 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bumpv2.3pl2	xleroy	2014-05-15	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2494 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bump	xleroy	2014-05-09	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2489 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update for release 2.3.	xleroy	2014-05-05	1	-2/+0
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2482 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bump version number before I forget	xleroy	2014-05-01	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2470 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.	xleroy	2013-12-15	1	-2/+1
\| \| \| \| \| \| \|	VERSION: bump version number. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2379 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Version 2.00 -> version 2.0v2.0	xleroy	2013-06-21	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update version number	xleroy	2013-06-16	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2278 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated for version 1.13	xleroy	2013-03-11	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2143 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14	1	-1/+2
\| \| \| \| \| \| \|	Remove stdio hack in runtime/ git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1979 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	A file with the version number	xleroy	2012-03-28	1	-0/+1
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1857 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e