aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-0449-328/+5967
|\
| * Set [ErrorReports.debug] to [false].François Pottier2015-10-281-1/+1
| * Fixed some comments.François Pottier2015-10-281-16/+16
| * Merge pull request #61 from fpottier/cleanBernhard Schommer2015-10-261-5/+1
| |\
| | * Fixed one error message and removed two comments.François Pottier2015-10-261-5/+1
| * | Also redirect the output of stderr.Bernhard Schommer2015-10-261-2/+1
| |/
| * Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-2327-160/+206
| |\
| | * Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-cleanBernhard Schommer2015-10-201-84/+104
| | |\
| | * | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-149-40/+40
| | * | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1418-122/+122
| | * | Move strip functions to Cutil.Bernhard Schommer2015-10-122-0/+46
| * | | Added copyright banners to the new files.François Pottier2015-10-237-0/+82
| * | | Added a few cleanup commands in [make clean].François Pottier2015-10-231-1/+1
| * | | Added some handwritten .c files in tests/handwritten/.François Pottier2015-10-2311-0/+59
| * | | Install the new system for reporting syntax errors.François Pottier2015-10-237-6/+5777
| * | | Lexer update: use Menhir's incremental API instead of Menhir's traditional API.François Pottier2015-10-231-3/+16
| * | | Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].François Pottier2015-10-231-6/+10
| * | | Lexer cleanup: isolate the entry point into the lexer.François Pottier2015-10-231-6/+10
| * | | Added an %on_error_reduce declaration.François Pottier2015-10-231-0/+42
| * | | Changed [asm_flags] to a left-recursive list.François Pottier2015-10-231-1/+1
| * | | Removed the two uses of $syntaxerror in a semantic action.François Pottier2015-10-231-2/+7
| * | | Inlined [constant_expression] to save one state.François Pottier2015-10-231-1/+1
| * | | Reformulated [specifier_qualifier_list_no_typedef_name] as a left-recursive l...François Pottier2015-10-231-4/+4
| * | | Redefined [pointer] as a left-recursive list.François Pottier2015-10-231-7/+24
| * | | Replaced [declaration_specifiers_no_typedef_name] with [declaration_specifier...François Pottier2015-10-231-7/+3
| * | | Factorized [declaration_specifier_no_typedef_name].François Pottier2015-10-231-5/+9
| * | | Reformulated the definitions of [option] and [list] in a slightly more elegan...François Pottier2015-10-231-11/+13
| * | | Introduced [list] and [ilist]. Redefined [declaration_specifiers_no_type] as ...François Pottier2015-10-231-11/+22
| * | | Factorized [declaration_specifier_no_type].François Pottier2015-10-231-3/+7
| * | | Added a phantom parameter to [declaration].François Pottier2015-10-231-13/+18
| * | | Added a phantom parameter to [declaration_specifiers].François Pottier2015-10-231-7/+11
| * | | Added a phantom parameter to [abstract_declarator].François Pottier2015-10-231-4/+8
| * | | Added a phantom parameter to [specifier_qualifier_list].François Pottier2015-10-231-3/+4
| * | | A general comment about phantom parameters.François Pottier2015-10-231-0/+16
| * | | Remove all productions that involve the [error] token.François Pottier2015-10-231-34/+0
| * | | Added [Cerrors.fatal_error_raw].François Pottier2015-10-232-0/+13
| * | | Read the whole source C file into memory instad of reading it on demand.François Pottier2015-10-232-5/+17
| * | | Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of...François Pottier2015-10-221-10/+12
| | |/ | |/|
| * | 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