| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Issue with packed structs and sizeof, alignof, offsetof in cparser/ | Xavier Leroy | 2018-08-17 | 8 | -102/+202 |
| * | Added a check for parameters without identifiers. (#128) | Bernhard Schommer | 2018-08-17 | 1 | -5/+7 |
| * | Earlier check for invalid asm outputs. (#130) | Bernhard Schommer | 2018-08-17 | 2 | -2/+5 |
| * | Also check parameters for unknown attributes. | Bernhard Schommer | 2018-08-16 | 1 | -0/+1 |
| * | Remove undocumented option. | Bernhard Schommer | 2018-08-07 | 1 | -4/+0 |
| * | Various improvements in the wording of diagnostics. | Michael Schmidt | 2018-08-02 | 13 | -99/+98 |
| * | Added Pldi to instr_size. | Bernhard Schommer | 2018-08-01 | 1 | -0/+1 |
| * | Bug 24150 | Michael Schmidt | 2018-07-19 | 0 | -0/+0 |
| * | Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose be... | Michael Schmidt | 2018-07-19 | 1 | -2/+2 |
| * | Compatibility with OCaml 4.07 (#241) continued | Bernhard Schommer | 2018-07-12 | 1 | -1/+1 |
| * | Fix expansion of ctzl/clzl builtin for 64bit targets (#127) | Michael Schmidt | 2018-07-12 | 1 | -2/+15 |
| * | Bug 24090, Bug 24091 | Bernhard Schommer | 2018-07-11 | 0 | -0/+0 |
| * | Compatibility with OCaml 4.07 (#241) continued | Xavier Leroy | 2018-07-10 | 1 | -1/+1 |
| * | Clean .foo.aux files created by coqc | Xavier Leroy | 2018-07-10 | 1 | -1/+1 |
| * | Support Coq 8.8.1 (#242) | Xavier Leroy | 2018-07-10 | 1 | -3/+3 |
| * | Compatibility with OCaml 4.07 (#241) | Xavier Leroy | 2018-07-10 | 1 | -1/+1 |
| * | Update delexer for BUILTIN_OFFSETOF. Bug 23929 | Bernhard Schommer | 2018-07-05 | 1 | -0/+1 |
| * | Bug 23405 | Bernhard Schommer | 2018-06-25 | 0 | -0/+0 |
| * | Typo in -iquote preprocessing option (#239) | Frédéric Besson | 2018-06-20 | 1 | -1/+1 |
| * | clightgen: add info on configuration and platform to generated .v files (#238) | Xavier Leroy | 2018-06-20 | 2 | -4/+21 |
| * | Bug 23926 | Bernhard Schommer | 2018-06-18 | 0 | -0/+0 |
| * | Typo in Ctyping entry | Xavier Leroy | 2018-06-17 | 1 | -1/+1 |
| * | Treat Outgoing stack slots as caller-save in LTL/Linear semantics (#237) | Xavier Leroy | 2018-06-17 | 6 | -93/+145 |
| * | Ignore *.v files generated by tests | Bernhard Schommer | 2018-06-07 | 1 | -0/+2 |
| * | Bug 23383 | Bernhard Schommer | 2018-06-07 | 0 | -0/+0 |
| * | Remove the `_Alignas(expr)` construct (#125) | Xavier Leroy | 2018-06-07 | 7 | -611/+598 |
| * | Bug 23870 | Bernhard Schommer | 2018-06-07 | 0 | -0/+0 |
| * | Ensure compatibility with Menhir before and after version 20180530 | Xavier Leroy | 2018-06-06 | 2 | -4/+10 |
| * | 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 |
| |/ |
|
