aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
Commit message (Expand)AuthorAgeFilesLines
* Updates for release 3.8v3.8Xavier Leroy2020-11-161-0/+3
* Support Coq 8.12.1Xavier Leroy2020-11-141-1/+1
* Update ChangesXavier Leroy2020-11-081-0/+48
* Updates for release 3.7Xavier Leroy2020-03-311-0/+3
* Update ChangelogXavier Leroy2020-03-311-3/+34
* Support Coq 8.11.0 (#212)Xavier Leroy2020-02-051-0/+4
* Updates in preparation for release 3.6Xavier Leroy2019-09-161-0/+62
* Update Changelog in preparation for release 3.5Xavier Leroy2019-02-261-1/+1
* Update Changelog in preparation for release 3.5Xavier Leroy2019-02-251-0/+35
* Updates for release 3.4v3.4Xavier Leroy2018-09-171-1/+1
* Update change log for 3.4, continuedXavier Leroy2018-09-141-2/+5
* Typo in OCaml version numberXavier Leroy2018-09-121-1/+1
* Update version and change log in preparation for public release 3.4Xavier Leroy2018-09-121-0/+62
* Changelog: minor updates for 3.3Xavier Leroy2018-05-301-7/+4
* Mention optional installation of .vo filesXavier Leroy2018-05-301-0/+3
* Updates for public release 3.3Xavier Leroy2018-05-301-0/+72
* Preparations for release 3.2Xavier Leroy2018-01-131-2/+5
* Update Changelog with recent changesXavier Leroy2018-01-111-1/+13
* Coq 8.7.1 supportXavier Leroy2017-12-181-2/+3
* Issue #208: make value analysis of comparisons more conservative w.r.t. point...Xavier Leroy2017-11-241-0/+3
* Pull request #192: improve the printing of Clight intermediate codeXavier Leroy2017-11-221-0/+2
* Coq 8.7.0 supportXavier Leroy2017-10-201-0/+5
* Resurrect the Cygwin x86-32 portXavier Leroy2017-09-111-0/+3
* ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudoXavier Leroy2017-08-221-0/+4
* Issue P #25: make sure sizeof(long double) = sizeof(double) in all contexts.Xavier Leroy2017-08-221-0/+3
* Update Changelog in preparation for release 3.1Xavier Leroy2017-08-181-2/+8
* Issue #196: excessive proof-checking times in .v files generated by clightgenXavier Leroy2017-08-151-0/+1
* Update Changelog with news since release 3.0.1Xavier Leroy2017-07-271-4/+29
* Issue #16P: wrong rlwinm instruction generated by constant propagationXavier Leroy2017-07-051-2/+4
* Update Changelog for clightgenXavier Leroy2017-06-121-0/+1
* Update Changelog with recent changesXavier Leroy2017-04-281-1/+7
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+2
* Issue #179: clightgen produces wrong abstract syntax for "switch" statementsXavier Leroy2017-04-281-0/+3
* Remove tests involving Cminor concrete syntax. Update ChangelogXavier Leroy2017-02-151-0/+3
* Release 3.0.1 here we comev3.0.1Xavier Leroy2017-02-141-0/+6
* Release 3.0 here we comev3.0Xavier Leroy2017-02-101-1/+2
* Changelog update concerning attribute handlingXavier Leroy2017-02-071-0/+7
* Update Changes for release 3.0Xavier Leroy2017-01-311-2/+39
* Documentation updates to mention 64-bit mode and x86_64 portXavier Leroy2016-10-271-2/+24
* Update Changelog for release 2.7.1v2.7.1Xavier Leroy2016-07-181-2/+8
* Port to Coq 8.5pl2Xavier Leroy2016-07-081-0/+6
* Changelog update: mention -g for ARM and IA32Xavier Leroy2016-06-301-0/+4
* Update in preparation for release 2.7Xavier Leroy2016-06-221-0/+46
* The return type of __builtin_clz() et al is "int", as documented and for GCC ...v2.6Xavier Leroy2015-12-211-0/+2
* Update Changelog for release 2.6.Xavier Leroy2015-12-191-0/+49
* More updates for release 2.5.Xavier Leroy2015-06-111-4/+5
* Update for release 2.5.Xavier Leroy2015-06-111-6/+11
* Update Changelog for release 2.5.Xavier Leroy2015-06-051-4/+79
* No longer include a pre-generated Parser.v in the distribution.Xavier Leroy2014-12-181-0/+5
* cchecklink: added option "-files-from" to read .sdump file namesXavier Leroy2014-11-151-1/+2
generated by cgit (git 2.34.1) at 2024-06-01 11:06:37 +0000