aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* wchar_t is unsigned int for arm_littleendian, arm_bigendian and aarch64Bernhard Schommer2023-02-011-2/+7
* Use define for wchar_t typeBernhard Schommer2023-02-012-6/+11
* Export `name_of_ikind` and `name_of_fkind`Xavier Leroy2023-02-011-0/+3
* Introduce `wchar_ikind` in machine descriptionsXavier Leroy2023-01-244-20/+12
* Don't discard argument of `__builtin_va_end`Michael Schmidt2023-01-231-2/+2
* Disable tail calls in variadic functionsMichael Schmidt2023-01-232-5/+6
* Elaboration of compound initializers: reverse list of generated global variablesMichael Schmidt2023-01-231-1/+1
* C2C: wrong handling of typedefs to enums in bit fieldsXavier Leroy2023-01-231-1/+1
* Use `exfalso` instead of `elimtype False` (#470)Pierre-Marie Pédrot2022-12-225-7/+7
* Remove support for 32-bit CygwinXavier Leroy2022-12-082-23/+7
* Update doc commentXavier Leroy2022-12-081-2/+2
* Fix incomplete checking of unsolved holes (#465)Gaëtan Gilbert2022-11-281-1/+1
* Updates for release 3.12Xavier Leroy2022-11-213-3/+54
* Emit the Tag_ABI_VFP attribute appropriate to the calling conventions usedXavier Leroy2022-11-211-1/+6
* configure: add option -sharedir to specify where to put compcert.ini (#460)Xavier Leroy2022-11-141-5/+32
* Wrong test for coroutined decompressorXavier Leroy2022-11-141-1/+1
* Merge pull request #459 from AbsInt/full-switchXavier Leroy2022-11-0913-142/+500
|\
| * Ignore debug statements before the first case of a `switch`Xavier Leroy2022-11-031-1/+7
| * Update man-page for `-funstructured-switch` (also for new `-std` option, `-fi...Michael Schmidt2022-11-031-4/+22
| * Handle unstructured 'switch' statements such as Duff's deviceXavier Leroy2022-10-2912-98/+439
| * Unblock: never put debug info before a labelXavier Leroy2022-10-291-11/+12
| * Revised passing of options to `Parse.preprocessed_file`Xavier Leroy2022-09-273-41/+33
* | Replace CR, FF and VT with whitespace.Bernhard Schommer2022-11-051-3/+5
* | Use open_in_bin instead of open_in.Bernhard Schommer2022-11-051-1/+1
* | Merge pull request #458 from AbsInt/simpl-expr-destsXavier Leroy2022-10-246-99/+220
|\ \
| * | Add test for nested conditional, &&, || expressionsXavier Leroy2022-10-013-1/+55
| * | SimplExpr: revised handling of nested conditional, `||`, `&&` operatorsXavier Leroy2022-10-013-98/+165
| |/
* / Use .data.rel.ro section for const data with relocatable inits on ELF targets...Xavier Leroy2022-10-244-4/+16
|/
* test/export: use the standard headers from ../../runtime/includeXavier Leroy2022-09-231-1/+1
* No need to set -std=c99 on the GNU C preprocessor command lineXavier Leroy2022-09-231-12/+12
* Support the `-std=<standard>` option (#456)Xavier Leroy2022-09-233-4/+24
* Add `Commandline.longopt` function for options of the form `-<key>=<arg>`Xavier Leroy2022-09-232-20/+18
* Improved help messages for the -g<n> and -gdwarf-<n> optionsXavier Leroy2022-09-231-3/+5
* Export the functions that control warningsXavier Leroy2022-09-231-0/+13
* Temporary: don't run the regression/stringlit and regression/charlit testsXavier Leroy2022-09-191-1/+3
* Support C11 Unicode string literals and character constants (#452)Xavier Leroy2022-09-1919-214/+490
* Add `Declare Scope` where appropriate (#440)Xavier Leroy2022-09-1919-7/+31
* RTLgen: use the state and error monad for reserve_labels (#371)Pierre Nigron2022-09-194-24/+24
* Improved auto goal selection (#443)Andrej Dudenhefner2022-09-085-7/+7
* Recognize more if-then-else statements that can be if-convertedXavier Leroy2022-09-052-126/+138
* Introducing the "eventually" closure and new simulation diagrams using itXavier Leroy2022-09-051-27/+229
* `_Generic` is a C11 feature, should trigger the corresponding warning if activeXavier Leroy2022-09-041-0/+1
* Remove unused functions.Bernhard Schommer2022-09-031-7/+0
* More simplifications for literal printingBernhard Schommer2022-09-036-31/+16
* Refactor emitting of constants.Bernhard Schommer2022-09-037-76/+21
* Add `iter_literal*` functions with guaranteed iteration orderXavier Leroy2022-09-031-0/+12
* Rework of struct member offsets for debug info.Bernhard Schommer2022-09-036-41/+92
* Introduce `struct_layout` functionBernhard Schommer2022-09-032-1/+28
* Support mergeable sections for string literals and wide string literalsXavier Leroy2022-08-291-6/+13
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-2911-123/+145
generated by cgit (git 2.34.1) at 2024-06-02 17:59:00 +0000