aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fixed the extraction of instructions from TargetPrinter.mlCyril SIX2019-08-302-5/+4
* Updated test/mppa/coverage.sh to check which instruction isn't tested yetCyril SIX2019-08-292-37/+55
* Removing submodule test/mppa/asm_coverage from the repositoryCyril SIX2019-08-282-3/+0
* (#156) - Un peu de cleaning et de docCyril SIX2019-07-3010-497/+53
* (#139) - Quelques renommagesCyril SIX2019-07-304-12/+12
* (#139) - Predicate is_concatCyril SIX2019-07-302-8/+9
* (#139) - Mise à jour du code Coq, oracleCyril SIX2019-07-253-12/+59
* Minor fix for the measurements macrosCyril SIX2019-07-242-4/+5
* (#145) Fix <bad addressing> on RTL dumpsCyril SIX2019-07-241-1/+2
* (#144) Fixing <bad operator> on RTL dumpsCyril SIX2019-07-242-33/+50
* (#137) Possible fixCyril SIX2019-07-231-1/+4
* (#137) [BROKEN] - Finer latencies for the oracle. Some debugging to doCyril SIX2019-07-221-40/+93
* remarksDavid Monniaux2019-07-201-0/+5
* Fixing the generation of verifier_times.txt and oracle_times.txtCyril SIX2019-07-182-7/+7
* Removing a hidden FIXME that hopefully didn't have any impact..Cyril SIX2019-07-181-7/+0
* (#137) Removed the useless strings in PostpassSchedulingOracleCyril SIX2019-07-181-337/+254
* Typo in PrevsubxwCyril SIX2019-07-181-1/+1
* (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-172-2/+4
* Merge branch 'paper-artefact' into mppa-workCyril SIX2019-07-171-27/+27
|\
| * (#107) Rename "forward_simu" into "bisimu"Cyril SIX2019-07-171-27/+27
* | 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
* | Merge branch '140-install-instructions' into 'mppa-work'Cyril Six2019-07-121-0/+62
|\ \
| * | Initial version of install instructionsMatheus Schuh2019-07-091-0/+62
* | | Premier jet du framework d'évaluation de perf (pas fini)Cyril SIX2019-07-114-0/+135
| |/ |/|
* | Recompile CompCert before applying the patch and compiling itjuly2019Cyril SIX2019-07-111-2/+4
* | Fixing the make.proto of tacle-bench-lift and powerwindow, it now links corre...Cyril SIX2019-07-112-6/+2
* | Fix for csmithCyril SIX2019-07-111-2/+2
* | Remise des exécutions à x1000Cyril SIX2019-07-111-1/+1
* | Removing the gencompile and gengraphs scripts (now in These6)Cyril SIX2019-07-112-147/+0
* | Only generating measure.csv in test/monniaux/MakefileCyril SIX2019-07-111-6/+7
* | Replaced the solution -> bundles part by an algorithm hopefully linearCyril SIX2019-07-091-54/+39
|/
* Better graphs (in greyscale)Cyril SIX2019-07-022-10/+11
* Replacing crosses by dotsCyril SIX2019-06-291-1/+1
* Decreasing amount of concurrent -j5 on run_benches.shCyril SIX2019-06-291-1/+1
generated by cgit (git 2.34.1) at 2024-07-06 15:23:45 +0000