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
*
Revise and simplify the -fstruct-return and -fstruct-passing options.
Xavier Leroy
2015-12-08
4
-46
/
+29
*
Ignore .merlin files. Bug 17742
Bernhard Schommer
2015-12-07
1
-0
/
+1
*
Ignore *.cmt(i) files and allow global COMPFLAGS.
Bernhard Schommer
2015-12-07
2
-4
/
+4
*
Sort strings in the debug_str section.
Bernhard Schommer
2015-12-04
1
-0
/
+1
*
Fixed regression introduce by merge of PR#69.
Bernhard Schommer
2015-12-03
5
-4
/
+17
*
Open files in binary mode.
Bernhard Schommer
2015-11-30
2
-3
/
+2
*
New option --conf.
Bernhard Schommer
2015-11-26
2
-18
/
+31
*
Merge pull request #76 from fpottier/cut
Bernhard Schommer
2015-11-24
2
-2
/
+3
|
\
|
*
For uniformity with other messages, added an "Ill-formed expression.".
François Pottier
2015-11-24
1
-0
/
+1
|
*
Use 1-based column numbers instead of 0-based.
François Pottier
2015-11-24
1
-2
/
+2
*
|
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2015-11-24
2
-630
/
+616
|
\
\
|
*
|
Merge pull request #74 from fpottier/cut
Bernhard Schommer
2015-11-24
2
-630
/
+616
|
|
\
|
|
|
*
Update of the auto-generated comments.
François Pottier
2015-11-24
1
-610
/
+611
|
|
*
A simplification in the grammar, leading to fewer states in the automaton
François Pottier
2015-11-24
2
-19
/
+4
|
|
*
Fix a typo in a syntax error message.
François Pottier
2015-11-23
1
-1
/
+1
|
|
/
*
/
Separate assembler options for the diab backend.
Bernhard Schommer
2015-11-20
1
-1
/
+4
|
/
*
Added the compilation unit in the json export. Bug 17659.
Bernhard Schommer
2015-11-19
1
-4
/
+4
*
Added now option to control debug output.
Bernhard Schommer
2015-11-16
3
-20
/
+30
*
Tentative fix for issue #70 (menhirLib recompilation problems)
Xavier Leroy
2015-11-13
1
-2
/
+2
*
Issue #71: incorrect initialization of wchar_t arrays from wide string literal
Xavier Leroy
2015-11-13
3
-6
/
+35
*
Merge branch 'master' of ssh://github.com/AbsInt/CompCert
Xavier Leroy
2015-11-13
14
-2357
/
+1932
|
\
|
*
Merge pull request #69 from jhjourdan/parser_fix
Bernhard Schommer
2015-11-12
11
-2353
/
+1926
|
|
\
|
|
*
Typo, coherence in error messages
Jacques-Henri Jourdan
2015-11-07
2
-7
/
+8
|
|
*
Integrate a few comments of F. Pottier into the pre_parser and handcrafted.me...
Jacques-Henri Jourdan
2015-11-07
3
-141
/
+139
|
|
*
Updating deLexer to PRE_NAME tokens
Jacques-Henri Jourdan
2015-11-07
1
-0
/
+3
|
|
*
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-07
15
-30
/
+65
|
|
|
\
|
|
*
\
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
1
-2
/
+0
|
|
|
\
\
|
|
*
\
\
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
1
-166
/
+183
|
|
|
\
\
\
|
|
*
\
\
\
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
314
-20824
/
+23064
|
|
|
\
\
\
\
|
|
*
|
|
|
|
Better handling of old-style K&R function declarations:
Jacques-Henri Jourdan
2015-11-01
7
-261
/
+345
|
|
*
|
|
|
|
other, simpler fix: the lexer emits 2 tokens for each identifier
Jacques-Henri Jourdan
2015-10-08
4
-257
/
+198
|
*
|
|
|
|
|
Merge pull request #68 from fpottier/cut
Bernhard Schommer
2015-11-12
3
-3
/
+3
|
|
\
\
\
\
\
\
|
|
*
|
|
|
|
|
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
|
*
|
|
|
|
|
|
Do not enforce locations for function parameters.
Bernhard Schommer
2015-11-10
1
-1
/
+3
*
|
|
|
|
|
|
|
Harden Driver.command against EINTR errors
Xavier Leroy
2015-11-10
1
-1
/
+5
|
/
/
/
/
/
/
/
*
|
|
|
|
|
|
Handle large static initializers for global arrays
Xavier Leroy
2015-11-09
8
-123
/
+210
*
|
|
|
|
|
|
bug 17544, use json-printer function for mfcr instruction
Michael Schmidt
2015-11-09
1
-3
/
+2
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Fix for switch was to eager.
Bernhard Schommer
2015-11-06
1
-6
/
+8
*
|
|
|
|
|
Remove debug stmts during grouping of switch.
Bernhard Schommer
2015-11-06
3
-7
/
+19
*
|
|
|
|
|
Added printing functions for debug annotations.
Bernhard Schommer
2015-11-06
1
-0
/
+3
*
|
|
|
|
|
Merge branch 'master' of git+ssh://ssh.absint.com/common/repositories/git/too...
Michael Schmidt
2015-11-06
1
-2
/
+2
|
\
\
\
\
\
\
|
*
|
|
|
|
|
Do not print parameter names in function types.
Bernhard Schommer
2015-11-06
1
-2
/
+2
|
|
/
/
/
/
/
*
/
/
/
/
/
bug 17567, typos
Michael Schmidt
2015-11-06
4
-11
/
+11
|
/
/
/
/
/
*
|
|
|
|
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
|
|
_
|
/
|
/
|
|
[next]