aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
Commit message (Expand)AuthorAgeFilesLines
* Second update for release 3.10Xavier Leroy2021-11-191-4/+6
* First update for release 3.10Xavier Leroy2021-11-161-0/+55
* Update the vendored Flocq library to version 3.4.2Xavier Leroy2021-09-251-0/+4
* Update Changelog for release 3.9Xavier Leroy2021-05-091-0/+3
* Update ChangelogXavier Leroy2021-05-081-1/+11
* Update ChangelogXavier Leroy2021-04-291-0/+53
* 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
generated by cgit (git 2.34.1) at 2024-04-27 06:36:14 +0000