aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
* configure: recognize riscv32 and riscv64 for RISC-V targets (#448)Brad Smith2022-08-291-2/+3
* Do not use `.rodata.cst8` for floating-point literalsXavier Leroy2022-08-152-2/+2
* Check early that extraction did not run into unimplemented axiomsXavier Leroy2022-07-071-0/+5
* Update comment about `deprecated-hint-rewrite-without-locality` warningXavier Leroy2022-07-071-4/+0
* In test/regression: Use `static inline` instead of `inline`Xavier Leroy2022-07-052-5/+5
* Re-enable `deprecated-hint-rewrite-without-locality` warningXavier Leroy2022-07-051-2/+1
* Add [#global] qualifier on Hint Rewrite (#439)Pierre-Marie Pédrot2022-07-052-0/+12
* More updates for release 3.11Xavier Leroy2022-06-271-2/+2
* Updates for release 3.11Xavier Leroy2022-06-252-3/+6
* Extend the boolean_equality tactic (#429)Jerome Hugues2022-06-251-1/+15
* Support Coq 8.15.2Xavier Leroy2022-06-252-3/+3
* Update comment re: compile_switch functionXavier Leroy2022-06-251-1/+1
* Expand "j_s symb" to "jump symb, x31" assembly pseudo-instructionXavier Leroy2022-06-244-5/+6
* First Changelog update for next release 3.11Xavier Leroy2022-06-201-0/+38
* Harden the configure script against \r\n end of linesXavier Leroy2022-06-201-6/+6
* AArch64: make register X29 callee-saveXavier Leroy2022-05-306-34/+34
* Improve control-flow analysis of "noreturn" function callsXavier Leroy2022-05-191-4/+18
* Simplify handling of file suffixes.Bernhard Schommer2022-05-184-30/+28
* Fix computing of output filenames.Bernhard Schommer2022-05-181-13/+15
* Revised warning for non-prototyped function declarationsXavier Leroy2022-05-131-17/+22
* Some tests for _GenericXavier Leroy2022-05-133-1/+115
* Support _Generic from ISO C 2011Xavier Leroy2022-05-137-711/+1031
* Fix the parsing of unprototyped function types in casts (#431)Xavier Leroy2022-05-091-2/+2
generated by cgit (git 2.34.1) at 2024-04-27 08:50:12 +0000