index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
handcrafted.messages
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improved diagnostics: spelling, wording, etc (#138)
Michael Schmidt
2018-09-14
1
-1
/
+1
*
Remove the `_Alignas(expr)` construct (#125)
Xavier Leroy
2018-06-07
1
-559
/
+562
*
Resynchronize the LICENSE file and the license headers in individual files (#45)
Xavier Leroy
2018-01-05
1
-0
/
+3
*
Updated handcrafted.messages for __builtin_offsetof
Bernhard Schommer
2017-02-01
1
-753
/
+858
*
For uniformity with other messages, added an "Ill-formed expression.".
François Pottier
2015-11-24
1
-0
/
+1
*
Update of the auto-generated comments.
François Pottier
2015-11-24
1
-610
/
+611
*
A simplification in the grammar, leading to fewer states in the automaton
François Pottier
2015-11-24
1
-13
/
+1
*
Fix a typo in a syntax error message.
François Pottier
2015-11-23
1
-1
/
+1
*
Typo, coherence in error messages
Jacques-Henri Jourdan
2015-11-07
1
-4
/
+4
*
Integrate a few comments of F. Pottier into the pre_parser and handcrafted.me...
Jacques-Henri Jourdan
2015-11-07
1
-131
/
+99
*
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
1
-1876
/
+1406
*
Fixed some comments.
François Pottier
2015-10-28
1
-16
/
+16
*
Fixed one error message and removed two comments.
François Pottier
2015-10-26
1
-5
/
+1
*
Added copyright banners to the new files.
François Pottier
2015-10-23
1
-0
/
+12
*
Install the new system for reporting syntax errors.
François Pottier
2015-10-23
1
-0
/
+5162