aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update Makefile, dependencies, and Changelog after upgrade to Flocq 2.4.0.Xavier Leroy2014-10-091-0/+1
* Error instead of warning on illegal escape sequences.Xavier Leroy2014-09-211-0/+4
* Update changelog and version for 2.4xleroy2014-09-171-2/+2
* Cold feet: suppress builtins for load with reservation/store conditional, use...xleroy2014-08-281-2/+0
* Updatexleroy2014-08-281-1/+2
* Update for 2.4xleroy2014-08-271-23/+37
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-271-0/+6
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+2
* - Support "switch" statements over 64-bit integersxleroy2014-08-171-0/+6
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-0/+4
* Updated Changelogxleroy2014-07-281-0/+28
* Document commit r2507.xleroy2014-06-051-0/+3
* - Re-added support for "__func__" identifier as per ISO C99.xleroy2014-05-151-2/+8
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-081-0/+9
* Update for release 2.3.xleroy2014-05-051-0/+3
* Fused multiply-add for IA32.xleroy2014-05-051-4/+2
* ARM: honor common variables.xleroy2014-05-021-1/+3
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-0/+10
* Update with post-2.2 changesxleroy2014-04-231-0/+36
* Updates for release 2.2xleroy2014-02-211-2/+2
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-0/+2
* Update for 2.2, continuedxleroy2014-02-161-0/+2
generated by cgit (git 2.34.1) at 2024-06-02 17:11:38 +0000