aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-2117-65/+1166
|\
| * Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-102-6/+4
| * Improve execution of regression testsXavier Leroy2018-08-244-16/+45
| * Harden the extasm.c test, continuedXavier Leroy2018-08-202-5/+5
| * Harden the extasm.c testXavier Leroy2018-08-202-2/+7
| * Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-173-6/+60
| * Clean .foo.aux files created by coqcXavier Leroy2018-07-101-1/+1
| * Remove the `_Alignas(expr)` construct (#125)Xavier Leroy2018-06-072-36/+32
| * Don't depend on ../../clightgenXavier Leroy2018-06-021-3/+3
| * Add tests for clightgenXavier Leroy2018-06-015-0/+985
| * Initialization of anonymous bit-fields in structsXavier Leroy2018-04-251-0/+1
| * Initialization of union bit fieldsXavier Leroy2018-04-252-0/+33
* | Merge branch 'mppa_asmbloc_nobreg' into mppa_k1cCyril SIX2018-11-1484-353/+499
|\ \
| * | Updated Sort Makefile + fixed compilation command bugCyril SIX2018-11-145-62/+123
| * | Changed mmult to avoid recomputing + fixed potential source of bug in instrCyril SIX2018-11-133-21/+39
| * | Lancement des tests à partir d'un même scriptCyril SIX2018-11-137-15/+61
| * | Revamped the instruction testsuite (all instructions work except umodd and ud...Cyril SIX2018-11-1361-110/+102
| * | Fixed consistency between the different tests mmult, prng and sortCyril SIX2018-11-0916-181/+230
| * | Fixing PRNG testCyril SIX2018-11-091-4/+1
| * | Fixing k1-gcc becoming k1-mbr-gccCyril SIX2018-11-094-8/+8
* | | Added some comments on the MakefileCyril SIX2018-08-141-2/+22
* | | Added all the working builtins for ALU. Added BCU and LSU without testingCyril SIX2018-08-0111-11/+68
|/ /
* | Fixed CompCert library inclusion. Indirect fix for udivd and umoddCyril SIX2018-06-261-2/+1
* | MPPA - Forgot to initialize variables in the testsCyril SIX2018-06-062-2/+3
* | WIP - Changed all the general tests to include PRNG (instead of small constants)Cyril SIX2018-06-0559-308/+394
* | MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-052-0/+9
* | MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-213-1/+17
* | Code cleaningCyril SIX2018-05-091-4/+4
* | MPPA - Updated asm_coverageCyril SIX2018-04-261-0/+0
* | MPPA - mmult and sort Makefile now check on ccomp versionCyril SIX2018-04-263-5/+7
* | MPPA - Added a lot more unit tests + refined coverageCyril SIX2018-04-2646-2/+240
* | MPPA - we now compare the results of our tests with k1-gccCyril SIX2018-04-253-6/+10
* | MPPA - Added coverage testCyril SIX2018-04-254-0/+57
* | MPPA - Added test for division int by 2Cyril SIX2018-04-252-1/+23
* | MPPA - Corrected messages on test/mppa/mmult/MakefileCyril SIX2018-04-251-2/+2
* | MPPA - refined tests. Bug in mmult - need to generate O0 to debug easierCyril SIX2018-04-242-1/+7
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-201-17/+17
* | MPPA - Added divide & conqueer test matmulCyril SIX2018-04-182-2/+87
* | MPPA - added Oaddrsymbol -> now able to run the matrix mult testCyril SIX2018-04-183-37/+42
* | MPPA - added a Matrix Multiply testCyril SIX2018-04-183-0/+140
* | MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-173-3/+8
* | MPPA - More shiftsCyril SIX2018-04-171-1/+3
* | MPPA - Forgot to uncomment debugging section of prng testCyril SIX2018-04-171-4/+2
* | MPPA - added all shiftsCyril SIX2018-04-174-0/+12
* | MPPA - Added CompCert testsCyril SIX2018-04-171-1/+16
* | MPPA - added merge sort + corrected bug in insertion + testing them togetherCyril SIX2018-04-1710-38/+205
* | MPPA - tests - added insertion sort and selection sortCyril SIX2018-04-175-0/+159
* | MPPA - changed UNIT_TEST namesCyril SIX2018-04-172-4/+4
* | MPPA - Added uint64_t types to the tests + k1c testCyril SIX2018-04-174-11/+34
* | MPPA - added PRNG generator in the testsCyril SIX2018-04-163-0/+66
generated by cgit (git 2.34.1) at 2024-06-12 10:30:09 +0000