Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | * | | | | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | David Monniaux | 2021-06-06 | 340 | -6016/+11801 | |
| | |\ \ \ \ | ||||||
| | * | | | | | omega -> lia | David Monniaux | 2021-06-06 | 2 | -26/+28 | |
* | | | | | | | Changed default threshold value following tests | nicolas.nardino | 2021-06-22 | 2 | -9/+3 | |
| |_|_|_|_|/ |/| | | | | | ||||||
* | | | | | | changed type of schedule_seq in x86 for compatibility | nicolas.nardino | 2021-06-17 | 1 | -1/+2 | |
| |_|_|_|/ |/| | | | | ||||||
* | | | | | fix riscv/Machregsaux.mli | nicolas.nardino | 2021-06-17 | 1 | -0/+2 | |
|/ / / / | ||||||
* | | | | Add option to set thresold and support for riscv | nicolas.nardino | 2021-06-17 | 4 | -2/+12 | |
* | | | | Now working, tests show a decrease in spillage | nicolas.nardino | 2021-06-16 | 2 | -59/+61 | |
* | | | | kinda fixed | nicolas.nardino | 2021-06-15 | 2 | -25/+57 | |
* | | | | fixing | nicolas.nardino | 2021-06-15 | 4 | -53/+139 | |
* | | | | was very wrong, fixing | nicolas.nardino | 2021-06-14 | 5 | -20/+80 | |
* | | | | One fewer spill with new sched on `test/.../spille_forw.c` | nicolas.nardino | 2021-06-14 | 1 | -3/+50 | |
* | | | | scheduler written, need to test now | nicolas.nardino | 2021-06-14 | 2 | -18/+68 | |
* | | | | work on the scheduler | nicolas.nardino | 2021-06-12 | 4 | -41/+114 | |
* | | | | Work on new schedluer | nicolas.nardino | 2021-06-10 | 9 | -16/+165 | |
* | | | | Fix RTLpathScheduleraux.get_live_regs_entry | nicolas.nardino | 2021-06-08 | 1 | -2/+3 | |
* | | | | Another test : one spill when scheduled forward, none if not | nicolas.nardino | 2021-06-08 | 1 | -0/+119 | |
* | | | | Add some tests | nicolas.nardino | 2021-06-08 | 4 | -3/+133 | |
* | | | | Adding debug info | nicolas.nardino | 2021-06-06 | 1 | -42/+53 | |
* | | | | Fixing scope error, and non-exhaustive pattern matching | nicolas.nardino | 2021-06-06 | 1 | -5/+6 | |
* | | | | function written, now needs testing | nicolas.nardino | 2021-06-05 | 1 | -10/+40 | |
* | | | | computing live regs at sb entry from its live output regs | nicolas.nardino | 2021-06-04 | 2 | -6/+24 | |
* | | | | Passing info of live regs to scheduler: beginning | nicolas.nardino | 2021-06-04 | 5 | -2/+17 | |
| |/ / |/| | | ||||||
* | | | Remove install path bricolage for kvxv3.9_kvx | Cyril SIX | 2021-06-01 | 2 | -4/+5 | |
* | | | Merge remote-tracking branch 'verimag/manuscript' into kvx-work | Cyril SIX | 2021-06-01 | 1 | -13/+11 | |
|\ \ \ | ||||||
| * | | | Do not rotate if the CB was already at the end. | Cyril SIX | 2021-04-28 | 1 | -1/+5 | |
| * | | | Heuristic counter update | Cyril SIX | 2021-04-28 | 1 | -12/+6 | |
* | | | | Update INSTALL.md | Cyril SIX | 2021-06-01 | 1 | -0/+6 | |
* | | | | Fixing build for KVX (missing ccomp_kvx_fixes.h for runtime) | Cyril SIX | 2021-06-01 | 1 | -0/+1 | |
* | | | | Add target ELF | Cyril SIX | 2021-06-01 | 4 | -2/+7 | |
* | | | | Merge remote-tracking branch 'absint/master' into kvx-work | Cyril SIX | 2021-06-01 | 3 | -4/+6 | |
|\ \ \ \ | | |_|/ | |/| | | ||||||
| * | | | Support `# 0 ...` preprocessed line directive | Xavier Leroy | 2021-06-01 | 1 | -1/+1 | |
| * | | | Register X1 is destroyed by some built-in functions | Xavier Leroy | 2021-05-13 | 2 | -3/+5 | |
| * | | | Update for release 3.9 | Xavier Leroy | 2021-05-10 | 1 | -1/+1 | |
| * | | | Update Changelog for release 3.9 | Xavier Leroy | 2021-05-09 | 1 | -0/+3 | |
| * | | | Update for release 3.9 | Xavier Leroy | 2021-05-09 | 1 | -4/+5 | |
| * | | | Update Changelog | Xavier Leroy | 2021-05-08 | 1 | -1/+11 | |
| * | | | Use the LGPL instead of the GPL for dual-licensed files | Xavier Leroy | 2021-05-08 | 149 | -860/+1171 | |
| * | | | Fix evaluation order in emulation of bitfield assignment | Xavier Leroy | 2021-05-02 | 1 | -2/+2 | |
| * | | | Support __builtin_expect | Xavier Leroy | 2021-05-02 | 1 | -0/+5 | |
| * | | | Support __builtin_unreachable | Xavier Leroy | 2021-05-02 | 8 | -2/+32 | |
| * | | | Fix spurious error on initialization of struct with flexible array member | Xavier Leroy | 2021-05-02 | 1 | -0/+3 | |
| * | | | Update Changelog | Xavier Leroy | 2021-04-29 | 1 | -0/+53 | |
| * | | | Emit no entry for variables without init in json. | Bernhard Schommer | 2021-04-29 | 1 | -1/+7 | |
| * | | | MacOS: add a #define __DARWIN_OS_INLINE | Xavier Leroy | 2021-04-27 | 1 | -2/+2 | |
| * | | | Support Coq 8.13.2 | Xavier Leroy | 2021-04-27 | 1 | -2/+2 | |
| * | | | More fixes for ld/std issue. | Bernhard Schommer | 2021-04-24 | 1 | -11/+40 | |
| * | | | Tentative first fix for offsets of ld/std. | Bernhard Schommer | 2021-04-24 | 5 | -152/+259 | |
| * | | | Update the output of clightgen to pick the `$` notation from its new place | Xavier Leroy | 2021-04-23 | 1 | -1/+3 | |
| * | | | Remove `-version-file` option from option summary | Xavier Leroy | 2021-04-23 | 1 | -1/+0 | |
| * | | | Move `$` notation in submodule `ClightNotations` and scope `clight_scope` | Xavier Leroy | 2021-04-23 | 1 | -11/+23 |