aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* crypto algorithms from https://github.com/B-Con/crypto-algorithms/David Monniaux2019-01-2832-0/+3731
|
* packagedDavid Monniaux2019-01-278-571/+20579
|
* picosatDavid Monniaux2019-01-2717-0/+12288
| | | | induces bug in register allocation
* to testDavid Monniaux2019-01-261-0/+6
|
* clock cycles etc.David Monniaux2019-01-263-6/+13
|
* micro bunzipDavid Monniaux2019-01-265-20/+60
|
* micro bunzipDavid Monniaux2019-01-262-0/+540
|
* autoincrementDavid Monniaux2019-01-221-1/+12
|
* to test memcpy one dayDavid Monniaux2019-01-221-1/+6
|
* unroll loopsDavid Monniaux2019-01-221-0/+232
|
* replace array[8] by 8 variablesDavid Monniaux2019-01-221-0/+103
|
* correct measurementDavid Monniaux2019-01-221-2/+17
|
* sha-2 benchmark worksDavid Monniaux2019-01-221-3/+22
|
* check malloc() return valuesDavid Monniaux2019-01-221-3/+12
|
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-01-223-0/+21
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Added sxwd and zxwd supportCyril SIX2019-01-223-0/+21
| |
* | attributionDavid Monniaux2019-01-221-0/+1
|/
* SHA-2 from https://github.com/amosnier/sha-2David Monniaux2019-01-226-0/+612
|
* AESDavid Monniaux2019-01-218-0/+1167
|
* DESDavid Monniaux2019-01-211-0/+500
|
* some more exampleDavid Monniaux2019-01-195-1/+128
|
* 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
|
generated by cgit (git 2.34.1) at 2024-07-09 00:00:42 +0000