index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
VERSION
Commit message (
Expand
)
Author
Age
Files
Lines
*
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 come
v3.0.1
Xavier Leroy
2017-02-14
1
-1
/
+1
*
Release 3.0 here we come
v3.0
Xavier Leroy
2017-02-10
1
-1
/
+1
*
Port to Coq 8.5pl2
Xavier Leroy
2016-07-08
1
-1
/
+1
*
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 separate...
Bernhard Schommer
2015-07-01
1
-1
/
+3
*
Trim blank lines
v2.4
xleroy
2014-09-17
1
-2
/
+0
*
Update changelog and version for 2.4
xleroy
2014-09-17
1
-1
/
+2
*
Bump
v2.3pl2
xleroy
2014-05-15
1
-1
/
+2
*
Bump
xleroy
2014-05-09
1
-1
/
+1
*
Update for release 2.3.
xleroy
2014-05-05
1
-2
/
+0
*
Bump version number before I forget
xleroy
2014-05-01
1
-1
/
+1
*
Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.
xleroy
2013-12-15
1
-2
/
+1
*
Version 2.00 -> version 2.0
v2.0
xleroy
2013-06-21
1
-1
/
+1
*
Update version number
xleroy
2013-06-16
1
-1
/
+2
*
Updated for version 1.13
xleroy
2013-03-11
1
-1
/
+2
*
Support for indirect symbols under MacOS X (final).
xleroy
2012-07-14
1
-1
/
+2
*
A file with the version number
xleroy
2012-03-28
1
-0
/
+1