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
...
*
Turn off the warning "C11 extension" by default
Xavier Leroy
2018-06-04
1
-1
/
+0
*
Warn that _Alignas and _Alignof are C11 extensions
Xavier Leroy
2018-06-04
1
-1
/
+3
*
Don't depend on ../../clightgen
Xavier Leroy
2018-06-02
1
-3
/
+3
*
Model external calls as destroying all caller-save registers
Xavier Leroy
2018-06-01
16
-20
/
+127
*
Use the standalone coq2html tool to generate the HTML documentation
Xavier Leroy
2018-06-01
6
-762
/
+117
*
Add tests for clightgen
Xavier Leroy
2018-06-01
5
-0
/
+985
*
Install the VERSION file along the .vo files
BenoƮt Viguier
2018-05-31
1
-0
/
+1
*
Bug 23806
Bernhard Schommer
2018-05-30
0
-0
/
+0
*
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
[prev]
[next]