index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie
Cyril SIX
2018-11-28
3
-12
/
+471
*
Added a jobs parameter to the test scripts
Cyril SIX
2018-11-28
4
-7
/
+13
*
mppa_k1c compiles
Cyril SIX
2018-11-28
2
-9
/
+3
*
Merge branch 'mppa_k1c' into works_for_x86_not_for_k1
Cyril SIX
2018-11-28
9
-18
/
+238
|
\
|
*
Added GCC-compcert call test with a very high register pressure
Cyril SIX
2018-11-28
5
-9
/
+212
|
*
Added tests where GCC calls CompCert functions
Cyril SIX
2018-11-27
5
-9
/
+26
*
|
compilation Asmexpandaux both for x86/ and mppa_k1c/
Sylvain Boulmé
2018-11-28
6
-5
/
+17
*
|
Compiles for x86 and mppa_k1c (except Asmexpandaux.ml)
Sylvain Boulmé
2018-11-27
4
-10
/
+19
*
|
BROKEN - works for x86, not for k1 anymore
Cyril SIX
2018-11-26
8
-22
/
+16
|
/
*
Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow that
Cyril SIX
2018-11-26
5
-1588
/
+9
*
Interoperability tests passed (no va_arg yet)
Cyril SIX
2018-11-23
14
-0
/
+355
*
Fixed andd test not consistent with the rest
Cyril SIX
2018-11-23
1
-1
/
+1
*
Changed ABI to match GCC - interoperability not tested yet
Cyril SIX
2018-11-23
7
-167
/
+170
*
Mise à jour vis à vis de CompCert 3.4
Cyril SIX
2018-11-21
7
-10
/
+51
*
Merge tag 'v3.4' into mppa_k1c
Cyril SIX
2018-11-21
126
-2299
/
+4255
|
\
|
*
Updates for release 3.4
v3.4
Xavier Leroy
2018-09-17
2
-2
/
+2
|
*
Bug 24510
Bernhard Schommer
2018-09-14
0
-0
/
+0
|
*
flocq: minor cleaning (#257)
Vincent Laporte
2018-09-14
1
-3
/
+2
|
*
Update change log for 3.4, continued
Xavier Leroy
2018-09-14
1
-2
/
+5
|
*
Improved diagnostics: spelling, wording, etc (#138)
Michael Schmidt
2018-09-14
5
-15
/
+15
|
*
Simplified code. Bug 24067
Bernhard Schommer
2018-09-12
1
-8
/
+8
|
*
Tentatively support Coq 8.8.2
Xavier Leroy
2018-09-12
1
-2
/
+2
|
*
Typo in OCaml version number
Xavier Leroy
2018-09-12
1
-1
/
+1
|
*
Update version and change log in preparation for public release 3.4
Xavier Leroy
2018-09-12
2
-1
/
+63
|
*
Generate a nop instruction after some ais annotations (#137)
Bernhard Schommer
2018-09-12
14
-28
/
+64
|
*
Fatal error instead of error for bit-fields.
Bernhard Schommer
2018-09-12
1
-1
/
+1
|
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
6
-20
/
+22
|
*
Ignore generated conflict file. Bug 24455
Bernhard Schommer
2018-09-10
1
-0
/
+1
|
*
Bug 23389
Bernhard Schommer
2018-09-04
0
-0
/
+0
|
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2018-09-04
1
-1
/
+1
|
|
\
|
|
*
Typo in comment
Xavier Leroy
2018-09-03
1
-1
/
+1
|
*
|
document new named warning class 'reduced-alignment', bug 23389
Michael Schmidt
2018-09-04
1
-0
/
+4
|
|
/
|
*
Move parameter check.
Bernhard Schommer
2018-09-03
1
-2
/
+6
|
*
New diagnostic for reduced alignment (#117)
Bernhard Schommer
2018-08-29
3
-3
/
+38
|
*
Bug 24374
Bernhard Schommer
2018-08-29
0
-0
/
+0
|
*
Merge pull request #251 from AbsInt/configure-error-behavior
Xavier Leroy
2018-08-29
1
-0
/
+14
|
|
\
|
|
*
Improve reporting of configuration errors
Xavier Leroy
2018-08-28
1
-0
/
+10
|
|
*
Remove leftover Makefile.config before configuration
Xavier Leroy
2018-08-28
1
-0
/
+4
|
*
|
Bug 24366
Bernhard Schommer
2018-08-28
0
-0
/
+0
|
*
|
Import prim token notations before using them, continued
Xavier Leroy
2018-08-27
1
-0
/
+1
|
*
|
Import prim token notations before using them
Jason Gross
2018-08-27
4
-1
/
+4
|
*
|
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
[next]