index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
|
Merge branch 'fpottier-clean'
Bernhard Schommer
2015-10-26
26
-126
/
+6195
|
\
\
\
|
*
|
|
Merge branch 'clean' of git://github.com/fpottier/CompCert into fpottier-clean
Bernhard Schommer
2015-10-26
26
-126
/
+6195
|
/
|
|
|
|
|
/
/
|
*
|
Merge branch 'clean' of github.com:fpottier/CompCert into clean
François Pottier
2015-10-23
0
-0
/
+0
|
|
\
\
|
|
*
\
Merge remote branch 'upstream/master' into clean
François Pottier
2015-10-23
289
-20497
/
+17037
|
|
|
\
\
|
*
|
\
\
Merge remote branch 'upstream/master' into clean
François Pottier
2015-10-23
289
-20497
/
+17037
|
|
\
\
\
\
|
|
|
/
/
/
|
|
/
|
/
/
|
|
|
/
/
|
*
|
|
Updated [configure] to require today's Menhir.
François Pottier
2015-10-23
1
-3
/
+4
|
*
|
|
Added copyright banners to the new files.
François Pottier
2015-10-23
8
-0
/
+94
|
*
|
|
Added a few cleanup commands in [make clean].
François Pottier
2015-10-23
2
-2
/
+3
|
*
|
|
Added some handwritten .c files in tests/handwritten/.
François Pottier
2015-10-23
11
-0
/
+59
|
*
|
|
Install the new system for reporting syntax errors.
François Pottier
2015-10-23
9
-8
/
+5791
|
*
|
|
Lexer update: use Menhir's incremental API instead of Menhir's traditional API.
François Pottier
2015-10-23
1
-3
/
+16
|
*
|
|
Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].
François Pottier
2015-10-23
1
-6
/
+10
|
*
|
|
Lexer cleanup: isolate the entry point into the lexer.
François Pottier
2015-10-23
1
-6
/
+10
|
*
|
|
Added an %on_error_reduce declaration.
François Pottier
2015-10-23
1
-0
/
+42
|
*
|
|
Changed [asm_flags] to a left-recursive list.
François Pottier
2015-10-23
1
-1
/
+1
|
*
|
|
Removed the two uses of $syntaxerror in a semantic action.
François Pottier
2015-10-23
1
-2
/
+7
|
*
|
|
Inlined [constant_expression] to save one state.
François Pottier
2015-10-23
1
-1
/
+1
|
*
|
|
Reformulated [specifier_qualifier_list_no_typedef_name] as a left-recursive l...
François Pottier
2015-10-23
1
-4
/
+4
|
*
|
|
Redefined [pointer] as a left-recursive list.
François Pottier
2015-10-23
1
-7
/
+24
|
*
|
|
Replaced [declaration_specifiers_no_typedef_name] with [declaration_specifier...
François Pottier
2015-10-23
1
-7
/
+3
|
*
|
|
Factorized [declaration_specifier_no_typedef_name].
François Pottier
2015-10-23
1
-5
/
+9
|
*
|
|
Reformulated the definitions of [option] and [list] in a slightly more elegan...
François Pottier
2015-10-23
1
-11
/
+13
|
*
|
|
Introduced [list] and [ilist]. Redefined [declaration_specifiers_no_type] as ...
François Pottier
2015-10-23
1
-11
/
+22
|
*
|
|
Factorized [declaration_specifier_no_type].
François Pottier
2015-10-23
1
-3
/
+7
|
*
|
|
Added a phantom parameter to [declaration].
François Pottier
2015-10-23
1
-13
/
+18
|
*
|
|
Added a phantom parameter to [declaration_specifiers].
François Pottier
2015-10-23
1
-7
/
+11
|
*
|
|
Added a phantom parameter to [abstract_declarator].
François Pottier
2015-10-23
1
-4
/
+8
|
*
|
|
Added a phantom parameter to [specifier_qualifier_list].
François Pottier
2015-10-23
1
-3
/
+4
|
*
|
|
A general comment about phantom parameters.
François Pottier
2015-10-23
1
-0
/
+16
|
*
|
|
Remove all productions that involve the [error] token.
François Pottier
2015-10-23
1
-34
/
+0
|
*
|
|
Added [Cerrors.fatal_error_raw].
François Pottier
2015-10-23
2
-0
/
+13
|
*
|
|
A .gitignore entry.
François Pottier
2015-10-23
1
-0
/
+1
|
*
|
|
Read the whole source C file into memory instad of reading it on demand.
François Pottier
2015-10-23
2
-5
/
+17
|
*
|
|
Makefile.extr: [make clean] removes .automaton files.
François Pottier
2015-10-23
1
-0
/
+1
|
*
|
|
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
*
|
|
|
Added additional option for the renaming of the suffix of the sdump
Bernhard Schommer
2015-10-23
1
-2
/
+6
|
|
/
/
|
/
|
|
*
|
|
Added special treatment for large stack size for ppc.
Bernhard Schommer
2015-10-23
1
-3
/
+3
*
|
|
Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-clean
Bernhard Schommer
2015-10-20
3
-90
/
+180
|
\
|
|
|
*
|
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
[prev]
[next]