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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Reverted changes in Cutil and catch in Cflow.
Bernhard Schommer
2017-02-16
2
-17
/
+5
*
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
5
-32
/
+290
|
\
|
*
Cflow: analysis of "switch" was too imprecise
Xavier Leroy
2017-02-07
1
-2
/
+3
|
*
Revised, more precise implementation of control-flow analysis
Xavier Leroy
2017-02-07
1
-48
/
+98
|
*
Control-flow analysis: wrong flow for "case"/"default" statements
Xavier Leroy
2017-02-07
1
-4
/
+6
|
*
More precise warnings about function returns
Xavier Leroy
2017-02-07
5
-32
/
+237
*
|
Replace "Implicit Arguments" with "Arguments"
Xavier Leroy
2017-02-13
2
-5
/
+5
*
|
Use Printf.sprintf instead of Format.sprintf when possible
Xavier Leroy
2017-02-09
1
-4
/
+4
*
|
Revert broken change to Cutil.
Bernhard Schommer
2017-02-08
3
-10
/
+10
|
/
*
Merge branch 'elaboration-of-attributes'
Xavier Leroy
2017-02-06
6
-42
/
+129
|
\
|
*
Preliminary support for the "noreturn" attribute
Xavier Leroy
2017-02-06
1
-11
/
+15
|
*
Refactor the classification of attributes
Xavier Leroy
2017-02-03
5
-23
/
+87
|
*
Use C99 syntax to print attributes over array types
Xavier Leroy
2017-02-01
1
-4
/
+5
|
*
Regression: type attributes and array modifiers
Xavier Leroy
2017-02-01
1
-2
/
+4
|
*
Revised elaboration of attributes
Xavier Leroy
2017-01-31
4
-17
/
+34
*
|
Removed shadowing open
Bernhard Schommer
2017-02-06
1
-5
/
+5
*
|
Remove shadowing open
Bernhard Schommer
2017-02-06
1
-1
/
+1
*
|
Remove unused open.
Bernhard Schommer
2017-02-06
1
-1
/
+0
*
|
Cleanup opens.
Bernhard Schommer
2017-02-06
1
-9
/
+8
*
|
Generalized function to allow adding hex strings.
Bernhard Schommer
2017-02-06
2
-4
/
+8
*
|
Remove all overriding opens in Elab.ml. Bug 19872
Bernhard Schommer
2017-02-03
1
-2
/
+2
*
|
Removed Cabshelper open and avoided shadowing.
Bernhard Schommer
2017-02-03
1
-7
/
+6
*
|
Remove unused opens.
Bernhard Schommer
2017-02-03
1
-32
/
+28
*
|
Removed no longer working check.
Bernhard Schommer
2017-02-03
1
-14
/
+4
*
|
Updated handcrafted.messages for __builtin_offsetof
Bernhard Schommer
2017-02-01
1
-753
/
+858
*
|
Change the syntax to gcc/clangs syntax.
Bernhard Schommer
2017-02-01
2
-3
/
+6
*
|
Merge pull request #159 from AbsInt/builtin_offsetof
Xavier Leroy
2017-02-01
7
-2
/
+72
|
\
\
|
|
/
|
/
|
|
*
Avoid overflows and report an error.
Bernhard Schommer
2017-01-31
2
-7
/
+10
|
*
Normalize offset to size_t kind.
Bernhard Schommer
2017-01-31
1
-2
/
+4
|
*
Remove superfluous check.
Bernhard Schommer
2017-01-31
1
-7
/
+4
|
*
Improve indentation.
Bernhard Schommer
2017-01-31
1
-1
/
+1
|
*
Remove blank lines.
Bernhard Schommer
2017-01-31
1
-2
/
+0
|
*
New version to support designators.
Bernhard Schommer
2017-01-24
7
-21
/
+45
|
*
Simplified version.
Bernhard Schommer
2017-01-20
2
-43
/
+26
|
*
Also support union. Bug 20765
Bernhard Schommer
2017-01-20
1
-3
/
+4
|
*
Implement offsetof via builtin.
Bernhard Schommer
2017-01-20
7
-2
/
+64
*
|
Typo in type of elab_char_constant
Xavier Leroy
2017-01-31
1
-1
/
+1
*
|
Export elab_{int,float,char}_constant
Xavier Leroy
2017-01-31
1
-0
/
+9
*
|
Added support for different diagnostic formats.
Bernhard Schommer
2017-01-30
1
-2
/
+25
*
|
Switch case for error option. Bug 19872
Bernhard Schommer
2017-01-30
1
-2
/
+2
*
|
Added -f(no-)diagnostics-show-option.
Bernhard Schommer
2017-01-27
1
-6
/
+20
*
|
Added option -fmax-errors.
Bernhard Schommer
2017-01-26
1
-3
/
+14
*
|
Added -w to disable all options. Bug 19872
Bernhard Schommer
2017-01-26
1
-1
/
+6
|
/
*
Improve wording of normal backtrace case Bug 19872
Bernhard Schommer
2017-01-19
1
-1
/
+3
*
Use quoted strings.
Bernhard Schommer
2017-01-18
1
-11
/
+12
*
More comments and improvements for unknown loc.
Bernhard Schommer
2017-01-18
2
-1
/
+27
*
Remove duplaceted relese. Bug 20681
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Added missing whitespace. Bug 19872
Bernhard Schommer
2017-01-17
1
-1
/
+1
*
Safe the backtrace earlier. Bug 20681
Bernhard Schommer
2017-01-17
1
-12
/
+13
[next]