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
*
Change one line in [Lexer.mll] to obey API change in Menhir 20151110.
François Pottier
2015-11-10
2
-2
/
+2
*
Fix in cparser/GNUmakefile.
François Pottier
2015-11-06
1
-1
/
+1
*
Merge pull request #67 from fpottier/compress
Bernhard Schommer
2015-11-05
1
-1
/
+9
|
\
|
*
When printing a fragment of source text as part of an error message, compress...
François Pottier
2015-11-03
1
-1
/
+9
*
|
New option to control the debug information build.
Bernhard Schommer
2015-11-04
4
-5
/
+15
*
|
bug 17567, typos
Michael Schmidt
2015-11-04
1
-3
/
+3
*
|
bug 17567, typos
Michael Schmidt
2015-11-04
2
-2
/
+2
*
|
Removed unused p_char_list function. Bug 17544.
Bernhard Schommer
2015-11-03
1
-2
/
+0
*
|
Changed the name of a few ppc instructions. Bug 17544
Bernhard Schommer
2015-11-03
1
-3
/
+3
*
|
Simplify the Json export.
Bernhard Schommer
2015-11-03
1
-166
/
+183
|
/
*
Few simple rewrite for the AsmToJSON printer.
Bernhard Schommer
2015-10-29
1
-155
/
+147
*
Another typo in AsmToJson.
Bernhard Schommer
2015-10-29
1
-1
/
+1
*
Fixed some minor types in the asm printer.
Bernhard Schommer
2015-10-29
1
-1
/
+1
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2015-10-28
2
-17
/
+17
|
\
|
*
Merge pull request #62 from fpottier/comment
Bernhard Schommer
2015-10-28
2
-17
/
+17
|
|
\
|
|
*
Set [ErrorReports.debug] to [false].
François Pottier
2015-10-28
1
-1
/
+1
|
|
*
Fixed some comments.
François Pottier
2015-10-28
1
-16
/
+16
|
|
/
*
|
Use ifndef correct. Bug 17481
Bernhard Schommer
2015-10-27
1
-1
/
+1
*
|
Test if menhir includes is set before trying to set it.
Bernhard Schommer
2015-10-27
1
-1
/
+5
*
|
Allow the MENHIR_INCLUDE path to be set by environment.
Bernhard Schommer
2015-10-27
1
-4
/
+3
|
/
*
Fixed typo in AsmToJson.
Bernhard Schommer
2015-10-26
1
-1
/
+1
*
Merge pull request #61 from fpottier/clean
Bernhard Schommer
2015-10-26
1
-5
/
+1
|
\
|
*
Fixed one error message and removed two comments.
François Pottier
2015-10-26
1
-5
/
+1
*
|
Also redirect the output of stderr.
Bernhard Schommer
2015-10-26
1
-2
/
+1
*
|
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
[next]