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
/
general
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c
Cyril SIX
2018-11-14
57
-477
/
+0
|
\
|
*
Revamped the instruction testsuite (all instructions work except umodd and ud...
Cyril SIX
2018-11-13
58
-473
/
+0
*
|
Added all the working builtins for ALU. Added BCU and LSU without testing
Cyril SIX
2018-08-01
10
-9
/
+62
|
/
*
MPPA - Forgot to initialize variables in the tests
Cyril SIX
2018-06-06
1
-0
/
+2
*
WIP - Changed all the general tests to include PRNG (instead of small constants)
Cyril SIX
2018-06-05
57
-305
/
+389
*
MPPA - Added Builtins support. Starting with clzll and stsud
Cyril SIX
2018-06-05
2
-0
/
+9
*
MPPA - Added modulo and division 64 bits. Non certified
Cyril SIX
2018-05-21
2
-0
/
+16
*
MPPA - Added a lot more unit tests + refined coverage
Cyril SIX
2018-04-26
43
-0
/
+238
*
MPPA - Added test for division int by 2
Cyril SIX
2018-04-25
1
-0
/
+22
*
MPPA - added all shifts
Cyril SIX
2018-04-17
1
-0
/
+1
*
MPPA - Automatic generation of expected value for tests
Cyril SIX
2018-04-11
16
-8
/
+13
*
MPPA - fixed wrong extension in test files
Cyril SIX
2018-04-10
2
-0
/
+0
*
MPPA - Optimized branch generation for word compare to 0
Cyril SIX
2018-04-09
4
-0
/
+26
*
MPPA - Added regression tests
Cyril SIX
2018-04-05
12
-0
/
+70