aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* A .gitignore entry.François Pottier2015-10-231-0/+1
* Read the whole source C file into memory instad of reading it on demand.François Pottier2015-10-232-5/+17
* Makefile.extr: [make clean] removes .automaton files.François Pottier2015-10-231-0/+1
* Switch to --table mode. This is slightly slower but otherwise changes nothing.François Pottier2015-10-231-1/+1
* 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
* 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
* Handle the special case of a typedef to void funciton parameter to beBernhard Schommer2015-10-051-2/+2
* Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2015-10-0411-24/+83
|\
| * Fixed minor typos in the comments.Bernhard Schommer2015-10-042-2/+2
| * Ensure that there are file directives for all files used in the debugBernhard Schommer2015-10-046-15/+28
| * Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-043-7/+53
* | Activate the advanced debug for the gcc build.Bernhard Schommer2015-10-031-1/+2
|/
* Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.mlBernhard Schommer2015-10-022-0/+2
* Use rev_map so that the debug locations are in the correct order.Bernhard Schommer2015-10-021-1/+1
* Merge branch 'gnu-debug'Bernhard Schommer2015-10-0211-149/+255
|\
| * First try of debug information for gcc.Bernhard Schommer2015-10-0211-106/+195
| * Started implementation of gnu compatible debug information.Bernhard Schommer2015-10-024-48/+65
* | Quote the section names in the json files.Bernhard Schommer2015-10-021-1/+1
* | Add also all files for local variables.Bernhard Schommer2015-10-021-0/+1
* | Always call print debug_section in the prologue.Bernhard Schommer2015-10-022-19/+19
|/
* Moved the types defined by the Debug Interface into a separate file.Bernhard Schommer2015-10-013-146/+163
* Cleanup of now no longer needed functions.Bernhard Schommer2015-10-016-51/+1
* Merge pull request #57 from jhjourdan/parser_fixBernhard Schommer2015-10-018-161/+403
|\
| * Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-308-161/+403
* | Removed the debug output for the debug information.Bernhard Schommer2015-10-011-2/+1
* | Use also fucntion id for local variables since atom is not unique.Bernhard Schommer2015-10-015-24/+24
* | Do not move the line directives.Bernhard Schommer2015-10-011-5/+9
* | Use different entry_to_label mapping for each compilation unit.Bernhard Schommer2015-10-011-3/+20
* | Only print locations for symbols that are present in the assembler.Bernhard Schommer2015-10-016-5/+23
* | Remove unused globals also from the debug informations.Bernhard Schommer2015-10-016-16/+36
* | More robust dwarf generation. Do not add incomplete local variablesBernhard Schommer2015-09-302-14/+30
* | Also add the rest to the producer tag.Bernhard Schommer2015-09-301-1/+2
* | Removed newline in version string and add buildnr and tag if existing toBernhard Schommer2015-09-302-2/+7
generated by cgit (git 2.34.1) at 2024-06-20 15:14:18 +0000