aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* use a prime in PRNGDavid Monniaux2019-01-193-3/+3
* quicksortDavid Monniaux2019-01-196-27/+138
* fixes in MakefileDavid Monniaux2019-01-191-7/+1
* fix MakefileDavid Monniaux2019-01-181-2/+2
* more on matricesDavid Monniaux2019-01-183-5/+68
* loop transformationDavid Monniaux2019-01-183-2/+50
* adjust pathDavid Monniaux2019-01-181-1/+1
* moved to subdirectoryDavid Monniaux2019-01-184-1/+1
* some unrollingDavid Monniaux2019-01-184-3/+47
* fix free() bugDavid Monniaux2019-01-181-0/+2
* fourth versionDavid Monniaux2019-01-183-2/+38
* some better experiments...David Monniaux2019-01-181-2/+5
* clearer filenamesDavid Monniaux2019-01-181-13/+24
* bugfixDavid Monniaux2019-01-171-1/+1
* various matrix multiplication proceduresDavid Monniaux2019-01-173-4/+38
* show cycle countsDavid Monniaux2019-01-171-2/+44
* so that we can compare gcc and ccomp .sDavid Monniaux2019-01-171-3/+6
* for testing postpassDavid Monniaux2019-01-174-35/+64
* test (does not compile yet)David Monniaux2019-01-172-0/+115
* Fixed the forvar testCyril SIX2019-01-172-3/+13
* Added the use of two va_list in a va_arg testCyril SIX2018-12-111-3/+9
* In va_arg tests, 2nd argument of va_start is now correctCyril SIX2018-12-112-9/+9
* Fixed div64 and mod64Cyril SIX2018-12-112-20/+25
* Added printf to the unitary tests for instructionsCyril SIX2018-12-072-27/+29
* Added a printf wrapper in test/mppa/libCyril SIX2018-12-074-0/+160
* Finished implementation of va_arg + testing doneCyril SIX2018-11-302-4/+4
* Wrote some tests on va_arg, need to implement __compcert_va_int32 & cieCyril SIX2018-11-282-7/+467
* Added a jobs parameter to the test scriptsCyril SIX2018-11-284-7/+13
* Added GCC-compcert call test with a very high register pressureCyril SIX2018-11-285-9/+212
* Added tests where GCC calls CompCert functionsCyril SIX2018-11-275-9/+26
* Interoperability tests passed (no va_arg yet)Cyril SIX2018-11-2314-0/+355
* Fixed andd test not consistent with the restCyril SIX2018-11-231-1/+1
* Mise à jour vis à vis de CompCert 3.4Cyril SIX2018-11-211-2/+16
* 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
generated by cgit (git 2.34.1) at 2024-07-11 22:34:37 +0000