aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Represent external worlds by a coinductive type rather than an inductive type.Xavier Leroy2015-06-072-2/+2
* Error if, in the same scope, a typedef is redefined as a variable, or a varia...Xavier Leroy2015-06-061-2/+8
* Update Changelog for release 2.5.Xavier Leroy2015-06-051-4/+79
* Allow the option -o to be also the prefix of the file name for compability wi...Bernhard Schommer2015-05-311-0/+2
* In AST.calling_conventions, record whether the original C function was "old-s...Xavier Leroy2015-05-224-23/+28
* Missing case in type_conditional (long long vs. int or float).Xavier Leroy2015-05-221-6/+3
* Ctyping: better typing of conditional expressions.Xavier Leroy2015-05-214-52/+202
* Changed the producer tag to include more information.Bernhard Schommer2015-05-181-1/+2
* Make a register as storage specify to a fatal error.Bernhard Schommer2015-05-141-1/+1
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-147-200/+178
* Changed the enter_or_refine_ident function to produce an error if a non-stat...Bernhard Schommer2015-05-131-6/+14
* Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-093-0/+41
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-0917-110/+147
* Use globl also for global variables.Bernhard Schommer2015-05-071-1/+1
* Typo: Val.sun_inject -> Val.sub_inject.Xavier Leroy2015-05-062-5/+5
* Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-3018-371/+373
* Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a...Xavier Leroy2015-04-301-0/+14
* Detect and reject "&" operator applied to "register" local variable or to a b...Xavier Leroy2015-04-283-0/+34
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-283-181/+211
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-288-19/+105
* Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl...Xavier Leroy2015-04-251-3/+17
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-237-2/+12
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-239-4/+37
* Give a name to the type of atoms.Xavier Leroy2015-04-231-2/+4
* Update clightgen to the new annotations and the new inline asm.Xavier Leroy2015-04-232-25/+10
* Merge pull request #40 from AbsInt/inline-asmXavier Leroy2015-04-2233-76/+604
|\
| * Extended asm: more lenient treatment of constraints.Xavier Leroy2015-04-221-10/+21
| * Avoid multiple errors being reported in the case #outputs >= 2.Xavier Leroy2015-04-211-2/+6
| * Proper treatment of extended asm.Xavier Leroy2015-04-211-1/+5
| * Use Cerrors for error reporting instead of rolling our own reporting in C2C.Xavier Leroy2015-04-211-11/+5
| * Cleanups and updates for extended asm.Xavier Leroy2015-04-215-7/+5
| * Printing of EF_inline_asm builtins in GCC extended asm syntax.Xavier Leroy2015-04-211-0/+30
| * Support for GCC-style extended asm, continued:Xavier Leroy2015-04-2115-101/+306
| * Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-1725-63/+341
| * Define M_PI if not already there (it's not in <math.h> for strict ISO C99).Xavier Leroy2015-04-171-0/+4
|/
* Correct type of label function.Bernhard Schommer2015-04-161-1/+1
* Added missing dummy functions.Bernhard Schommer2015-04-162-0/+12
* Merge pull request #37 from AbsInt/dwarfBernhard Schommer2015-04-1524-42/+1615
|\
| * Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert int...Bernhard Schommer2015-04-1424-42/+1615
|/|
| * Merge branch 'master' into dwarfBernhard Schommer2015-04-145-7/+18
| |\
| * \ Merge branch 'master' into dwarfBernhard Schommer2015-04-043-12/+23
| |\ \
| * \ \ Merge branch 'master' into dwarfBernhard Schommer2015-04-0288-682/+1973
| |\ \ \
| * \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-04-012-2/+2
| |\ \ \ \
| * | | | | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-013-4/+11
| * | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-3122-112/+1117
| |\ \ \ \ \
| * | | | | | Added more comments and fixed issue in DwarfPrinter.mliBernhard Schommer2015-03-303-10/+21
| * | | | | | Refactored code, added comments and changed handling of types with attributes...Bernhard Schommer2015-03-301-316/+417
| * | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-301-2/+2
| |\ \ \ \ \ \
| * | | | | | | Refactored the DwarfPrinter and added comments.Bernhard Schommer2015-03-301-106/+80
| * | | | | | | Compute the size of structs using the result of the packing and bitfield tran...Bernhard Schommer2015-03-263-18/+36
generated by cgit (git 2.34.1) at 2024-07-01 14:52:14 +0000