| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix menhirLib namespaces, following changes in Menhir version 20180530 | Jacques-Henri Jourdan | 2018-06-06 | 13 | -3/+3 |
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -2/+2 |
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -3/+3 |
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -1/+1 |
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -4/+28 |
| * | bug 23325, document changed default for c11 named warning | Michael Schmidt | 2018-06-05 | 1 | -1/+1 |
| * | Bug 23325, Bug 23369, Bug 23351 | Bernhard Schommer | 2018-06-04 | 0 | -0/+0 |
| * | Warn for defs and uses of static variables in nonstatic inline functions | Xavier Leroy | 2018-06-04 | 3 | -16/+42 |
| * | Parameterize elab_expr by the full elaboration context | Xavier Leroy | 2018-06-04 | 1 | -30/+42 |
| * | Support redefinition of a typedef in another scope (#122) | Xavier Leroy | 2018-06-04 | 1 | -2/+2 |
| * | 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.3v3.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 |
