Due to inactivity, this project is scheduled to be deleted on 2037-11-16.
Why is this scheduled?
Tags
Tags give the ability to mark specific points in history as being important
v3.5
72ba1c28
·
Update version number for 3.5
·
Feb 28, 2019
v3.4
eb7bd26e
·
Updates for release 3.4
·
Sep 17, 2018
v3.3
28b20aed
·
Update for release 3.3
·
May 30, 2018
v3.2
2b598161
·
Added type annotations for exported program. (#50)
·
Jan 15, 2018
v3.1
a78ec9a9
·
Update documentation index for release 3.1
·
Aug 18, 2017
v3.0.1
df145ebe
·
Release 3.0.1 here we come
·
Feb 14, 2017
v3.0
236d8a48
·
Release 3.0 here we come
·
Feb 10, 2017
v2.7.1
73c4de2d
·
Update Changelog for release 2.7.1
·
Jul 18, 2016
v2.6
7a855857
·
The return type of __builtin_clz() et al is "int", as documented and for GCC...
·
Dec 21, 2015
v2.5
0e9ededa
·
Update the years.
·
Jun 12, 2015
v2.4
4414aaa3
·
Trim blank lines
·
Sep 17, 2014
v2.3pl2
0528a4d9
·
Bump
·
May 15, 2014
v2.3
6019b688
·
Update Coq documentation
·
May 05, 2014
v2.2
d5205107
·
Update clightgen for CompCert 2.2.
·
Feb 23, 2014
v2.1
af17248c
·
MAJ release 2.1
·
Oct 28, 2013
v2.0
67976ff2
·
Version 2.00 -> version 2.0
·
Jun 21, 2013
v1.13
8bc231b1
·
Bind some local defs with Let, makes extracted code cleaner
·
Mar 12, 2013
v1.12.1
d2cf6277
·
Camlcoq.ml: bug in conversion Z to string
·
Jan 29, 2013
v1.12
34d58b78
·
Updated documentation
·
Jan 11, 2013
v1.11
07140213
·
Preparation for release 1.11
·
Jul 13, 2012
1
2
3