| Commit message (Expand) | Author | Age | Files | Lines |
* | Address most deprecation warnings from Coq 8.16 | Xavier Leroy | 2023-03-10 | 5 | -13/+18 |
* | Include `+unix` and `+str` for OCaml 5 compatibility | Xavier Leroy | 2023-03-06 | 1 | -1/+3 |
* | Change preference for new register in allocator | Bernhard Schommer | 2023-03-06 | 7 | -29/+129 |
* | configure: add -ignore-ocaml-version option | Xavier Leroy | 2023-03-05 | 1 | -8/+11 |
* | Fix Thumb handling of `add reg, sp, #imm` and `sub reg, sp, #imm` | Xavier Leroy | 2023-02-20 | 1 | -3/+4 |
* | Move the old `offset_in_range` function inside `memcpy_small_arg` | Bernhard Schommer | 2023-02-20 | 1 | -3/+2 |
* | For Thumb, use `movs` for loading immediate constants | Bernhard Schommer | 2023-02-20 | 1 | -2/+2 |
* | Use more functions from Asmgen in Asmexpand. | Bernhard Schommer | 2023-02-20 | 1 | -17/+4 |
* | Use the Asmgen offset check for volatile load/store. | Bernhard Schommer | 2023-02-20 | 1 | -4/+20 |
* | ARM code generation: fix offset checks for loads | Bernhard Schommer | 2023-02-20 | 1 | -3/+3 |
* | Remove unused definition | Bernhard Schommer | 2023-02-20 | 1 | -4/+0 |
* | When installing the Coq development, also install coq-native generated files | Xavier Leroy | 2023-02-20 | 1 | -1/+6 |
* | Ignore self assign in if-conversion | Bernhard Schommer | 2023-02-20 | 2 | -4/+19 |
* | RISC-V: print flt.s, feq.s, fle.s with a tab after the mnemonic (#481) | David Monniaux | 2023-02-07 | 1 | -3/+3 |
* | wchar_t is unsigned int for arm_littleendian, arm_bigendian and aarch64 | Bernhard Schommer | 2023-02-01 | 1 | -2/+7 |
* | Use define for wchar_t type | Bernhard Schommer | 2023-02-01 | 2 | -6/+11 |
* | Export `name_of_ikind` and `name_of_fkind` | Xavier Leroy | 2023-02-01 | 1 | -0/+3 |
* | Introduce `wchar_ikind` in machine descriptions | Xavier Leroy | 2023-01-24 | 4 | -20/+12 |
* | Don't discard argument of `__builtin_va_end` | Michael Schmidt | 2023-01-23 | 1 | -2/+2 |
* | Disable tail calls in variadic functions | Michael Schmidt | 2023-01-23 | 2 | -5/+6 |
* | Elaboration of compound initializers: reverse list of generated global variables | Michael Schmidt | 2023-01-23 | 1 | -1/+1 |
* | C2C: wrong handling of typedefs to enums in bit fields | Xavier Leroy | 2023-01-23 | 1 | -1/+1 |
* | Use `exfalso` instead of `elimtype False` (#470) | Pierre-Marie Pédrot | 2022-12-22 | 5 | -7/+7 |
* | Remove support for 32-bit Cygwin | Xavier Leroy | 2022-12-08 | 2 | -23/+7 |
* | Update doc comment | Xavier Leroy | 2022-12-08 | 1 | -2/+2 |
* | Fix incomplete checking of unsolved holes (#465) | Gaëtan Gilbert | 2022-11-28 | 1 | -1/+1 |
* | Updates for release 3.12 | Xavier Leroy | 2022-11-21 | 3 | -3/+54 |
* | Emit the Tag_ABI_VFP attribute appropriate to the calling conventions used | Xavier Leroy | 2022-11-21 | 1 | -1/+6 |
* | configure: add option -sharedir to specify where to put compcert.ini (#460) | Xavier Leroy | 2022-11-14 | 1 | -5/+32 |
* | Wrong test for coroutined decompressor | Xavier Leroy | 2022-11-14 | 1 | -1/+1 |
* | Merge pull request #459 from AbsInt/full-switch | Xavier Leroy | 2022-11-09 | 13 | -142/+500 |
|\ |
|
| * | Ignore debug statements before the first case of a `switch` | Xavier Leroy | 2022-11-03 | 1 | -1/+7 |
| * | Update man-page for `-funstructured-switch` (also for new `-std` option, `-fi... | Michael Schmidt | 2022-11-03 | 1 | -4/+22 |
| * | Handle unstructured 'switch' statements such as Duff's device | Xavier Leroy | 2022-10-29 | 12 | -98/+439 |
| * | Unblock: never put debug info before a label | Xavier Leroy | 2022-10-29 | 1 | -11/+12 |
| * | Revised passing of options to `Parse.preprocessed_file` | Xavier Leroy | 2022-09-27 | 3 | -41/+33 |
* | | Replace CR, FF and VT with whitespace. | Bernhard Schommer | 2022-11-05 | 1 | -3/+5 |
* | | Use open_in_bin instead of open_in. | Bernhard Schommer | 2022-11-05 | 1 | -1/+1 |
* | | Merge pull request #458 from AbsInt/simpl-expr-dests | Xavier Leroy | 2022-10-24 | 6 | -99/+220 |
|\ \ |
|
| * | | Add test for nested conditional, &&, || expressions | Xavier Leroy | 2022-10-01 | 3 | -1/+55 |
| * | | SimplExpr: revised handling of nested conditional, `||`, `&&` operators | Xavier Leroy | 2022-10-01 | 3 | -98/+165 |
| |/ |
|
* / | Use .data.rel.ro section for const data with relocatable inits on ELF targets... | Xavier Leroy | 2022-10-24 | 4 | -4/+16 |
|/ |
|
* | test/export: use the standard headers from ../../runtime/include | Xavier Leroy | 2022-09-23 | 1 | -1/+1 |
* | No need to set -std=c99 on the GNU C preprocessor command line | Xavier Leroy | 2022-09-23 | 1 | -12/+12 |
* | Support the `-std=<standard>` option (#456) | Xavier Leroy | 2022-09-23 | 3 | -4/+24 |
* | Add `Commandline.longopt` function for options of the form `-<key>=<arg>` | Xavier Leroy | 2022-09-23 | 2 | -20/+18 |
* | Improved help messages for the -g<n> and -gdwarf-<n> options | Xavier Leroy | 2022-09-23 | 1 | -3/+5 |
* | Export the functions that control warnings | Xavier Leroy | 2022-09-23 | 1 | -0/+13 |
* | Temporary: don't run the regression/stringlit and regression/charlit tests | Xavier Leroy | 2022-09-19 | 1 | -1/+3 |
* | Support C11 Unicode string literals and character constants (#452) | Xavier Leroy | 2022-09-19 | 19 | -214/+490 |