aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Rajout de clzd dans les testsCyril SIX2019-08-301-0/+3
|
* Added more testsCyril SIX2019-08-304-27/+56
|
* (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-302-1/+14
|
* Adding tests for addx8d addx8w etc..Cyril SIX2019-08-303-2/+11
|
* Decreasing a bit the number of processes in run_benchesCyril SIX2019-08-301-1/+1
|
* 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-281-0/+0
|
* 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
|
* 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
|
* 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
|
* Removing titles on graphsCyril SIX2019-06-292-2/+0
|
* More generic make_clock on genmake.pyCyril SIX2019-06-291-1/+2
|
* rm unneeded fileDavid Monniaux2019-06-282-3/+1
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-06-284-15/+20
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * rm -dallDavid Monniaux2019-06-241-1/+1
| |
| * pretty-printing for extra operations (unfinished)David Monniaux2019-06-241-1/+1
| |
| * -frevlistDavid Monniaux2019-06-211-1/+1
| |
| * Enlevé les annotations en attendant que python3.6 soit réinstallé sur carlitCyril SIX2019-06-201-5/+10
| |
| * Fixing invalid syntax errorCyril SIX2019-06-201-1/+1
| |
| * Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)Cyril SIX2019-06-203-4/+4
| |
| * Circumventing a bug from patchCyril SIX2019-06-201-4/+4
| | | | | | | | https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html
* | paths for carlitDavid Monniaux2019-06-191-1/+1
|/
generated by cgit (git 2.34.1) at 2024-07-14 10:45:35 +0000