| Commit message (Expand) | Author | Age | Files | Lines |
* | Switch to --table mode. This is slightly slower but otherwise changes nothing. | François Pottier | 2015-10-23 | 1 | -1/+1 |
* | Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible. | François Pottier | 2015-10-23 | 1 | -5/+9 |
* | Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of... | François Pottier | 2015-10-22 | 1 | -10/+12 |
* | It is probably more efficient to eagerly evaluate $(MENHIR_INCLUDES). | François Pottier | 2015-10-16 | 1 | -1/+1 |
* | Added [Makefile.menhir], which gives a choice between Menhir's "code" and "ta... | François Pottier | 2015-10-16 | 2 | -7/+77 |
* | Replaced 4 uses of [ioption(declaration_specifiers_no_type)] with [declaratio... | François Pottier | 2015-10-08 | 1 | -4/+4 |
* | Cosmetic. Removed some spaces. Shared one redundant semantic action {}. | François Pottier | 2015-10-07 | 1 | -7/+6 |
* | One cosmetic change of [option] to [?]. No impact. | François Pottier | 2015-10-07 | 1 | -1/+1 |
* | Factorized the two forms of FOR statement by introducing [for_statement_header]. | François Pottier | 2015-10-07 | 1 | -2/+6 |
* | Introduced optional(X, Y), which means X? Y, and used it in array declarators... | François Pottier | 2015-10-07 | 1 | -4/+12 |
* | Factorized the productions for several categories of binary operators. | François Pottier | 2015-10-07 | 1 | -13/+20 |
* | Factorized two productions (and two error productions) in [enum_specifier]. | François Pottier | 2015-10-07 | 1 | -5/+2 |
* | Factorized two productions (and two error productions) in [struct_or_union_sp... | François Pottier | 2015-10-07 | 1 | -5/+2 |
* | For clarity, removed several redundant calls to [set_id_type]. | François Pottier | 2015-10-07 | 1 | -9/+5 |
* | Introduced [other_identifier] as a more elegant way of calling [set_id_type i... | François Pottier | 2015-10-07 | 1 | -19/+22 |
* | One more replacement of [ioption] with [option]. | François Pottier | 2015-10-07 | 1 | -1/+1 |
* | Use [option] as much as possible and [ioption] only where necessary. | François Pottier | 2015-10-07 | 1 | -13/+30 |
* | Add -la 1 to Menhir's invocation, to see statistics and warnings. | François Pottier | 2015-10-07 | 1 | -1/+1 |
* | Add whitespace, for better vertical alignment and better readability. | François Pottier | 2015-10-07 | 1 | -21/+13 |
* | Pass --no-stdlib and -v to menhir when compiling pre_parser.mly. | François Pottier | 2015-10-07 | 2 | -1/+2 |
* | Handle the special case of a typedef to void funciton parameter to be | Bernhard Schommer | 2015-10-05 | 1 | -2/+2 |
* | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-10-04 | 11 | -24/+83 |
|\ |
|
| * | Fixed minor typos in the comments. | Bernhard Schommer | 2015-10-04 | 2 | -2/+2 |
| * | Ensure that there are file directives for all files used in the debug | Bernhard Schommer | 2015-10-04 | 6 | -15/+28 |
| * | Allow redefinition of a typedef with the same name. | Bernhard Schommer | 2015-10-04 | 3 | -7/+53 |
* | | Activate the advanced debug for the gcc build. | Bernhard Schommer | 2015-10-03 | 1 | -1/+2 |
|/ |
|
* | Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.ml | Bernhard Schommer | 2015-10-02 | 2 | -0/+2 |
* | Use rev_map so that the debug locations are in the correct order. | Bernhard Schommer | 2015-10-02 | 1 | -1/+1 |
* | Merge branch 'gnu-debug' | Bernhard Schommer | 2015-10-02 | 11 | -149/+255 |
|\ |
|
| * | First try of debug information for gcc. | Bernhard Schommer | 2015-10-02 | 11 | -106/+195 |
| * | Started implementation of gnu compatible debug information. | Bernhard Schommer | 2015-10-02 | 4 | -48/+65 |
* | | Quote the section names in the json files. | Bernhard Schommer | 2015-10-02 | 1 | -1/+1 |
* | | Add also all files for local variables. | Bernhard Schommer | 2015-10-02 | 1 | -0/+1 |
* | | Always call print debug_section in the prologue. | Bernhard Schommer | 2015-10-02 | 2 | -19/+19 |
|/ |
|
* | Moved the types defined by the Debug Interface into a separate file. | Bernhard Schommer | 2015-10-01 | 3 | -146/+163 |
* | Cleanup of now no longer needed functions. | Bernhard Schommer | 2015-10-01 | 6 | -51/+1 |
* | Merge pull request #57 from jhjourdan/parser_fix | Bernhard Schommer | 2015-10-01 | 8 | -161/+403 |
|\ |
|
| * | Fixed a few bugs in the pre parser. In particular, the following code | Jacques-Henri Jourdan | 2015-09-30 | 8 | -161/+403 |
* | | Removed the debug output for the debug information. | Bernhard Schommer | 2015-10-01 | 1 | -2/+1 |
* | | Use also fucntion id for local variables since atom is not unique. | Bernhard Schommer | 2015-10-01 | 5 | -24/+24 |
* | | Do not move the line directives. | Bernhard Schommer | 2015-10-01 | 1 | -5/+9 |
* | | Use different entry_to_label mapping for each compilation unit. | Bernhard Schommer | 2015-10-01 | 1 | -3/+20 |
* | | Only print locations for symbols that are present in the assembler. | Bernhard Schommer | 2015-10-01 | 6 | -5/+23 |
* | | Remove unused globals also from the debug informations. | Bernhard Schommer | 2015-10-01 | 6 | -16/+36 |
* | | More robust dwarf generation. Do not add incomplete local variables | Bernhard Schommer | 2015-09-30 | 2 | -14/+30 |
* | | Also add the rest to the producer tag. | Bernhard Schommer | 2015-09-30 | 1 | -1/+2 |
* | | Removed newline in version string and add buildnr and tag if existing to | Bernhard Schommer | 2015-09-30 | 2 | -2/+7 |
* | | Add the version string to the printed asm. | Bernhard Schommer | 2015-09-30 | 1 | -1/+6 |
* | | Merge pull request #56 from AbsInt/debug_locations | Bernhard Schommer | 2015-09-30 | 33 | -909/+2257 |
|\ \
| |/
|/| |
|
| * | Fixed minor issue with parameters that get put on the stack, made | Bernhard Schommer | 2015-09-30 | 3 | -17/+18 |