| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding jpeg-6b benchmark | Cyril SIX | 2019-11-15 | 1 | -31/+48 |
| | | |||||
| * | mistake in Makefile | David Monniaux | 2019-06-19 | 1 | -1/+1 |
| | | |||||
| * | timings | David Monniaux | 2019-06-06 | 1 | -1/+16 |
| | | |||||
| * | compiles and links | David Monniaux | 2019-06-06 | 1 | -1/+9 |
| | | |||||
| * | for compiling cjpeg/djpeg | David Monniaux | 2019-06-06 | 1 | -308/+9 |
| | | |||||
| * | Changes to include a -O1 -fschedule-insns2 gcc run as well | Cyril SIX | 2019-04-26 | 1 | -136/+219 |
| | | |||||
| * | use the original source codes | David Monniaux | 2019-03-20 | 1 | -54/+0 |
| | | |||||
| * | disable useless warnings | David Monniaux | 2019-03-08 | 1 | -1/+1 |
| | | |||||
| * | fixes in types etc. | David Monniaux | 2019-02-02 | 1 | -2/+7 |
| | | |||||
| * | ugly hack to access _impure_thread_data (stdin, stdout, stderr...) | David Monniaux | 2019-02-01 | 1 | -39/+36 |
| | | | | | it works! | ||||
| * | IT WORKS !! | David Monniaux | 2019-02-01 | 1 | -9/+34 |
| | | | | | (except that files that ref to stdin/stdout/stderr need to be compiled with gcc) | ||||
| * | fix various divisions, tail calls etc. | David Monniaux | 2019-02-01 | 1 | -0/+35 |
| | | |||||
| * | it still seems to work | David Monniaux | 2019-02-01 | 1 | -2/+2 |
| | | |||||
| * | block tail calls etc. | David Monniaux | 2019-02-01 | 1 | -225/+128 |
| | | |||||
| * | muf muf muf | David Monniaux | 2019-01-29 | 1 | -1/+1 |
| | | |||||
| * | jpeg-6b modified | David Monniaux | 2019-01-29 | 1 | -0/+325 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |