index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
Commit message (
Expand
)
Author
Age
Files
Lines
*
__builtin_bswap16, 32 and 64
Cyril SIX
2019-09-20
1
-1
/
+1
*
Fixing machine description (error in wchar signedness + trying different valu...
Cyril SIX
2019-09-19
1
-5
/
+32
*
Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...
David Monniaux
2019-07-19
35
-3830
/
+846
|
\
|
*
Make __builtin_sel available from C source code
Xavier Leroy
2019-07-17
1
-0
/
+36
|
*
Remove the cparser/Builtins module
Xavier Leroy
2019-07-17
12
-87
/
+62
|
*
Change condition for warning of conditional expr
Bernhard Schommer
2019-07-10
1
-1
/
+1
|
*
Compatibility with OCaml 4.08 (#302)
Xavier Leroy
2019-07-08
1
-1
/
+1
|
*
New parser based on new version of the Coq backend of Menhir (#276)
Jacques-Henri Jourdan
2019-07-05
19
-3635
/
+472
|
*
Deref is not safe.
Bernhard Schommer
2019-07-04
1
-1
/
+1
|
*
Added new diagnostic for non-linear conditionals
Bernhard Schommer
2019-07-04
6
-1
/
+179
|
*
Added helper function for array types.
Bernhard Schommer
2019-07-04
2
-0
/
+7
|
*
Added statement traversal functions.
Bernhard Schommer
2019-07-04
1
-107
/
+90
*
|
Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work
David Monniaux
2019-06-06
1
-3
/
+5
|
\
|
|
*
New additional check for void parameters. (#174)
Bernhard Schommer
2019-06-03
1
-3
/
+5
*
|
Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...
David Monniaux
2019-06-03
7
-208
/
+229
|
\
|
|
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
5
-9
/
+9
|
*
Add a check for the args of unprototyped calls.
Bernhard Schommer
2019-05-20
1
-3
/
+8
|
*
Reworked elaboration of declarations/definitions.
Bernhard Schommer
2019-05-10
1
-140
/
+138
|
*
Change to AbsInt version string.
Bernhard Schommer
2019-05-10
1
-1
/
+1
|
*
Check for reserved keywords.
Bernhard Schommer
2019-05-10
1
-1
/
+8
|
*
Fix various scoping issues (#163)
Bernhard Schommer
2019-05-10
1
-51
/
+56
|
*
Ensure flushing of the error formatter.
Bernhard Schommer
2019-05-10
1
-0
/
+4
|
*
Reset scope ids later.
Bernhard Schommer
2019-04-16
1
-1
/
+1
|
*
Improve overflow check for integer literals (#157)
Michael Schmidt
2019-03-20
1
-2
/
+4
*
|
Merge branch 'master' into mppa_postpass
Cyril SIX
2019-03-13
5
-27
/
+88
|
\
|
|
*
Revised attachment of name attributes to structs, unions, enums
Xavier Leroy
2019-02-25
1
-6
/
+21
|
*
Reject object-related and struct-related attributes on typedefs
Xavier Leroy
2019-02-25
4
-8
/
+19
|
*
Distinguish object-related and name-related attributes
Xavier Leroy
2019-02-25
3
-11
/
+21
|
*
Do not expand type names when floating attributes "up" a declaration
Xavier Leroy
2019-02-25
3
-2
/
+24
|
*
Fix fixme in PackedStructs.
Bernhard Schommer
2018-11-20
1
-4
/
+4
|
*
Catch exception from elab_attr_arg.
Bernhard Schommer
2018-10-18
1
-1
/
+4
*
|
long types are 8 bytes now
Cyril SIX
2019-01-30
1
-0
/
+1
*
|
Merge tag 'v3.4' into mppa_k1c
Cyril SIX
2018-11-21
38
-1019
/
+1647
|
\
|
|
*
Improved diagnostics: spelling, wording, etc (#138)
Michael Schmidt
2018-09-14
3
-6
/
+6
|
*
Fatal error instead of error for bit-fields.
Bernhard Schommer
2018-09-12
1
-1
/
+1
|
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
3
-12
/
+16
|
*
Typo in comment
Xavier Leroy
2018-09-03
1
-1
/
+1
|
*
Move parameter check.
Bernhard Schommer
2018-09-03
1
-2
/
+6
|
*
New diagnostic for reduced alignment (#117)
Bernhard Schommer
2018-08-29
3
-3
/
+38
|
*
Edit documentation comments for [alignas_attribute] and [has_std_alignas]
Xavier Leroy
2018-08-24
1
-2
/
+3
|
*
More standard compliant handling of _Alignas.
Bernhard Schommer
2018-08-24
1
-0
/
+11
|
*
Add check for _Alignas attribute.
Bernhard Schommer
2018-08-24
2
-0
/
+6
|
*
Reimplement attr_array_applicable in terms of class_of_attribute
Xavier Leroy
2018-08-24
1
-3
/
+2
|
*
Preserve attribute(("aligned")) in the AST, don't map it to _Alignas
Xavier Leroy
2018-08-24
2
-2
/
+3
|
*
Diagnostic for wrong application of restrict (#119)
Bernhard Schommer
2018-08-21
3
-7
/
+33
|
*
Improve support and diagnostic for type qualified arrays (#118)
Bernhard Schommer
2018-08-20
3
-1
/
+18
|
*
Added warning for incomplete tentative static defs (#114)
Bernhard Schommer
2018-08-20
3
-4
/
+11
|
*
Additional checks for flex arrays in structs (#93)
Bernhard Schommer
2018-08-20
5
-5
/
+30
|
*
Add sizeof_reg and new Machine configurations (#129)
Bernhard Schommer
2018-08-20
3
-1
/
+19
|
*
Turn error into fatal error for unnamed parameter.
Bernhard Schommer
2018-08-20
1
-2
/
+4
[next]