Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |