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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2018-05-30
2
-16
/
+16
|
\
|
*
Update for release 3.3
v3.3
Xavier Leroy
2018-05-30
1
-1
/
+1
|
*
coq2html: use OCaml's alternate string literals for multi-line strings
Xavier Leroy
2018-05-30
1
-15
/
+15
*
|
Fix 23806
Bernhard Schommer
2018-05-30
0
-0
/
+0
|
/
*
Changelog: minor updates for 3.3
Xavier Leroy
2018-05-30
1
-7
/
+4
*
Mention optional installation of .vo files
Xavier Leroy
2018-05-30
1
-0
/
+3
*
Install Coq development (.vo files) if requested (#232)
Xavier Leroy
2018-05-30
2
-4
/
+36
*
Updates for public release 3.3
Xavier Leroy
2018-05-30
2
-1
/
+73
*
Simplify module Complements and add separate compilation (#121)
Xavier Leroy
2018-05-29
1
-74
/
+172
*
Allow align attribute of zero. (#120)
Bernhard Schommer
2018-05-29
1
-2
/
+2
*
Removed duplicated whitespace. Bug 23660
Bernhard Schommer
2018-05-29
1
-1
/
+1
*
String literals are l-values and have array types (#116)
Bernhard Schommer
2018-05-27
4
-23
/
+21
*
Preserve storage class for functions declared within a block
Xavier Leroy
2018-05-26
1
-7
/
+10
*
Warning for extern declaration after definition.
Bernhard Schommer
2018-05-26
3
-1
/
+11
*
Reject "e1, e2" as a compile-time constant expression
Xavier Leroy
2018-05-24
1
-5
/
+5
*
Define the C11 type max_align_t (#115)
Bernhard Schommer
2018-05-24
1
-0
/
+9
*
Bug 23348
Bernhard Schommer
2018-05-08
0
-0
/
+0
*
Harden attributes_of_types against out-of-scope structs/unions/enums
Xavier Leroy
2018-05-07
1
-3
/
+12
*
Revised elaboration of function definitions, part 2
Xavier Leroy
2018-05-07
1
-65
/
+143
*
Revised elaboration of function definitions, part 1
Xavier Leroy
2018-05-07
1
-36
/
+40
*
Added a diagnostic for attributes dec after def
Bernhard Schommer
2018-05-07
3
-3
/
+19
*
Warning for comparison of incomplete pointers.
Bernhard Schommer
2018-05-07
1
-0
/
+4
*
Check that variables declared in 'for' loops are local variables (#104)
Bernhard Schommer
2018-05-04
1
-11
/
+11
*
Reject empty declarations in K&R functions. (#107)
Bernhard Schommer
2018-05-04
1
-0
/
+2
*
Reject arrays of incomplete type (#90)
Bernhard Schommer
2018-05-02
1
-0
/
+2
*
Add missing tab character, bug 23541
Michael Schmidt
2018-05-02
1
-1
/
+1
*
Add new powerpc builtins.
Michael Schmidt
2018-04-27
5
-4
/
+44
*
Bug 23322
Bernhard Schommer
2018-04-27
0
-0
/
+0
*
Also check statement of label statement.
Bernhard Schommer
2018-04-27
1
-1
/
+2
*
Detect duplicate 'case' or 'default' statements within a 'switch'
Xavier Leroy
2018-04-27
1
-0
/
+41
*
Record value of constant expression in C.Scase constructor
Xavier Leroy
2018-04-27
6
-10
/
+10
*
Detect 'case' and 'default' outside a 'switch' statement
Xavier Leroy
2018-04-27
1
-1
/
+7
*
Additional checks on typedefs (#101)
Bernhard Schommer
2018-04-26
1
-0
/
+4
*
Earlier, more comprehensive check for constant initializers (#88)
Xavier Leroy
2018-04-26
3
-4
/
+99
*
Check for enums that have the same tag as composites (#100)
Bernhard Schommer
2018-04-25
1
-1
/
+8
*
Add diagnostic for illegal use of void (Bug 23342)
Michael Schmidt
2018-04-25
1
-0
/
+2
*
Initialization of anonymous bit-fields in structs
Xavier Leroy
2018-04-25
2
-1
/
+21
*
Bitfields transformation: record the fields after transformation
Xavier Leroy
2018-04-25
1
-4
/
+20
*
Initialization of union bit fields
Xavier Leroy
2018-04-25
3
-3
/
+45
*
Bug 23346, Bug 23406
Bernhard Schommer
2018-04-25
0
-0
/
+0
*
Improved handling and diagnostics for the `auto` storage class (#99)
Xavier Leroy
2018-04-25
4
-26
/
+52
*
Use "fix <name> <number>" instead of "fix <number>"
Xavier Leroy
2018-04-25
1
-8
/
+8
*
Support Coq version 8.8.0
Xavier Leroy
2018-04-25
1
-3
/
+3
*
Upgrade Flocq to version 2.6.1 from upstream (#71)
Xavier Leroy
2018-04-25
8
-171
/
+423
*
Accept empty enum declaration after nonempty enum definition (#87)
Bernhard Schommer
2018-04-22
1
-1
/
+1
*
Better check for incomplete types in pointer subtraction (#92)
Bernhard Schommer
2018-04-20
1
-0
/
+1
*
Warn when volatile struct is assigned to a normal struct
Bernhard Schommer
2018-04-19
1
-0
/
+3
*
Function defintions: keep the attributes from previous declarations (#89)
Bernhard Schommer
2018-04-19
1
-1
/
+3
*
Bug 23410
Bernhard Schommer
2018-04-11
0
-0
/
+0
*
Revert "preserve static initialized variables (#81)"
Xavier Leroy
2018-04-10
1
-9
/
+2
[next]