| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | turn on cache emulation | David Monniaux | 2020-10-19 | 1 | -9/+9 |
| * | rules.mk for zigzag | David Monniaux | 2020-09-24 | 1 | -7/+7 |
| * | Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash... | David Monniaux | 2020-09-05 | 1 | -6/+6 |
| |\ | |||||
| * | | -ftracelinearize | David Monniaux | 2020-07-30 | 1 | -12/+12 |
| * | | flags | David Monniaux | 2020-07-15 | 1 | -1/+1 |
| * | | proper ordering on calls etc. ? | David Monniaux | 2020-07-10 | 1 | -1/+1 |
| * | | trapping loads are irreversible | David Monniaux | 2020-07-10 | 1 | -1/+1 |
| * | | making progress on prepass | David Monniaux | 2020-07-08 | 1 | -1/+1 |
| |/ | |||||
| * | kvx-cos-gcc | David Monniaux | 2020-07-08 | 1 | -3/+3 |
| * | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -17/+17 |
| * | Real clean | Cyril SIX | 2019-11-22 | 1 | -1/+1 |
| * | Fixing zlib | Cyril SIX | 2019-11-19 | 1 | -0/+1 |
| * | Adding jpeg-6b benchmark | Cyril SIX | 2019-11-15 | 1 | -1/+2 |
| * | Correcting typo in rules.mk | Cyril SIX | 2019-11-13 | 1 | -1/+1 |
| * | Putting back the building rules for the paper (rules.mk) | Cyril SIX | 2019-11-13 | 1 | -11/+11 |
| * | Intégration de GLPK | Cyril SIX | 2019-10-02 | 1 | -1/+4 |
| * | Minor fix for the measurements macros | Cyril SIX | 2019-07-24 | 1 | -3/+4 |
| * | (#142) Desactivating scheduling when using -O1 optimization | Cyril SIX | 2019-07-17 | 1 | -1/+1 |
| * | rules.mk adding more customization | Cyril SIX | 2019-07-17 | 1 | -3/+3 |
| * | Portage réussi et complet | Cyril SIX | 2019-07-17 | 1 | -1/+1 |
| * | All working benches ported | Cyril SIX | 2019-07-17 | 1 | -3/+3 |
| * | bitsliced-aes done | Cyril SIX | 2019-07-17 | 1 | -1/+5 |
| * | (#141) Started to port the new Makefile to rules.mk. Ported binary_search | Cyril SIX | 2019-07-17 | 1 | -54/+143 |
| * | rm -dall | David Monniaux | 2019-06-24 | 1 | -1/+1 |
| * | pretty-printing for extra operations (unfinished) | David Monniaux | 2019-06-24 | 1 | -1/+1 |
| * | -frevlist | David Monniaux | 2019-06-21 | 1 | -1/+1 |
| * | tiff example | David Monniaux | 2019-06-07 | 1 | -1/+1 |
| * | adaptation pour k1c-cos | David Monniaux | 2019-05-28 | 1 | -2/+2 |
| * | Avancement sur la génération de Makefile des benchmarks | Cyril SIX | 2019-05-14 | 1 | -1/+1 |
| * | store o | David Monniaux | 2019-05-04 | 1 | -1/+1 |
| * | Changes to include a -O1 -fschedule-insns2 gcc run as well | Cyril SIX | 2019-04-26 | 1 | -2/+9 |
| * | some more simplifications | David Monniaux | 2019-04-12 | 1 | -1/+1 |
| * | Merge branch 'mppa-mul' into mppa_k0c | David Monniaux | 2019-03-29 | 1 | -6/+8 |
| |\ | |||||
| | * | ocaml benchmark | David Monniaux | 2019-03-28 | 1 | -4/+5 |
| | * | some more inline | David Monniaux | 2019-03-28 | 1 | -2/+3 |
| * | | rm rules that conflict | David Monniaux | 2019-03-29 | 1 | -8/+8 |
| |/ | |||||
| * | -fpostpass-ilp | David Monniaux | 2019-03-12 | 1 | -1/+1 |
| * | simpler Makefiles | David Monniaux | 2019-03-12 | 1 | -0/+12 |
| * | stop warning about system includes | David Monniaux | 2019-03-07 | 1 | -1/+1 |
| * | forgot to deallocate block | David Monniaux | 2019-02-18 | 1 | -2/+2 |
| * | -g in C FLAGS | David Monniaux | 2019-02-07 | 1 | -4/+7 |
| * | fix rules | David Monniaux | 2019-02-07 | 1 | -8/+8 |
| * | Makefiles now use rules.mk, and added a prohibition of unprototyped functions | David Monniaux | 2019-02-06 | 1 | -2/+4 |
| * | simplification des Makefile | David Monniaux | 2019-02-05 | 1 | -0/+37 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |