| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge remote-tracking branch 'origin/CPP_2022' into weak-software-pipeliningCPP22_if_lifting | Sylvain Boulmé | 2021-12-10 | 1 | -1/+1 |
| |\ | |||||
| | * | fix missing "formally"CPP22_main | Sylvain Boulmé | 2021-12-10 | 1 | -1/+1 |
| * | | Merge remote-tracking branch 'origin/CPP_2022' into weak-software-pipelining | Sylvain Boulmé | 2021-12-06 | 3 | -7/+22 |
| |\| | |||||
| | * | authors and papers links for the CPP'22 version | Sylvain Boulmé | 2021-12-06 | 2 | -2/+14 |
| | * | more explanation on the web page. | Sylvain Boulmé | 2021-12-03 | 1 | -0/+2 |
| | * | update for CPP_2022 publication | Sylvain Boulmé | 2021-12-02 | 1 | -5/+6 |
| * | | fix Compiler.vexpand | Léo Gourdin | 2021-09-22 | 1 | -19/+0 |
| * | | Revert "Revert "[MERGE] weak-software-pipelining in RTLpath"" | Léo Gourdin | 2021-09-22 | 47 | -229/+3974 |
| * | | Merge branch 'CPP_2022' into weak-software-pipelining | Léo Gourdin | 2021-09-22 | 53 | -4050/+403 |
| |\| | |||||
| | * | opweights u74 | Léo Gourdin | 2021-09-17 | 1 | -0/+139 |
| | * | Revert "[MERGE] weak-software-pipelining in RTLpath" | Léo Gourdin | 2021-09-16 | 47 | -3987/+229 |
| | * | latest coq+ocaml versions | Sylvain Boulmé | 2021-09-15 | 1 | -35/+12 |
| | * | update gitlab-CI from kvx-work | Sylvain Boulmé | 2021-09-15 | 1 | -12/+35 |
| | * | [MERGE] weak-software-pipelining in RTLpath | Léo Gourdin | 2021-09-02 | 47 | -229/+3987 |
| | |\ | |||||
| | * | | RTLTunneling: fix comments and authors information | Sylvain Boulmé | 2021-08-24 | 5 | -89/+24 |
| | * | | Merge remote-tracking branch 'origin/kvx-sched-w-reg-press' into kvx-work | David Monniaux | 2021-08-23 | 1 | -6/+12 |
| | |\ \ | |||||
| | | * | | Changes heuristic for case "no instruction decreases pressure" | nicolas.nardino | 2021-07-28 | 1 | -9/+12 |
| * | | | | latest coq+ocaml versions | Sylvain Boulmé | 2021-09-16 | 1 | -35/+12 |
| * | | | | update gitlab-CI from kvx-work | Sylvain Boulmé | 2021-09-16 | 1 | -12/+35 |
| * | | | | Add RTLtunneling pass before actual prepass scheduling | Justus Fasse | 2021-09-16 | 2 | -0/+6 |
| | |_|/ |/| | | |||||
| * | | | Fix small error | Justus Fasse | 2021-08-24 | 1 | -5/+5 |
| * | | | Hopefully a proper fix to code motion below side exits + NO register renaming | Justus Fasse | 2021-08-21 | 1 | -0/+23 |
| * | | | Revert "Fix error" | Justus Fasse | 2021-08-21 | 1 | -17/+5 |
| * | | | Fix error | Justus Fasse | 2021-08-21 | 1 | -5/+17 |
| * | | | Remove hopefully useless compiler passes | Justus Fasse | 2021-08-21 | 2 | -16/+5 |
| * | | | **Ugly** proof of simu_check_single_correct | Justus Fasse | 2021-08-18 | 1 | -8/+31 |
| * | | | Match naming convention of surrounding code. | Justus Fasse | 2021-08-18 | 1 | -2/+2 |
| * | | | Merge branch 'kvx-work' into weak-software-pipelining | Justus Fasse | 2021-08-17 | 16 | -358/+1353 |
| |\| | | |||||
| | * | | remove default_notrap_load_value | Sylvain Boulmé | 2021-07-24 | 1 | -1/+1 |
| | * | | Merge branch 'kvx-work' into rtl-tunneling | Sylvain Boulmé | 2021-07-24 | 64 | -170/+2394 |
| | |\ \ | |||||
| | | * | | Fix can't schedule issues | David Monniaux | 2021-07-19 | 3 | -55/+48 |
| | | |\| | |||||
| | | | * | Fix scheduling fails (forgot a case) | nicolas.nardino | 2021-07-19 | 1 | -8/+11 |
| | | | * | Merge branch 'kvx-work' into kvx-sched-w-reg-press | nicolas.nardino | 2021-07-19 | 1 | -52/+38 |
| | | | |\ | |||||
| | | | | * | start fixing | nicolas.nardino | 2021-07-19 | 1 | -52/+38 |
| | | | * | | comment for authors | David Monniaux | 2021-07-16 | 1 | -0/+13 |
| | | | * | | activate register pressure by default | David Monniaux | 2021-07-16 | 2 | -5/+5 |
| | | | * | | use a more recognizable option name | David Monniaux | 2021-07-16 | 13 | -15/+1089 |
| | | | * | | fix for KVX | David Monniaux | 2021-07-16 | 1 | -2/+8 |
| | | | * | | setup registers | David Monniaux | 2021-07-16 | 2 | -0/+5 |
| | | | * | | rm useless code | David Monniaux | 2021-07-16 | 1 | -48/+0 |
| | | | * | | rm "Admitted" | David Monniaux | 2021-07-16 | 1 | -11/+10 |
| | | | * | | Merge remote-tracking branch 'origin/kvx-work' into kvx-sched-w-reg-press | David Monniaux | 2021-07-16 | 22 | -50/+41 |
| | | | |\ \ | |||||
| | | | * | | | rm TODO | David Monniaux | 2021-07-16 | 1 | -1/+0 |
| | | | * | | | add more debug info | nicolas.nardino | 2021-07-08 | 1 | -2/+10 |
| | | | * | | | Deactivate sched validator (i think) | nicolas.nardino | 2021-07-08 | 1 | -10/+11 |
| | | | * | | | Add debug info | nicolas.nardino | 2021-07-06 | 1 | -0/+2 |
| | | | * | | | Change temporary solution (see prev commits), and add option for it | nicolas.nardino | 2021-06-28 | 3 | -4/+20 |
| | | | * | | | Changed printfs into debugs | nicolas.nardino | 2021-06-25 | 1 | -6/+5 |
| | | | * | | | Another scheduler | nicolas.nardino | 2021-06-24 | 3 | -1/+204 |
| | | | * | | | Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:... | nicolas.nardino | 2021-06-22 | 16 | -86/+225 |
| | | | |\ \ \ | |||||
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |