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
/
Cutil.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Various improvements for diagnostics.
Bernhard Schommer
2019-09-30
1
-0
/
+6
*
Compatibility with OCaml 4.08 (#302)
Xavier Leroy
2019-07-08
1
-1
/
+1
*
Added helper function for array types.
Bernhard Schommer
2019-07-04
1
-0
/
+5
*
Fix misspellings in messages, man pages, and comments
Xavier Leroy
2019-05-31
1
-1
/
+1
*
Reject object-related and struct-related attributes on typedefs
Xavier Leroy
2019-02-25
1
-0
/
+9
*
Distinguish object-related and name-related attributes
Xavier Leroy
2019-02-25
1
-2
/
+5
*
Do not expand type names when floating attributes "up" a declaration
Xavier Leroy
2019-02-25
1
-1
/
+21
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
1
-3
/
+4
*
Add check for _Alignas attribute.
Bernhard Schommer
2018-08-24
1
-0
/
+4
*
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
1
-0
/
+2
*
Diagnostic for wrong application of restrict (#119)
Bernhard Schommer
2018-08-21
1
-0
/
+5
*
Improve support and diagnostic for type qualified arrays (#118)
Bernhard Schommer
2018-08-20
1
-1
/
+10
*
Additional checks for flex arrays in structs (#93)
Bernhard Schommer
2018-08-20
1
-0
/
+11
*
Issue with packed structs and sizeof, alignof, offsetof in cparser/
Xavier Leroy
2018-08-17
1
-48
/
+83
*
String literals are l-values and have array types (#116)
Bernhard Schommer
2018-05-27
1
-2
/
+8
*
Harden attributes_of_types against out-of-scope structs/unions/enums
Xavier Leroy
2018-05-07
1
-3
/
+12
*
Reject casts to struct/union types (#68)
Bernhard Schommer
2018-03-29
1
-3
/
+0
*
Sizeof and _Alignof are not allowed on bit-fields (#67)
Bernhard Schommer
2018-03-27
1
-0
/
+10
*
Reactivated and improved ais annotations.
Bernhard Schommer
2018-03-06
1
-0
/
+10
*
Refactor the handling of errors and warnings (#44)
Bernhard Schommer
2018-02-08
1
-1
/
+1
*
Check recursively for const for modifiable lvalues (#32)
Bernhard Schommer
2017-10-17
1
-2
/
+15
*
Added check for large arrays.
Bernhard Schommer
2017-02-21
1
-0
/
+11
*
Added handling for noreturn std functions.
Bernhard Schommer
2017-02-16
1
-0
/
+4
*
Reverted changes in Cutil and catch in Cflow.
Bernhard Schommer
2017-02-16
1
-17
/
+4
*
Fixed problem with local structs/unions in Cflow.
Bernhard Schommer
2017-02-16
1
-4
/
+17
*
Merge pull request #162 from AbsInt/return-analysis-2
Xavier Leroy
2017-02-15
1
-21
/
+0
|
\
|
*
More precise warnings about function returns
Xavier Leroy
2017-02-07
1
-21
/
+0
*
|
Revert broken change to Cutil.
Bernhard Schommer
2017-02-08
1
-6
/
+2
|
/
*
Merge branch 'elaboration-of-attributes'
Xavier Leroy
2017-02-06
1
-6
/
+32
|
\
|
*
Refactor the classification of attributes
Xavier Leroy
2017-02-03
1
-12
/
+32
|
*
Revised elaboration of attributes
Xavier Leroy
2017-01-31
1
-0
/
+6
*
|
Generalized function to allow adding hex strings.
Bernhard Schommer
2017-02-06
1
-2
/
+6
*
|
Improve indentation.
Bernhard Schommer
2017-01-31
1
-1
/
+1
*
|
New version to support designators.
Bernhard Schommer
2017-01-24
1
-8
/
+5
*
|
Simplified version.
Bernhard Schommer
2017-01-20
1
-33
/
+18
*
|
Implement offsetof via builtin.
Bernhard Schommer
2017-01-20
1
-0
/
+37
|
/
*
Next try for support of anonymous structs.
Bernhard Schommer
2016-12-07
1
-4
/
+5
*
Warning for decls without name in composites.
Bernhard Schommer
2016-11-22
1
-0
/
+5
*
Simplified int to pointer tests.
Bernhard Schommer
2016-09-01
1
-1
/
+2
*
Updated comment string. Bug 18004.
Bernhard Schommer
2016-08-31
1
-1
/
+1
*
Merge branch 'master' into advanced-diagnostics
Bernhard Schommer
2016-08-29
1
-2
/
+3
|
\
|
*
Fix for initialization of incomplete types
Bernhard Schommer
2016-08-23
1
-2
/
+3
*
|
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
1
-5
/
+13
|
/
*
Added the _Noreturn keyword.
Bernhard Schommer
2016-03-23
1
-0
/
+21
*
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
1
-28
/
+28
*
Code cleanup.
Bernhard Schommer
2016-03-10
1
-32
/
+31
*
Fixed typo in equal types.
Bernhard Schommer
2016-03-10
1
-1
/
+1
*
Make void always incomplete and exit on void members.
Bernhard Schommer
2016-02-02
1
-1
/
+6
*
Allow adding of attributes in valid_assignment_attr.
Bernhard Schommer
2016-01-28
1
-2
/
+2
[next]