| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Use `Program Instance` instead of `Instance` + refine mode (#261) | Maxime Dénès | 2018-12-27 | 2 | -64/+86 |
* | x86: wrong modeling of ZF flag for FP comparisons | Xavier Leroy | 2018-12-20 | 2 | -130/+66 |
* | Add functions "ordered" and "compare" to Float and Float32 | Xavier Leroy | 2018-12-20 | 1 | -9/+20 |
* | Fix fixme in PackedStructs. | Bernhard Schommer | 2018-11-20 | 1 | -4/+4 |
* | Fix typo in asmexpand. Bug 24953 | Bernhard Schommer | 2018-11-07 | 1 | -1/+1 |
* | Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776 | Michael Schmidt | 2018-10-20 | 2 | -5/+10 |
* | Catch exception from elab_attr_arg. | Bernhard Schommer | 2018-10-18 | 1 | -1/+4 |
* | Switch conditions for eref plattforms. | Bernhard Schommer | 2018-09-19 | 1 | -4/+4 |
* | Support __builtin_isel64 for non-EREF PPC64 platforms (#141) | Xavier Leroy | 2018-09-18 | 1 | -22/+28 |
* | Add builtin isel (conditional move) for int64, uint64 and _Bool (#140) | Bernhard Schommer | 2018-09-18 | 2 | -1/+16 |
* | Bug 24518 | Bernhard Schommer | 2018-09-17 | 0 | -0/+0 |
* | Updates for release 3.4v3.4 | Xavier Leroy | 2018-09-17 | 2 | -2/+2 |
* | Bug 24510 | Bernhard Schommer | 2018-09-14 | 0 | -0/+0 |
* | flocq: minor cleaning (#257) | Vincent Laporte | 2018-09-14 | 1 | -3/+2 |
* | Update change log for 3.4, continued | Xavier Leroy | 2018-09-14 | 1 | -2/+5 |
* | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 5 | -15/+15 |
* | Simplified code. Bug 24067 | Bernhard Schommer | 2018-09-12 | 1 | -8/+8 |
* | Tentatively support Coq 8.8.2 | Xavier Leroy | 2018-09-12 | 1 | -2/+2 |
* | Typo in OCaml version number | Xavier Leroy | 2018-09-12 | 1 | -1/+1 |
* | Update version and change log in preparation for public release 3.4 | Xavier Leroy | 2018-09-12 | 2 | -1/+63 |
* | Generate a nop instruction after some ais annotations (#137) | Bernhard Schommer | 2018-09-12 | 14 | -28/+64 |
* | Fatal error instead of error for bit-fields. | Bernhard Schommer | 2018-09-12 | 1 | -1/+1 |
* | Attach _Alignas to names and refactor _Alignas checks (#133) | Bernhard Schommer | 2018-09-10 | 6 | -20/+22 |
* | Ignore generated conflict file. Bug 24455 | Bernhard Schommer | 2018-09-10 | 1 | -0/+1 |
* | Bug 23389 | Bernhard Schommer | 2018-09-04 | 0 | -0/+0 |
* | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2018-09-04 | 1 | -1/+1 |
|\ |
|
| * | Typo in comment | Xavier Leroy | 2018-09-03 | 1 | -1/+1 |
* | | document new named warning class 'reduced-alignment', bug 23389 | Michael Schmidt | 2018-09-04 | 1 | -0/+4 |
|/ |
|
* | Move parameter check. | Bernhard Schommer | 2018-09-03 | 1 | -2/+6 |
* | New diagnostic for reduced alignment (#117) | Bernhard Schommer | 2018-08-29 | 3 | -3/+38 |
* | Bug 24374 | Bernhard Schommer | 2018-08-29 | 0 | -0/+0 |
* | Merge pull request #251 from AbsInt/configure-error-behavior | Xavier Leroy | 2018-08-29 | 1 | -0/+14 |
|\ |
|
| * | Improve reporting of configuration errors | Xavier Leroy | 2018-08-28 | 1 | -0/+10 |
| * | Remove leftover Makefile.config before configuration | Xavier Leroy | 2018-08-28 | 1 | -0/+4 |
* | | Bug 24366 | Bernhard Schommer | 2018-08-28 | 0 | -0/+0 |
* | | Import prim token notations before using them, continued | Xavier Leroy | 2018-08-27 | 1 | -0/+1 |
* | | Import prim token notations before using them | Jason Gross | 2018-08-27 | 4 | -1/+4 |
* | | Bug 24351 | Bernhard Schommer | 2018-08-27 | 0 | -0/+0 |
|/ |
|
* | Make generated file cparser/Parser.v read-only | Xavier Leroy | 2018-08-27 | 1 | -0/+2 |
* | Improve execution of regression tests | Xavier Leroy | 2018-08-24 | 4 | -16/+45 |
* | Edit documentation comments for [alignas_attribute] and [has_std_alignas] | Xavier Leroy | 2018-08-24 | 1 | -2/+3 |
* | More standard compliant handling of _Alignas. | Bernhard Schommer | 2018-08-24 | 1 | -0/+11 |
* | Add check for _Alignas attribute. | Bernhard Schommer | 2018-08-24 | 2 | -0/+6 |
* | Reimplement attr_array_applicable in terms of class_of_attribute | Xavier Leroy | 2018-08-24 | 1 | -3/+2 |
* | Preserve attribute(("aligned")) in the AST, don't map it to _Alignas | Xavier Leroy | 2018-08-24 | 2 | -2/+3 |
* | Fix typo in pattern match of error case, bug 24326 | Michael Schmidt | 2018-08-22 | 1 | -1/+1 |
* | Document new named warning for tentative static definitions with incomplete t... | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
* | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -1/+1 |
* | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
* | Fix passing of -u to linker. | Bernhard Schommer | 2018-08-21 | 1 | -1/+1 |