Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
compcert-kvx
18 Apr, 2018
1 commit
MPPA - added a Matrix Multiply test
· 511acb81
Cyril SIX
authored
Apr 18, 2018
511acb81
17 Apr, 2018
10 commits
MPPA - Added Pmull -> now able to run the sort test
· eb3fd167
Cyril SIX
authored
Apr 17, 2018
eb3fd167
MPPA - added Oaddrstack - problem in TargetPrinter.ml Pbuiltin EF_annot
· 13959517
Cyril SIX
authored
Apr 09, 2018
Conflicts: mppa_k1c/Asmgenproof1.v
13959517
MPPA - More shifts
· b6308529
Cyril SIX
authored
Apr 17, 2018
b6308529
MPPA - Forgot to uncomment debugging section of prng test
· b17acc2e
Cyril SIX
authored
Apr 17, 2018
b17acc2e
MPPA - added all shifts
· 3997c0bc
Cyril SIX
authored
Apr 17, 2018
3997c0bc
MPPA - Added CompCert tests
· 8a77a2d4
Cyril SIX
authored
Apr 17, 2018
8a77a2d4
MPPA - added merge sort + corrected bug in insertion + testing them together
· 1b8cf73a
Cyril SIX
authored
Apr 17, 2018
1b8cf73a
MPPA - tests - added insertion sort and selection sort
· eb1e1c79
Cyril SIX
authored
Apr 17, 2018
eb1e1c79
MPPA - changed UNIT_TEST names
· 04722ad0
Cyril SIX
authored
Apr 17, 2018
04722ad0
MPPA - Added uint64_t types to the tests + k1c test
· c740492e
Cyril SIX
authored
Apr 17, 2018
c740492e
16 Apr, 2018
1 commit
MPPA - added PRNG generator in the tests
· b2642416
Cyril SIX
authored
Apr 16, 2018
b2642416
13 Apr, 2018
1 commit
MPPA - Added optim for long unsigned cmp to 0.
· 0ef341c5
Cyril SIX
authored
Apr 09, 2018
0ef341c5
11 Apr, 2018
6 commits
Osub and Omul
· 9fd4e33a
Cyril SIX
authored
Apr 11, 2018
9fd4e33a
MPPA - Automatic generation of expected value for tests
· d407e23f
Cyril SIX
authored
Apr 11, 2018
d407e23f
MPPA - Oshr
· 1ecd47e8
Cyril SIX
authored
Apr 11, 2018
1ecd47e8
MPPA - Ocast32signed
· a6c79438
Cyril SIX
authored
Apr 11, 2018
a6c79438
MPPA - reorganized the test directory
· 5e35117f
Cyril SIX
authored
Apr 11, 2018
5e35117f
MPPA - Onegf
· 89a54eee
Cyril SIX
authored
Apr 11, 2018
89a54eee
10 Apr, 2018
6 commits
MPPA - Added Mload
· 8bdfa912
Cyril SIX
authored
Apr 10, 2018
8bdfa912
MPPA - bunch of ops added : lowlong, and, or, shr..
· 67a5ffd5
Cyril SIX
authored
Apr 10, 2018
67a5ffd5
MPPA - Oneg + Pnegw
· e6fd7a6a
Cyril SIX
authored
Apr 10, 2018
e6fd7a6a
MPPA - Onegl + Pnegl
· 9862e891
Cyril SIX
authored
Apr 10, 2018
9862e891
MPPA - Running tests in parallel
· 5541fb2f
Cyril SIX
authored
Apr 10, 2018
5541fb2f
MPPA - fixed wrong extension in test files
· 38b906f9
Cyril SIX
authored
Apr 10, 2018
38b906f9
09 Apr, 2018
2 commits
MPPA - optimized branch generation for signed long compare to 0
· 1fecf8b3
Cyril SIX
authored
Apr 09, 2018
1fecf8b3
MPPA - Optimized branch generation for word compare to 0
· e20c07dd
Cyril SIX
authored
Apr 09, 2018
e20c07dd
05 Apr, 2018
2 commits
MPPA - forgot check.sh in last commit
· a724c959
Cyril SIX
authored
Apr 05, 2018
a724c959
MPPA - Added regression tests
· ebf476c1
Cyril SIX
authored
Apr 05, 2018
ebf476c1
04 Apr, 2018
11 commits
MPPA - Desactivated Pbuiltin EF_annot
· be6796ea
Cyril SIX
authored
Apr 04, 2018
be6796ea
MPPA - added test forvarl.c
· 17c38f7c
Cyril SIX
authored
Apr 04, 2018
17c38f7c
MPPA - Long comparisons
· d72fcc2c
Cyril SIX
authored
Apr 04, 2018
d72fcc2c
MPPA - Added non immediate comparison
· ca090744
Cyril SIX
authored
Apr 04, 2018
ca090744
MPPA - Added signed immediate comparison
· 36076263
Cyril SIX
authored
Apr 04, 2018
36076263
MPPA - 32-bits immediate eq/neq branches
· 69813ed0
Cyril SIX
authored
Apr 03, 2018
69813ed0
MPPA - Added Mgoto + Pj_l
· 8d196f0f
Cyril SIX
authored
Mar 23, 2018
8d196f0f
MPPA - mppa_call branch cleaning
· c81c303d
Cyril SIX
authored
Mar 23, 2018
c81c303d
MPPA - Added Msetstack + bunch of store --> on a des call !
· 447ceed8
Cyril SIX
authored
Mar 21, 2018
447ceed8
MPPA - Reactivated Omove
· 0a7a6ed9
Cyril SIX
authored
Mar 21, 2018
0a7a6ed9
MPPA - Added Mcall + Pgoto + modified Pcall
· 3f5f3aed
Cyril SIX
authored
Mar 21, 2018
3f5f3aed
