aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Expand)AuthorAgeFilesLines
* better testDavid Monniaux2021-09-201-3/+8
* keep only checksumDavid Monniaux2021-09-201-5/+5
* Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...David Monniaux2021-09-201-4/+6
|\
| * Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...David Monniaux2021-09-201-1/+1
| |\
| | * do 500 of themDavid Monniaux2021-09-201-1/+1
| * | separate wget/curlDavid Monniaux2021-09-201-2/+4
| |/
| * fix for x86-64David Monniaux2021-09-181-1/+1
| * reduce number of csmith testsDavid Monniaux2021-09-181-1/+1
* | better predicateDavid Monniaux2021-09-201-4/+4
* | use clang, better error reportingDavid Monniaux2021-09-201-3/+3
* | RiscVDavid Monniaux2021-09-191-3/+3
* | fix script to answer 0 if differencesDavid Monniaux2021-09-191-1/+4
* | creduce scriptsDavid Monniaux2021-09-192-0/+40
|/
* target ccDavid Monniaux2021-09-171-1/+4
* some csmith testsDavid Monniaux2021-09-171-4/+9
* Merge remote-tracking branch 'origin/kvx-work' into csmithDavid Monniaux2021-09-172-313/+3
|\
| * Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1David Monniaux2021-09-171-0/+3
| * test for many parametersDavid Monniaux2021-09-171-313/+0
* | Merge remote-tracking branch 'origin/kvx-work' into csmithDavid Monniaux2021-09-171-0/+313
|\|
| * many parametersDavid Monniaux2021-09-171-0/+313
* | bump number of testsDavid Monniaux2021-09-131-1/+1
* | it now downloads csmithDavid Monniaux2021-09-131-2/+9
* | seems to workDavid Monniaux2021-09-131-5/+6
* | bump ocaml versionDavid Monniaux2021-09-132-1/+24
* | Makefile for csmithDavid Monniaux2021-09-131-16/+73
|/
* divisionDavid Monniaux2021-06-072-3/+4
* timingDavid Monniaux2021-06-072-0/+117
* Compatibilité Coq 8.13David Monniaux2021-04-282-0/+0
* rm spurious filesDavid Monniaux2021-04-1239-1705/+0
* test profilingDavid Monniaux2021-04-1242-0/+1720
* example of cmovDavid Monniaux2021-02-021-0/+28
* cmov on integersDavid Monniaux2021-02-021-0/+22
* Conditions now propagated by CSE3David Monniaux2021-01-201-0/+11
|\
| * redundant testsDavid Monniaux2020-12-091-0/+11
* | a slightly different matrix productDavid Monniaux2021-01-141-0/+24
* | generate a matrix product with many temporariesDavid Monniaux2021-01-141-0/+20
* | Removing Yarpgen test 89Cyril SIX2021-01-071-0/+14
|/
* Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-272-0/+256
|\
| * forgot theseDavid Monniaux2020-10-162-0/+256
* | turn on cache emulationDavid Monniaux2020-10-191-9/+9
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-181-0/+28
|\|
| * extracted from Polybench syrkDavid Monniaux2020-10-161-0/+28
* | rules.mk for zigzagDavid Monniaux2020-09-241-7/+7
* | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...David Monniaux2020-09-054-9771/+45
|\|
| * remettre yarpgenDavid Monniaux2020-09-021-1/+1
| * example prog where list scheduler can be reoptimized using ILPDavid Monniaux2020-08-311-0/+14
* | -ftracelinearizeDavid Monniaux2020-07-301-12/+12
* | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash...David Monniaux2020-07-301-2/+3
|\|
| * reinstate TARGET_CCDavid Monniaux2020-07-281-1/+1
| * rm mods for running testsDavid Monniaux2020-07-281-2/+2