| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixing the generation of verifier_times.txt and oracle_times.txt | Cyril SIX | 2019-07-18 | 2 | -7/+7 |
| | | |||||
| * | Removing a hidden FIXME that hopefully didn't have any impact.. | Cyril SIX | 2019-07-18 | 1 | -7/+0 |
| | | |||||
| * | (#137) Removed the useless strings in PostpassSchedulingOracle | Cyril SIX | 2019-07-18 | 1 | -337/+254 |
| | | |||||
| * | Typo in Prevsubxw | Cyril SIX | 2019-07-18 | 1 | -1/+1 |
| | | |||||
| * | (#142) Desactivating scheduling when using -O1 optimization | Cyril SIX | 2019-07-17 | 2 | -2/+4 |
| | | |||||
| * | Merge branch 'paper-artefact' into mppa-work | Cyril SIX | 2019-07-17 | 1 | -27/+27 |
| |\ | |||||
| | * | (#107) Rename "forward_simu" into "bisimu" | Cyril SIX | 2019-07-17 | 1 | -27/+27 |
| | | | |||||
| * | | README file | Cyril SIX | 2019-07-17 | 1 | -60/+67 |
| | | | |||||
| * | | rules.mk adding more customization | Cyril SIX | 2019-07-17 | 1 | -3/+3 |
| | | | |||||
| * | | Portage réussi et complet | Cyril SIX | 2019-07-17 | 5 | -14/+14 |
| | | | |||||
| * | | Removing the genmake.py and the generate_makefiles.sh | Cyril SIX | 2019-07-17 | 2 | -147/+0 |
| | | | |||||
| * | | All working benches ported | Cyril SIX | 2019-07-17 | 28 | -49/+53 |
| | | | |||||
| * | | Up to ntt | Cyril SIX | 2019-07-17 | 12 | -15/+20 |
| | | | |||||
| * | | bitsliced-tea | Cyril SIX | 2019-07-17 | 5 | -24/+11 |
| | | | |||||
| * | | bitsliced-aes done | Cyril SIX | 2019-07-17 | 4 | -3275/+7 |
| | | | |||||
| * | | (#141) Started to port the new Makefile to rules.mk. Ported binary_search | Cyril SIX | 2019-07-17 | 3 | -57/+144 |
| | | | |||||
| * | | Deleting junk files | Cyril SIX | 2019-07-17 | 7 | -1932/+0 |
| | | | |||||
| * | | (#143) Put in sandbox the example of SHA256 | Cyril SIX | 2019-07-12 | 4 | -0/+677 |
| | | | |||||
| * | | (#143) More features | Cyril SIX | 2019-07-12 | 2 | -10/+17 |
| | | | |||||
| * | | (#143) - Regrouping in obj/ asm/ bin/ directories | Cyril SIX | 2019-07-12 | 1 | -5/+9 |
| | | | |||||
| * | | (#143) much simpler example to measure how our measures affect performance | Cyril SIX | 2019-07-12 | 1 | -0/+18 |
| | | | |||||
| * | | (#143) intermediate files are not deleted | Cyril SIX | 2019-07-12 | 1 | -0/+2 |
| | | | |||||
| * | | (#143) Rajout de la macro TIMEINIT | Cyril SIX | 2019-07-12 | 2 | -4/+5 |
| | | | |||||
| * | | (#143) Mesure de cycles sur sandbox | Cyril SIX | 2019-07-12 | 3 | -4/+42 |
| | | | |||||
| * | | Merge branch '140-install-instructions' into 'mppa-work' | Cyril Six | 2019-07-12 | 1 | -0/+62 |
| |\ \ | | | | | | | | | | | | | Initial version of install instructions See merge request sixcy/CompCert!1 | ||||
| | * | | Initial version of install instructions | Matheus Schuh | 2019-07-09 | 1 | -0/+62 |
| | | | | | | | | | | | | | Mainly focused on Kalray platform | ||||
| * | | | Premier jet du framework d'évaluation de perf (pas fini) | Cyril SIX | 2019-07-11 | 4 | -0/+135 |
| | |/ |/| | |||||
| * | | Recompile CompCert before applying the patch and compiling itjuly2019 | Cyril SIX | 2019-07-11 | 1 | -2/+4 |
| | | | |||||
| * | | Fixing the make.proto of tacle-bench-lift and powerwindow, it now links ↵ | Cyril SIX | 2019-07-11 | 2 | -6/+2 |
| | | | | | | | | | correctly with the right things | ||||
| * | | Fix for csmith | Cyril SIX | 2019-07-11 | 1 | -2/+2 |
| | | | |||||
| * | | Remise des exécutions à x1000 | Cyril SIX | 2019-07-11 | 1 | -1/+1 |
| | | | |||||
| * | | Removing the gencompile and gengraphs scripts (now in These6) | Cyril SIX | 2019-07-11 | 2 | -147/+0 |
| | | | |||||
| * | | Only generating measure.csv in test/monniaux/Makefile | Cyril SIX | 2019-07-11 | 1 | -6/+7 |
| | | | |||||
| * | | Replaced the solution -> bundles part by an algorithm hopefully linear | Cyril SIX | 2019-07-09 | 1 | -54/+39 |
| |/ | |||||
| * | Better graphs (in greyscale) | Cyril SIX | 2019-07-02 | 2 | -10/+11 |
| | | |||||
| * | Replacing crosses by dots | Cyril SIX | 2019-06-29 | 1 | -1/+1 |
| | | |||||
| * | Decreasing amount of concurrent -j5 on run_benches.sh | Cyril SIX | 2019-06-29 | 1 | -1/+1 |
| | | |||||
| * | Removing titles on graphs | Cyril SIX | 2019-06-29 | 2 | -2/+0 |
| | | |||||
| * | More generic make_clock on genmake.py | Cyril SIX | 2019-06-29 | 1 | -1/+2 |
| | | |||||
| * | rm unneeded file | David Monniaux | 2019-06-28 | 2 | -3/+1 |
| | | |||||
| * | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-28 | 9 | -59/+140 |
| |\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| | * | rm -dall | David Monniaux | 2019-06-24 | 1 | -1/+1 |
| | | | |||||
| | * | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-24 | 2 | -21/+19 |
| | |\ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| | | * | maj forward_simu_par_wio_bblock_aux en forward_simu_par_wio | Sylvain Boulmé | 2019-06-23 | 2 | -21/+19 |
| | | | | | | | | | | | | | avec une legere simplification (comme dans le papier) | ||||
| | * | | op printing (still incomplete) | David Monniaux | 2019-06-24 | 1 | -1/+12 |
| | | | | |||||
| | * | | pretty-printing for extra operations (unfinished) | David Monniaux | 2019-06-24 | 2 | -2/+39 |
| | |/ | |||||
| | * | fix makespan computation | David Monniaux | 2019-06-22 | 1 | -1/+3 |
| | | | |||||
| | * | schedule from end | David Monniaux | 2019-06-22 | 1 | -17/+18 |
| | | | |||||
| | * | -frevlist | David Monniaux | 2019-06-21 | 3 | -9/+36 |
| | | | |||||
| | * | Enlevé les annotations en attendant que python3.6 soit réinstallé sur carlit | Cyril SIX | 2019-06-20 | 1 | -5/+10 |
| | | | |||||
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |