aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible.François Pottier2015-10-231-5/+9
| | * | Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of...François Pottier2015-10-221-10/+12
| * | | Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
| | |/ | |/|
| * | Added special treatment for large stack size for ppc.Bernhard Schommer2015-10-231-3/+3
| * | Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-cleanBernhard Schommer2015-10-203-90/+180
| |\|
| | * It is probably more efficient to eagerly evaluate $(MENHIR_INCLUDES).François Pottier2015-10-161-1/+1
| | * Added [Makefile.menhir], which gives a choice between Menhir's "code" and "ta...François Pottier2015-10-162-7/+77
| | * Replaced 4 uses of [ioption(declaration_specifiers_no_type)] with [declaratio...François Pottier2015-10-081-4/+4
| | * Cosmetic. Removed some spaces. Shared one redundant semantic action {}.François Pottier2015-10-071-7/+6
| | * One cosmetic change of [option] to [?]. No impact.François Pottier2015-10-071-1/+1
| | * Factorized the two forms of FOR statement by introducing [for_statement_header].François Pottier2015-10-071-2/+6
| | * Introduced optional(X, Y), which means X? Y, and used it in array declarators...François Pottier2015-10-071-4/+12
| | * Factorized the productions for several categories of binary operators.François Pottier2015-10-071-13/+20
| | * Factorized two productions (and two error productions) in [enum_specifier].François Pottier2015-10-071-5/+2
| | * Factorized two productions (and two error productions) in [struct_or_union_sp...François Pottier2015-10-071-5/+2
| | * For clarity, removed several redundant calls to [set_id_type].François Pottier2015-10-071-9/+5
| | * Introduced [other_identifier] as a more elegant way of calling [set_id_type i...François Pottier2015-10-071-19/+22
| | * One more replacement of [ioption] with [option].François Pottier2015-10-071-1/+1
| | * Use [option] as much as possible and [ioption] only where necessary.François Pottier2015-10-071-13/+30
| | * Add -la 1 to Menhir's invocation, to see statistics and warnings.François Pottier2015-10-071-1/+1
| | * Add whitespace, for better vertical alignment and better readability.François Pottier2015-10-071-21/+13
| | * Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.François Pottier2015-10-072-1/+2
| * | Also replace extern_atom by camlstring_of_coqstring for ia32/TargetPrinter.ml.Bernhard Schommer2015-10-201-2/+2
| * | Added not merged destruction of Archi. Bug 17450Bernhard Schommer2015-10-201-0/+2
| * | Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-2073-7292/+2106
| |\ \
| | * | Do not dump the .sdump files.Bernhard Schommer2015-10-161-15/+2
| | * | Fixed typos in the arm and ia32 section printing.Bernhard Schommer2015-10-162-3/+3
| | * | Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-1612-61/+145
| | * | First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-1511-100/+100
| | * | Use section type also for other targets.Bernhard Schommer2015-10-152-4/+4
| | * | More verbose debug printer.Bernhard Schommer2015-10-144-227/+274
| | * | Reworked the section interface for the debug information.Bernhard Schommer2015-10-144-26/+37
| | * | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-14156-11180/+11180
| | * | bug 17392: fix typo in OS nameMichael Schmidt2015-10-141-1/+1
| | * | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1465-530/+530
| | * | Changed the type of the debug sections with additional string.Bernhard Schommer2015-10-134-12/+19
| | * | Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-139-477/+552
| | * | Remove unused members from debug types.Bernhard Schommer2015-10-133-21/+0
| | * | Removed unused function.Bernhard Schommer2015-10-131-7/+2
| | * | Changed definition of implem for debug information.Bernhard Schommer2015-10-125-173/+135
| | * | Use a more descriptive type for diab debug entries.Bernhard Schommer2015-10-123-13/+25
| | * | Move strip functions to Cutil.Bernhard Schommer2015-10-123-41/+47
| | * | Do not insert atom to global variable mapping.Bernhard Schommer2015-10-121-18/+1
| | * | Unified function for adding the atom identifier.Bernhard Schommer2015-10-125-29/+26
| | * | We can ignore the generated automation. Bug 17392Bernhard Schommer2015-10-121-0/+1
| | * | Changed expand_debug to emit less labels.Bernhard Schommer2015-10-121-0/+1
| | * | Fix minor typo introduced by refactoring of debug information.Bernhard Schommer2015-10-121-1/+1
| | * | Removal of cchecklink, superseded by AbsInt's Valex tool.Xavier Leroy2015-10-1224-6193/+9
| | * | Merge pull request #51 from AbsInt/ppc64Xavier Leroy2015-10-1130-43/+896
| | |\ \
| | | * \ Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64Xavier Leroy2015-10-114-3/+15
| | | |\ \
generated by cgit (git 2.34.1) at 2024-07-07 00:42:55 +0000