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
path:
root
/
test
/
regression
/
Results
Commit message (
Expand
)
Author
Age
Files
Lines
*
[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...
Cyril SIX
2021-06-01
1
-0
/
+1
*
Updating varargs2 results for kvx
Cyril SIX
2021-06-01
1
-0
/
+1
*
Merge branch 'master' into merge_master_8.13.1
Sylvain Boulmé
2021-03-23
2
-98
/
+1
|
\
|
*
Remove regression/interop1 test
Xavier Leroy
2021-01-18
1
-98
/
+0
|
*
RISC-V: fix FP calling conventions
Xavier Leroy
2021-01-14
1
-1
/
+1
|
*
RISC-V: wrong fixup code generated for vararg calls with fixed FP args
Xavier Leroy
2021-01-10
1
-0
/
+1
*
|
Fixing test/regression for KVX
v3.8_kvx
Cyril SIX
2020-12-07
1
-0
/
+391
*
|
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
David Monniaux
2020-11-18
6
-40
/
+393
|
\
|
|
*
Add test for __builtin_sqrt and __builtin_fabsf
Xavier Leroy
2020-07-27
1
-0
/
+3
|
*
Refactor regression testing of built-in functions
Xavier Leroy
2020-07-27
6
-40
/
+390
*
|
rename result file
David Monniaux
2020-05-29
1
-0
/
+0
*
|
Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-work
Cyril SIX
2020-04-01
1
-38
/
+836
|
\
|
|
*
Add a test for int64 -> float32 conversion
Xavier Leroy
2020-03-30
1
-38
/
+836
*
|
Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...
David Monniaux
2020-03-03
1
-0
/
+11
|
\
\
|
|
/
|
/
|
|
*
[regression to check!] Merge tag 'v3.6' into mppa-work
Cyril SIX
2019-10-16
2
-0
/
+17
|
|
\
|
*
|
varargs2 now work correctly
Cyril SIX
2019-09-25
1
-0
/
+11
|
*
|
If-conversion optimization
Xavier Leroy
2019-05-31
1
-0
/
+26
*
|
|
Add interoperability test for functions returning small integer types
Xavier Leroy
2020-02-21
1
-0
/
+8
|
|
/
|
/
|
*
|
Test for the compilation of floating-point literals
Xavier Leroy
2019-08-08
1
-0
/
+2
*
|
AArch64 port
Xavier Leroy
2019-08-08
1
-0
/
+15
*
|
If-conversion optimization
Xavier Leroy
2019-06-06
1
-0
/
+26
|
/
*
Revised attachment of name attributes to structs, unions, enums
Xavier Leroy
2019-02-25
1
-0
/
+1
*
Add regression test for "aligned" attribute
Xavier Leroy
2019-02-25
1
-0
/
+11
*
Attach _Alignas to names and refactor _Alignas checks (#133)
Bernhard Schommer
2018-09-10
1
-0
/
+1
*
Issue with packed structs and sizeof, alignof, offsetof in cparser/
Xavier Leroy
2018-08-17
2
-0
/
+24
*
Remove the `_Alignas(expr)` construct (#125)
Xavier Leroy
2018-06-07
1
-9
/
+9
*
Initialization of union bit fields
Xavier Leroy
2018-04-25
1
-0
/
+8
*
Turn delicate case of designated re-initialization into error (#70)
Xavier Leroy
2018-03-30
1
-1
/
+0
*
Add regression test for issue #211
Xavier Leroy
2018-01-13
1
-0
/
+1
*
Extend builtin arguments with a pointer addition operator, continued
Xavier Leroy
2017-07-06
1
-0
/
+2
*
Extend builtin arguments with a pointer addition operator
Xavier Leroy
2017-07-06
1
-0
/
+5
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
1
-0
/
+12
*
Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...
Xavier Leroy
2016-10-27
1
-0
/
+0
*
Update the tests in test/regression, continued
Xavier Leroy
2016-10-24
1
-0
/
+1
*
Update the tests and test infrastructure in test/regression
Xavier Leroy
2016-10-24
6
-0
/
+58
*
Turn 64-bit integer division and modulus by constants into multiply-high
Xavier Leroy
2016-10-04
1
-0
/
+2160
*
Unwanted partial constant propagation in 64-bit integer arguments to builtins
Xavier Leroy
2016-07-08
3
-0
/
+4
*
Revised handling of old-style, K&R function definitions
Xavier Leroy
2016-06-24
1
-0
/
+3
*
Add CLZ builtins for ARM and IA32
Xavier Leroy
2015-12-22
3
-2
/
+10
*
Issue #71: incorrect initialization of wchar_t arrays from wide string literal
Xavier Leroy
2015-11-13
1
-0
/
+3
*
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
2
-0
/
+3
|
\
|
*
Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64
Xavier Leroy
2015-10-11
1
-0
/
+2
|
|
\
|
|
*
Test __builtin_isel.
Xavier Leroy
2015-09-13
1
-0
/
+2
*
|
|
Better handling of old-style K&R function declarations:
Jacques-Henri Jourdan
2015-11-01
1
-0
/
+10
|
/
/
*
/
Fixed a few bugs in the pre parser. In particular, the following code
Jacques-Henri Jourdan
2015-09-30
1
-0
/
+0
|
/
*
More tests for alias analysis.
Xavier Leroy
2015-07-20
1
-0
/
+1
*
Test to check that alias analysis is prudently conservative on ill-defined po...
Xavier Leroy
2015-07-19
1
-0
/
+7
*
Merge branch 'master' of https://github.com/AbsInt/CompCert
Xavier Leroy
2015-07-08
2
-3
/
+3
|
\
|
*
Turn off copy optimization when returning a composite by reference.
Xavier Leroy
2015-07-08
1
-0
/
+0
|
*
Fix issue with bit fields of type _Bool
Xavier Leroy
2015-07-08
1
-3
/
+3
[next]