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
/
Cutil.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
*
Enum is compatible to its integer type.
Bernhard Schommer
2015-12-17
1
-0
/
+3
*
Remove debug stmts during grouping of switch.
Bernhard Schommer
2015-11-06
1
-4
/
+12
*
bug 17392: remove trailing whitespace in source files
Michael Schmidt
2015-10-14
1
-19
/
+19
*
Move strip functions to Cutil.
Bernhard Schommer
2015-10-12
1
-0
/
+42
*
Allow redefinition of a typedef with the same name.
Bernhard Schommer
2015-10-04
1
-0
/
+36
*
Move more functionality in the new interface.
Bernhard Schommer
2015-09-16
1
-1
/
+20
*
Diab defines w_char to be unsigned short.
Bernhard Schommer
2015-07-07
1
-1
/
+2
*
Detect and reject "&" operator applied to "register" local variable or to a b...
Xavier Leroy
2015-04-28
1
-0
/
+13
*
Extended inline asm: handle missing cases.
Xavier Leroy
2015-04-28
1
-2
/
+8
*
"ecomma" smart constructor: reassociate to the left so that it prints more ni...
Xavier Leroy
2015-03-20
1
-2
/
+8
*
ABI compatibility for struct/union function arguments passed by value.
Xavier Leroy
2015-01-27
1
-0
/
+70
*
Delay reads from !Machine.config before it is properly initialized.
Xavier Leroy
2015-01-22
1
-20
/
+12
*
Revised type compatibility check w.r.t. handling of attributes.
Xavier Leroy
2015-01-01
1
-35
/
+61
*
PR#6: fix handling of wchar_t and assignments from wide string literals.
Xavier Leroy
2014-12-30
1
-3
/
+15
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
1
-0
/
+1
*
Clean-up pass on C types:
xleroy
2014-04-23
1
-5
/
+15
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
1
-0
/
+28
*
Elab.ml: more warnings.
xleroy
2013-12-30
1
-2
/
+7
*
Simpler, more robust emulation of calls to variadic functions:
xleroy
2013-12-28
1
-1
/
+1
*
Bring sizeof and alignof in sync with cfrontend/Ctypes.
xleroy
2013-12-11
1
-22
/
+18
[next]