aboutsummaryrefslogtreecommitdiffstats
path: root/common/PrintAST.ml
Commit message (Expand)AuthorAgeFilesLines
* [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
* fix reverse printing problem for hashesDavid Monniaux2020-04-111-1/+8
* print hashesDavid Monniaux2020-04-081-1/+1
* begin installing profilingDavid Monniaux2020-04-081-2/+2
* added EF_profilingDavid Monniaux2020-04-081-1/+3
* Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-0/+4
|\
| * ONE "admitted" and things compileDavid Monniaux2019-09-061-0/+4
* | Refine the type of function results in AST.signatureXavier Leroy2020-02-211-0/+8
|/
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-2/+2
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-0/+3
* Merge pull request #93 from AbsInt/separate-compilationXavier Leroy2016-03-201-0/+1
|\
| * Add support for EF_runtime externalsXavier Leroy2016-03-061-0/+1
* | Print floating-point numbers with more digits in debug outputsXavier Leroy2016-03-151-2/+2
|/
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-4/+4
* Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-5/+5
* Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-4/+4
* Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-211-22/+26
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-1/+1
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-171-1/+1
* Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-2/+4
* Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-271-0/+23
* Merge of "newspilling" branch:xleroy2014-07-231-0/+4
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-121-1/+0
* Cminor parsing and printing (from Andrew Tolmach)xleroy2013-10-161-4/+4
* Merge of the float32 branch: xleroy2013-05-191-1/+5
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-1/+2
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.xleroy2013-01-291-1/+1
* Update Cminor parser and printer so that the parser can parse the whole Cmino...xleroy2013-01-071-4/+4
* Support for inline assembly (asm statements).xleroy2012-12-181-0/+1
* - Revised non-overflow constraints on memory injections so that xleroy2012-07-231-0/+1
* Added volatile_read_global and volatile_store_global builtins.xleroy2012-01-151-0/+6
* Forgot to add new filexleroy2011-06-141-0/+40
generated by cgit (git 2.34.1) at 2024-05-09 19:14:03 +0000