aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Expand)AuthorAgeFilesLines
* do 500 of themDavid Monniaux2021-09-201-1/+1
* fix for x86-64David Monniaux2021-09-181-1/+1
* reduce number of csmith testsDavid Monniaux2021-09-181-1/+1
* 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
| * do not use all-loads-nontrapDavid Monniaux2020-07-281-1/+1
| * AUXRDavid Monniaux2020-07-281-3/+4
* | Merge branch 'mppa-RTLpathSE-verif-hash-junk' of gricad-gitlab.univ-grenoble-...David Monniaux2020-07-274-0/+188
|\ \
| * | test for speculative loadDavid Monniaux2020-07-262-0/+19
| * | simplifiedDavid Monniaux2020-07-261-4/+2
| * | cycle timesDavid Monniaux2020-07-261-4/+4
| * | Merge branch 'mppa-RTLpathSE-verif-hash-junk' of gricad-gitlab.univ-grenoble-...David Monniaux2020-07-262-1/+124
| |\ \
| * | | adapt filenameDavid Monniaux2020-07-261-1/+1
| * | | yet another attemptDavid Monniaux2020-07-262-0/+171
* | | | silly bugDavid Monniaux2020-07-251-1/+1
generated by cgit (git 2.34.1) at 2024-06-02 21:17:21 +0000