index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
VERSION
Commit message (
Expand
)
Author
Age
Files
Lines
*
Updates for release 3.7
v3.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.5
v3.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 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