Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | by default do not inline much | David Monniaux | 2020-03-15 | 1 | -1/+1 |
| | |||||
* | more inlining | David Monniaux | 2020-03-15 | 3 | -3/+9 |
| | |||||
* | Fixed stupid typo bug preventing the prediction update for the RANDOM predictor | Cyril SIX | 2020-03-11 | 1 | -1/+1 |
| | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2020-03-11 | 7 | -144/+372 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Linearizeaux: dumb selector when cycling dependencies are found | Cyril SIX | 2020-03-10 | 1 | -4/+6 |
| | | |||||
| * | Linearizeaux, forgot to visit the rest of the nodes in dfs_visit | Cyril SIX | 2020-03-10 | 1 | -22/+26 |
| | | |||||
| * | Some dependencies were not taken into account in tracelinearize | Cyril SIX | 2020-03-10 | 1 | -15/+12 |
| | | |||||
| * | Linearize: More helpful message when tracelinearize fails | Cyril SIX | 2020-03-10 | 1 | -4/+12 |
| | | |||||
| * | Bug fix in ftracelinearize | Cyril SIX | 2020-03-10 | 1 | -4/+15 |
| | | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untested | Cyril SIX | 2020-03-10 | 3 | -10/+46 |
| |\ | |||||
| * | | Fixing build | Cyril SIX | 2020-03-10 | 1 | -1/+1 |
| | | | |||||
| * | | [BROKEN] Replacing the boolean -fduplicate option by an integer | Cyril SIX | 2020-03-09 | 5 | -15/+15 |
| | | | | | | | | | | | | To control the threshold for duplication | ||||
| * | | Linearizeaux: forgotten print | Cyril SIX | 2020-03-09 | 1 | -1/+1 |
| | | | |||||
| * | | Duplicate: getting rid of the annoying exception-based code | Cyril SIX | 2020-03-09 | 2 | -53/+31 |
| | | | |||||
| * | | Removing prints in Duplicateaux.ml | Cyril SIX | 2020-03-09 | 1 | -65/+20 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-work-untested | Cyril SIX | 2020-03-09 | 104 | -1328/+2433 |
| |\ \ | |||||
| * | | | Linearizeaux: Fixed bug where the output list was in reverse order | Cyril SIX | 2020-03-09 | 1 | -4/+20 |
| | | | | |||||
| * | | | Adding debug info in Linearizeaux | Cyril SIX | 2020-03-06 | 1 | -0/+12 |
| | | | | |||||
| * | | | [UNTESTED] Sequence ordering | Cyril SIX | 2020-03-06 | 1 | -3/+27 |
| | | | | |||||
| * | | | Linearize: Dependencies computing to decide which sequence to put first | Cyril SIX | 2020-03-03 | 1 | -31/+132 |
| | | | | |||||
| * | | | Linearizeaux: can_be_merged | Cyril SIX | 2020-02-21 | 1 | -13/+48 |
| | | | | |||||
| * | | | Linearizeaux: function try_merge | Cyril SIX | 2020-02-21 | 1 | -11/+20 |
| | | | | |||||
| * | | | WIP2 | Cyril SIX | 2020-02-20 | 1 | -16/+24 |
| | | | | |||||
| * | | | WIP | Cyril SIX | 2020-02-20 | 1 | -0/+26 |
| | | | | |||||
| * | | | First part of Hansen algorithm - build the sequences | Cyril SIX | 2020-02-19 | 1 | -1/+43 |
| | | | | |||||
* | | | | remet is_trivial_op dans CSE2 | David Monniaux | 2020-03-11 | 2 | -2/+5 |
| |_|/ |/| | | |||||
* | | | more portable cycles.h | David Monniaux | 2020-03-09 | 3 | -11/+31 |
| | | | |||||
* | | | cycles for aarch64 | David Monniaux | 2020-03-09 | 1 | -0/+16 |
| |/ |/| | |||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2020-03-09 | 15 | -49/+54 |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | | removing more coq8.10 warnings | Sylvain Boulmé | 2020-03-09 | 4 | -2/+10 |
| | | | |||||
| * | | removing some coqc 8.10 warnings | Sylvain Boulmé | 2020-03-09 | 2 | -5/+5 |
| | | | |||||
| * | | removing warnings on hints in core | Sylvain Boulmé | 2020-03-07 | 11 | -42/+39 |
| | | | |||||
* | | | cycles.h for ARMv7 | David Monniaux | 2020-03-09 | 1 | -0/+7 |
|/ / | |||||
* | | fix for ppc | David Monniaux | 2020-03-03 | 1 | -14/+22 |
| | | |||||
* | | try to get it to compile | David Monniaux | 2020-03-03 | 1 | -0/+1 |
| | | |||||
* | | forgot k1C | David Monniaux | 2020-03-03 | 2 | -0/+147 |
| | | |||||
* | | fixes for risc-V | David Monniaux | 2020-03-03 | 1 | -1/+1 |
| | | |||||
* | | fix for aarch64 | David Monniaux | 2020-03-03 | 1 | -11/+9 |
| | | |||||
* | | ported to arm | David Monniaux | 2020-03-03 | 1 | -9/+6 |
| | | |||||
* | | ported for ppc | David Monniaux | 2020-03-03 | 1 | -22/+17 |
| | | |||||
* | | fix for risc-V | David Monniaux | 2020-03-03 | 1 | -9/+7 |
| | | |||||
* | | adjust for x86 | David Monniaux | 2020-03-03 | 1 | -44/+35 |
| | | |||||
* | | fixed CSE2 for mppa_k1c | David Monniaux | 2020-03-03 | 24 | -843/+1266 |
|\ \ | | | | | | | | | | Merge branch 'dm-cse2-naive' of https://github.com/monniaux/CompCert into mppa-cse2 | ||||
| * | | CSE2 with alias analysis | David Monniaux | 2020-03-03 | 1 | -0/+20 |
| | | | |||||
| * | | CSE2 for powerpc | David Monniaux | 2020-03-03 | 2 | -0/+152 |
| | | | |||||
| * | | aarch64 | David Monniaux | 2020-03-03 | 2 | -0/+150 |
| | | | |||||
| * | | CSE2 for ARM | David Monniaux | 2020-03-03 | 1 | -0/+132 |
| | | | |||||
| * | | better 32/64-bit handling | David Monniaux | 2020-03-03 | 2 | -26/+51 |
| | | | |||||
| * | | CSE2 alias analysis for Risc-V | David Monniaux | 2020-03-03 | 6 | -30/+158 |
| | | | |||||
| * | | moved away x86-dependent parts | David Monniaux | 2020-03-03 | 2 | -38/+46 |
| | | |