aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2David Monniaux2020-02-033-0/+19
|
* add an exampleDavid Monniaux2020-01-081-0/+18
|
* Adding info on how to add timings to a benchmarkCyril SIX2019-12-021-26/+44
|
* Updating test/monniaux/README.mdCyril SIX2019-11-261-28/+39
|
* build_benches.sh adapting to number of coresCyril SIX2019-11-261-2/+3
|
* run-benches.sh adapting to number of CPU coresCyril SIX2019-11-261-1/+4
|
* Fixing pcre2 (but it is bugged in GCC?)Cyril SIX2019-11-222-36/+5
|
* benches += ncompressCyril SIX2019-11-222-52/+4
|
* Real cleanCyril SIX2019-11-221-1/+1
|
* benches += tiffCyril SIX2019-11-223-49/+4
|
* Adding the new benches to benches.shCyril SIX2019-11-221-1/+1
|
* benchmarks += ocamlCyril SIX2019-11-221-30/+3
|
* Fixing zlibCyril SIX2019-11-193-0/+541
|
* Adding zlibCyril SIX2019-11-151-49/+57
|
* Adding jpeg-6b benchmarkCyril SIX2019-11-152-32/+50
|
* Correcting typo in rules.mkCyril SIX2019-11-131-1/+1
|
* Putting back the building rules for the paper (rules.mk)Cyril SIX2019-11-131-11/+11
|
* Removing clutter from building + running benchesCyril SIX2019-11-134-7/+21
|
* genann addedCyril SIX2019-10-023-3/+5
|
* Adding picosat to the benchesCyril SIX2019-10-022-34/+8
|
* Updating test/monniaux/README.mdCyril SIX2019-10-021-1/+8
|
* (forgot to add glpk to benches.sh)Cyril SIX2019-10-021-1/+1
|
* Intégration de GLPKCyril SIX2019-10-022-37/+7
|
* Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-workCyril SIX2019-09-034-72/+14
|\ | | | | | | | | | | | | Conflicts: configure mppa_k1c/Archi.v mppa_k1c/Asmexpand.ml
| * macros for fma() fmaf()David Monniaux2019-08-301-0/+1
| |
| * fma with first negated operandDavid Monniaux2019-08-301-0/+1
| |
| * fmaDavid Monniaux2019-08-301-0/+12
| |
| * merge upstream including fma fixesDavid Monniaux2019-08-283-72/+0
| |
* | Decreasing a bit the number of processes in run_benchesCyril SIX2019-08-301-1/+1
| |
* | Minor fix for the measurements macrosCyril SIX2019-07-242-4/+5
|/
* Fixing the generation of verifier_times.txt and oracle_times.txtCyril SIX2019-07-182-7/+7
|
* (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-171-1/+1
|
* README fileCyril SIX2019-07-171-60/+67
|
* rules.mk adding more customizationCyril SIX2019-07-171-3/+3
|
* Portage réussi et completCyril SIX2019-07-175-14/+14
|
* Removing the genmake.py and the generate_makefiles.shCyril SIX2019-07-172-147/+0
|
* All working benches portedCyril SIX2019-07-1728-49/+53
|
* Up to nttCyril SIX2019-07-1712-15/+20
|
* bitsliced-teaCyril SIX2019-07-175-24/+11
|
* bitsliced-aes doneCyril SIX2019-07-174-3275/+7
|
* (#141) Started to port the new Makefile to rules.mk. Ported binary_searchCyril SIX2019-07-173-57/+144
|
* Deleting junk filesCyril SIX2019-07-177-1932/+0
|
* (#143) Put in sandbox the example of SHA256Cyril SIX2019-07-124-0/+677
|
* (#143) More featuresCyril SIX2019-07-122-10/+17
|
* (#143) - Regrouping in obj/ asm/ bin/ directoriesCyril SIX2019-07-121-5/+9
|
* (#143) much simpler example to measure how our measures affect performanceCyril SIX2019-07-121-0/+18
|
* (#143) intermediate files are not deletedCyril SIX2019-07-121-0/+2
|
* (#143) Rajout de la macro TIMEINITCyril SIX2019-07-122-4/+5
|
* (#143) Mesure de cycles sur sandboxCyril SIX2019-07-123-4/+42
|
* Premier jet du framework d'évaluation de perf (pas fini)Cyril SIX2019-07-114-0/+135
|
generated by cgit (git 2.34.1) at 2024-07-02 00:12:35 +0000