aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2018-09-14 13:55:02 +0200
committerXavier Leroy <xavierleroy@users.noreply.github.com>2018-09-14 13:55:02 +0200
commitb55fa30ad44a647aca8ae8786da2d4cc1a881cd8 (patch)
tree9e6c5c59c18d7e4dc83ae123b9e568c63cc40f88 /Changelog
parent4927777d089c56001098781f8923dd4292b148ad (diff)
downloadcompcert-kvx-b55fa30ad44a647aca8ae8786da2d4cc1a881cd8.tar.gz
compcert-kvx-b55fa30ad44a647aca8ae8786da2d4cc1a881cd8.zip
Improved diagnostics: spelling, wording, etc (#138)
* bug 24268: avoid assertion after reporting error for invalid call to builtin_debug * bug 24268, remove duplicated warning tag in lexer messages * bug 24268, fix spelling in array element designator message * bug 24268, unify 'consider adding option ...' messages * bug 24268, add spacing for icbi operands * bug 24268, uniform use of Ignored_attributes class for identical warnings * bug 24268, unify message for 'assignment to const type' to error from error/fatal error * bug 24268, in handcrafted.messages, "a xxx have been recognized" -> "a xxx has been recognized"
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions