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
/
Makefile
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge branch 'kvx-work' into kvx-work-merge3.8
Cyril SIX
2020-12-04
1
-0
/
+2
|
\
|
*
trace quand le simulateur est appele
Sylvain Boulmé
2020-07-24
1
-1
/
+1
|
*
Temporary prepass flags in test/regression
Cyril SIX
2020-07-24
1
-0
/
+2
*
|
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
David Monniaux
2020-11-18
1
-3
/
+2
|
\
\
|
|
/
|
/
|
|
*
Refactor regression testing of built-in functions
Xavier Leroy
2020-07-27
1
-1
/
+1
*
|
k1c -> kvx changes
David Monniaux
2020-05-26
1
-2
/
+2
*
|
Fixing packedstruct issue
v3.7_mppa_2020-04-01
Cyril SIX
2020-04-01
1
-3
/
+3
*
|
disable some tests
David Monniaux
2020-03-27
1
-4
/
+4
*
|
[regression to check!] Merge tag 'v3.6' into mppa-work
Cyril SIX
2019-10-16
1
-1
/
+2
|
\
|
|
*
Test for the compilation of floating-point literals
Xavier Leroy
2019-08-08
1
-1
/
+1
|
*
If-conversion optimization
Xavier Leroy
2019-06-06
1
-1
/
+1
*
|
Removing NaNs from TESTS_DIFF (float precision issues..)
Cyril SIX
2019-09-25
1
-0
/
+3
*
|
varargs2 now work correctly (bis)
Cyril SIX
2019-09-25
1
-2
/
+0
*
|
Removing packed structs tests (do not work for now)
Cyril SIX
2019-09-25
1
-0
/
+2
*
|
More work on test, regression/packedstruct1.c and regression/varargs2.c don't...
Cyril SIX
2019-09-20
1
-3
/
+7
*
|
__builtin_bswap16, 32 and 64
Cyril SIX
2019-09-20
1
-2
/
+2
*
|
Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...
David Monniaux
2019-06-03
1
-1
/
+1
|
\
\
|
*
|
If-conversion optimization
Xavier Leroy
2019-05-31
1
-1
/
+1
|
|
/
*
/
Disabling the packedstruct tests from test/regression
Cyril SIX
2019-04-09
1
-1
/
+2
|
/
*
Add regression test for "aligned" attribute
Xavier Leroy
2019-02-25
1
-1
/
+1
*
Test for NULL in variable argument lists
Xavier Leroy
2019-02-04
1
-1
/
+1
*
Improve execution of regression tests
Xavier Leroy
2018-08-24
1
-13
/
+4
*
Harden the extasm.c test, continued
Xavier Leroy
2018-08-20
1
-1
/
+1
*
Harden the extasm.c test
Xavier Leroy
2018-08-20
1
-1
/
+3
*
Add regression test for issue #211
Xavier Leroy
2018-01-13
1
-1
/
+2
*
Typo in Makefile: "ia32" is now "x86"
Xavier Leroy
2017-09-19
1
-1
/
+1
*
test/*/Makefile: suppress dependencies on ../../ccomp
Xavier Leroy
2017-09-11
1
-4
/
+4
*
For running tests with the interpreter, use the correct -stdlib option
Xavier Leroy
2017-08-28
1
-3
/
+2
*
test/: add a CCOMPOPTS make variable to pass additional compile-time flags
Xavier Leroy
2017-08-26
1
-1
/
+1
*
Extend builtin arguments with a pointer addition operator
Xavier Leroy
2017-07-06
1
-1
/
+1
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
1
-3
/
+3
*
Update the tests in test/regression, continued
Xavier Leroy
2016-10-24
1
-13
/
+4
*
Updates to the local test suite
Xavier Leroy
2016-07-24
1
-10
/
+0
*
Revised handling of old-style, K&R function definitions
Xavier Leroy
2016-06-24
1
-1
/
+1
*
Fixed a few bugs in the pre parser. In particular, the following code
Jacques-Henri Jourdan
2015-09-30
1
-1
/
+2
*
test/regression: test packedstruct1 only if unaligned accesses are supported.
Xavier Leroy
2015-08-21
1
-2
/
+11
*
Test to check that alias analysis is prudently conservative on ill-defined po...
Xavier Leroy
2015-07-19
1
-1
/
+1
*
Turn off copy optimization when returning a composite by reference.
Xavier Leroy
2015-07-08
1
-1
/
+1
*
Signedness issue in specification of subtraction between two pointers.
Xavier Leroy
2015-06-30
1
-1
/
+1
*
Bitfield improvements continued: perform bitfield expansion before unblocking...
Xavier Leroy
2015-04-28
1
-1
/
+1
*
Cleanups and updates for extended asm.
Xavier Leroy
2015-04-21
1
-1
/
+1
*
ABI compatibility for struct/union function arguments passed by value.
Xavier Leroy
2015-01-27
1
-1
/
+8
*
Wrong handling of block-local function declarations (in Elab.ml).
Xavier Leroy
2014-11-26
1
-1
/
+2
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
1
-1
/
+1
*
checklink/Check.ml: missing SDA addressing for store instructions.
xleroy
2014-08-19
1
-1
/
+1
*
Add some tests for "switch" over 32 and 64-bit integers.
xleroy
2014-08-17
1
-1
/
+1
*
PowerPC port: refactored the expansion of built-in functions and
xleroy
2014-07-28
1
-1
/
+12
*
Empty declarations
jjourdan
2014-05-23
1
-1
/
+1
*
Merge of branch linear-typing:
xleroy
2014-04-06
1
-1
/
+2
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
1
-3
/
+4
[next]