aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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 instructions See merge request sixcy/CompCert!1
| * | Initial version of install instructionsMatheus Schuh2019-07-091-0/+62
| | | | | | | | | | | | Mainly focused on Kalray platform
* | | 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 ↵Cyril SIX2019-07-112-6/+2
| | | | | | | | correctly with the right things
* | 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-11 23:51:56 +0000