aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/PrintCsyntax.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-5/+10
|\
| * Native support for bit fields (#400)Xavier Leroy2021-08-221-5/+10
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-4/+4
|\|
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-4/+4
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-0/+3
|\|
| * Improve printing of builtin function invocationsXavier Leroy2020-06-251-0/+3
* | Oexpect in frontendDavid Monniaux2020-04-071-0/+2
|/
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-2/+2
* clightgen -dclight: print function parameters correctlyXavier Leroy2019-09-161-4/+4
* Print size argument of Init_space as Z not as int32Xavier Leroy2018-03-131-1/+1
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-2/+2
* Removed shadowing problems.Bernhard Schommer2017-02-061-9/+9
* Print prototypes for malloc and free.Bernhard Schommer2016-08-231-1/+1
* Also print declarations in CompCert C.Bernhard Schommer2016-08-221-0/+20
* Added missing , in PrintCsyntax. Bug 19599Bernhard Schommer2016-08-221-1/+1
* fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can...Michael Schmidt2016-06-071-1/+1
* Introduce register pairs to describe calling conventions more preciselyXavier Leroy2016-05-171-2/+2
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-7/+9
|\
| * Merge pull request #93 from AbsInt/separate-compilationXavier Leroy2016-03-201-1/+3
| |\
| | * Add support for EF_runtime externalsXavier Leroy2016-03-061-1/+3
| * | Print floating-point numbers with more digits in debug outputsXavier Leroy2016-03-151-4/+4
| |/
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-7/+7
* | Code cleanup.Bernhard Schommer2016-03-101-16/+13
|/
* Added printing functions for debug annotations.Bernhard Schommer2015-11-061-0/+3
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-2/+2
* Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-4/+4
* In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-221-1/+1
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-2/+2
* Printing of EF_inline_asm builtins in GCC extended asm syntax.Xavier Leroy2015-04-211-0/+30
* Fix overflows in printers for clight and csyntax.Jacques-Henri Jourdan2015-04-011-1/+1
* Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-221-122/+19
* Revised translation of '&&' and '||' to Clight.Xavier Leroy2014-10-131-2/+2
* Merge of "newspilling" branch:xleroy2014-07-231-0/+2
* Beautify the output.xleroy2014-02-211-3/+7
* Better printing of integer literals: add U and LL suffixes when needed.xleroy2014-01-121-9/+22
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-281-26/+24
* Support "default" cases in the middle of a "switch", not just at the end.xleroy2013-12-211-11/+13
* Cleaner printing of global variables.xleroy2013-11-091-21/+30
* - Recognize __builtin_fabs as an operator, not just a builtin,xleroy2013-11-061-0/+3
* Merge of the "alignas" branch.xleroy2013-10-051-1/+5
* Preliminary support for debugging info (-g).xleroy2013-05-171-4/+4
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-0/+10
* Watch out for behaviors exponential in the nesting of struct/union types. xleroy2013-03-231-15/+13
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.xleroy2013-01-291-1/+1
* Globalenvs: allocate one-byte block with permissions Nonempty for eachxleroy2012-11-121-13/+14
* Make Clight independent of CompCert C.xleroy2012-10-081-0/+2
* Merge of branch seq-and-or. See Changelog for details.xleroy2012-10-061-1/+22
* Forgot to collect types of expressionsxleroy2012-07-281-1/+3
generated by cgit (git 2.34.1) at 2024-05-09 00:10:32 +0000