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
...
*
|
Bug 24351
Bernhard Schommer
2018-08-27
0
-0
/
+0
|
/
*
Make generated file cparser/Parser.v read-only
Xavier Leroy
2018-08-27
1
-0
/
+2
*
Improve execution of regression tests
Xavier Leroy
2018-08-24
4
-16
/
+45
*
Edit documentation comments for [alignas_attribute] and [has_std_alignas]
Xavier Leroy
2018-08-24
1
-2
/
+3
*
More standard compliant handling of _Alignas.
Bernhard Schommer
2018-08-24
1
-0
/
+11
*
Add check for _Alignas attribute.
Bernhard Schommer
2018-08-24
2
-0
/
+6
*
Reimplement attr_array_applicable in terms of class_of_attribute
Xavier Leroy
2018-08-24
1
-3
/
+2
*
Preserve attribute(("aligned")) in the AST, don't map it to _Alignas
Xavier Leroy
2018-08-24
2
-2
/
+3
*
Fix typo in pattern match of error case, bug 24326
Michael Schmidt
2018-08-22
1
-1
/
+1
*
Document new named warning for tentative static definitions with incomplete t...
Michael Schmidt
2018-08-21
1
-0
/
+4
*
Document new named warning for flexible arrays, bug 23324
Michael Schmidt
2018-08-21
1
-1
/
+1
*
Document new named warning for flexible arrays, bug 23324
Michael Schmidt
2018-08-21
1
-0
/
+4
*
Fix passing of -u to linker.
Bernhard Schommer
2018-08-21
1
-1
/
+1
*
Diagnostic for wrong application of restrict (#119)
Bernhard Schommer
2018-08-21
3
-7
/
+33
*
Harden the extasm.c test, continued
Xavier Leroy
2018-08-20
2
-5
/
+5
*
Improve support and diagnostic for type qualified arrays (#118)
Bernhard Schommer
2018-08-20
3
-1
/
+18
*
Added warning for incomplete tentative static defs (#114)
Bernhard Schommer
2018-08-20
3
-4
/
+11
*
Harden the extasm.c test
Xavier Leroy
2018-08-20
2
-2
/
+7
*
Additional checks for flex arrays in structs (#93)
Bernhard Schommer
2018-08-20
5
-5
/
+30
*
Add sizeof_reg and new Machine configurations (#129)
Bernhard Schommer
2018-08-20
4
-5
/
+25
*
Turn error into fatal error for unnamed parameter.
Bernhard Schommer
2018-08-20
1
-2
/
+4
*
For "packed" attribute, check that 3rd parameter is 0 or 1
Xavier Leroy
2018-08-17
1
-1
/
+1
*
Wrong AST for GCC-style attributes
Xavier Leroy
2018-08-17
1
-1
/
+1
*
Check for bit-fields in __builtin_offsetof
Xavier Leroy
2018-08-17
1
-1
/
+4
*
Issue with packed structs and sizeof, alignof, offsetof in cparser/
Xavier Leroy
2018-08-17
8
-102
/
+202
*
Added a check for parameters without identifiers. (#128)
Bernhard Schommer
2018-08-17
1
-5
/
+7
*
Earlier check for invalid asm outputs. (#130)
Bernhard Schommer
2018-08-17
2
-2
/
+5
*
Also check parameters for unknown attributes.
Bernhard Schommer
2018-08-16
1
-0
/
+1
*
Remove undocumented option.
Bernhard Schommer
2018-08-07
1
-4
/
+0
*
Various improvements in the wording of diagnostics.
Michael Schmidt
2018-08-02
13
-99
/
+98
*
Added Pldi to instr_size.
Bernhard Schommer
2018-08-01
1
-0
/
+1
*
Bug 24150
Michael Schmidt
2018-07-19
0
-0
/
+0
*
Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose be...
Michael Schmidt
2018-07-19
1
-2
/
+2
*
Compatibility with OCaml 4.07 (#241) continued
Bernhard Schommer
2018-07-12
1
-1
/
+1
*
Fix expansion of ctzl/clzl builtin for 64bit targets (#127)
Michael Schmidt
2018-07-12
1
-2
/
+15
*
Bug 24090, Bug 24091
Bernhard Schommer
2018-07-11
0
-0
/
+0
*
Compatibility with OCaml 4.07 (#241) continued
Xavier Leroy
2018-07-10
1
-1
/
+1
*
Clean .foo.aux files created by coqc
Xavier Leroy
2018-07-10
1
-1
/
+1
*
Support Coq 8.8.1 (#242)
Xavier Leroy
2018-07-10
1
-3
/
+3
*
Compatibility with OCaml 4.07 (#241)
Xavier Leroy
2018-07-10
1
-1
/
+1
*
Update delexer for BUILTIN_OFFSETOF. Bug 23929
Bernhard Schommer
2018-07-05
1
-0
/
+1
*
Bug 23405
Bernhard Schommer
2018-06-25
0
-0
/
+0
*
Typo in -iquote preprocessing option (#239)
Frédéric Besson
2018-06-20
1
-1
/
+1
*
clightgen: add info on configuration and platform to generated .v files (#238)
Xavier Leroy
2018-06-20
2
-4
/
+21
*
Bug 23926
Bernhard Schommer
2018-06-18
0
-0
/
+0
*
Typo in Ctyping entry
Xavier Leroy
2018-06-17
1
-1
/
+1
*
Treat Outgoing stack slots as caller-save in LTL/Linear semantics (#237)
Xavier Leroy
2018-06-17
6
-93
/
+145
*
Ignore *.v files generated by tests
Bernhard Schommer
2018-06-07
1
-0
/
+2
*
Bug 23383
Bernhard Schommer
2018-06-07
0
-0
/
+0
*
Remove the `_Alignas(expr)` construct (#125)
Xavier Leroy
2018-06-07
7
-611
/
+598
[prev]
[next]