aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | Fixed some comments.François Pottier2015-10-281-16/+16
| |/ /
* | | Use ifndef correct. Bug 17481Bernhard Schommer2015-10-271-1/+1
* | | Test if menhir includes is set before trying to set it.Bernhard Schommer2015-10-271-1/+5
* | | Allow the MENHIR_INCLUDE path to be set by environment.Bernhard Schommer2015-10-271-4/+3
|/ /
* | Fixed typo in AsmToJson.Bernhard Schommer2015-10-261-1/+1
* | 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 branch 'fpottier-clean'Bernhard Schommer2015-10-2626-126/+6195
|\ \ \
| * | | Merge branch 'clean' of git://github.com/fpottier/CompCert into fpottier-cleanBernhard Schommer2015-10-2626-126/+6195
|/| | | | |/ /
| * | Merge branch 'clean' of github.com:fpottier/CompCert into cleanFrançois Pottier2015-10-230-0/+0
| |\ \
| | * \ Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-23289-20497/+17037
| | |\ \
| * | \ \ Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-23289-20497/+17037
| |\ \ \ \ | | |/ / / | |/| / / | | |/ /
| * | | Updated [configure] to require today's Menhir.François Pottier2015-10-231-3/+4
| * | | Added copyright banners to the new files.François Pottier2015-10-238-0/+94
| * | | Added a few cleanup commands in [make clean].François Pottier2015-10-232-2/+3
| * | | 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-239-8/+5791
| * | | 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
| * | | 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
* | | | 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
generated by cgit (git 2.34.1) at 2024-07-02 23:30:58 +0000