compcert version history (formula)
compcert
formula removed 20 versions
since Feb 2014
~129 days between updates
| Version | Updated | Commit |
|---|---|---|
| 3.7 | 2020-04-09 | ec5d12cd5 |
| 3.6 | 2019-09-20 | dc7d74f9e |
| 3.5 | 2019-03-22 | adf0a34b5 |
| 3.4 | 2018-09-05 | 2e0db822d |
| 3.3 | 2018-05-31 | 641a26d9d |
| 3.2 | 2018-01-16 | 98f7f6b6e |
| 3.1 | 2017-08-27 | b5b745ec5 |
| 3.0.1 | 2017-07-16 | 80bd4e957 |
| 3.0.1 | 2017-06-24 | fdfefc3b2 |
| 3.0.1 | 2017-03-22 | 6abd0e096 |
| 3.0.1 | 2017-03-21 | 7ed9f9e4d |
| 3.0 | 2017-02-20 | 2f4163bdf |
| 2.7.1 | 2016-12-30 | b8e8f38ba |
| 2.7.1 | 2016-07-20 | 9910501e8 |
| 2.7 | 2016-07-02 | 6843a3047 |
| 2.6 | 2016-02-24 | 6c8ab62f4 |
| 2.5 | 2015-08-12 | 764cf8881 |
| 2.4 | 2014-10-11 | 04a99fb57 |
| 2.3pl2 | 2014-05-26 | 560982588 |
| 2.1 | 2014-02-13 | 2864b15b9 |