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
...
*
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
*
Bug 23870
Bernhard Schommer
2018-06-07
0
-0
/
+0
*
Ensure compatibility with Menhir before and after version 20180530
Xavier Leroy
2018-06-06
2
-4
/
+10
*
Fix menhirLib namespaces, following changes in Menhir version 20180530
Jacques-Henri Jourdan
2018-06-06
13
-3
/
+3
*
bug 23325, document recently introduced named warnings
Michael Schmidt
2018-06-05
1
-2
/
+2
*
bug 23325, document recently introduced named warnings
Michael Schmidt
2018-06-05
1
-3
/
+3
*
bug 23325, document recently introduced named warnings
Michael Schmidt
2018-06-05
1
-1
/
+1
*
bug 23325, document recently introduced named warnings
Michael Schmidt
2018-06-05
1
-4
/
+28
*
bug 23325, document changed default for c11 named warning
Michael Schmidt
2018-06-05
1
-1
/
+1
*
Bug 23325, Bug 23369, Bug 23351
Bernhard Schommer
2018-06-04
0
-0
/
+0
*
Warn for defs and uses of static variables in nonstatic inline functions
Xavier Leroy
2018-06-04
3
-16
/
+42
*
Parameterize elab_expr by the full elaboration context
Xavier Leroy
2018-06-04
1
-30
/
+42
*
Support redefinition of a typedef in another scope (#122)
Xavier Leroy
2018-06-04
1
-2
/
+2
*
Turn off the warning "C11 extension" by default
Xavier Leroy
2018-06-04
1
-1
/
+0
*
Warn that _Alignas and _Alignof are C11 extensions
Xavier Leroy
2018-06-04
1
-1
/
+3
*
Don't depend on ../../clightgen
Xavier Leroy
2018-06-02
1
-3
/
+3
*
Model external calls as destroying all caller-save registers
Xavier Leroy
2018-06-01
16
-20
/
+127
*
Use the standalone coq2html tool to generate the HTML documentation
Xavier Leroy
2018-06-01
6
-762
/
+117
*
Add tests for clightgen
Xavier Leroy
2018-06-01
5
-0
/
+985
*
Install the VERSION file along the .vo files
Benoît Viguier
2018-05-31
1
-0
/
+1
*
Bug 23806
Bernhard Schommer
2018-05-30
0
-0
/
+0
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2018-05-30
2
-16
/
+16
|
\
|
*
Update for release 3.3
v3.3
Xavier Leroy
2018-05-30
1
-1
/
+1
|
*
coq2html: use OCaml's alternate string literals for multi-line strings
Xavier Leroy
2018-05-30
1
-15
/
+15
*
|
Fix 23806
Bernhard Schommer
2018-05-30
0
-0
/
+0
|
/
*
Changelog: minor updates for 3.3
Xavier Leroy
2018-05-30
1
-7
/
+4
*
Mention optional installation of .vo files
Xavier Leroy
2018-05-30
1
-0
/
+3
*
Install Coq development (.vo files) if requested (#232)
Xavier Leroy
2018-05-30
2
-4
/
+36
*
Updates for public release 3.3
Xavier Leroy
2018-05-30
2
-1
/
+73
*
Simplify module Complements and add separate compilation (#121)
Xavier Leroy
2018-05-29
1
-74
/
+172
*
Allow align attribute of zero. (#120)
Bernhard Schommer
2018-05-29
1
-2
/
+2
*
Removed duplicated whitespace. Bug 23660
Bernhard Schommer
2018-05-29
1
-1
/
+1
*
String literals are l-values and have array types (#116)
Bernhard Schommer
2018-05-27
4
-23
/
+21
*
Preserve storage class for functions declared within a block
Xavier Leroy
2018-05-26
1
-7
/
+10
*
Warning for extern declaration after definition.
Bernhard Schommer
2018-05-26
3
-1
/
+11
*
Reject "e1, e2" as a compile-time constant expression
Xavier Leroy
2018-05-24
1
-5
/
+5
*
Define the C11 type max_align_t (#115)
Bernhard Schommer
2018-05-24
1
-0
/
+9
[prev]
[next]