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
/
mppa
/
interop
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc
Cyril SIX
2019-06-17
1
-1
/
+3
|
*
Reorganized the test/mppa/ tests to have fewer of them
Cyril SIX
2019-03-22
8
-8
/
+18
|
*
Replacing all the - by * : it works!
Cyril SIX
2019-03-19
2
-185
/
+185
|
*
Trying to replace all the + by -
Cyril SIX
2019-03-19
2
-185
/
+185
|
*
[TEST BROKEN] Trying to replace some int by float in stackhell interop test
Cyril SIX
2019-03-19
3
-68
/
+69
|
*
Small improvements to interop test Makefile
Cyril SIX
2019-03-19
2
-4
/
+33
|
*
Added the use of two va_list in a va_arg test
Cyril SIX
2018-12-11
1
-3
/
+9
|
*
In va_arg tests, 2nd argument of va_start is now correct
Cyril SIX
2018-12-11
2
-9
/
+9
|
*
Fixed div64 and mod64
Cyril SIX
2018-12-11
1
-18
/
+22
|
*
Finished implementation of va_arg + testing done
Cyril SIX
2018-11-30
1
-3
/
+3
|
*
Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie
Cyril SIX
2018-11-28
2
-7
/
+467
|
*
Added GCC-compcert call test with a very high register pressure
Cyril SIX
2018-11-28
4
-4
/
+207
|
*
Added tests where GCC calls CompCert functions
Cyril SIX
2018-11-27
1
-5
/
+22
|
*
Interoperability tests passed (no va_arg yet)
Cyril SIX
2018-11-23
13
-0
/
+347