aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:...David Monniaux2021-06-171-1/+2
|\
| * changed type of schedule_seq in x86 for compatibilitynicolas.nardino2021-06-171-1/+2
* | Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:...David Monniaux2021-06-170-0/+0
|\|
| * fix riscv/Machregsaux.mlinicolas.nardino2021-06-171-0/+2
* | fix for Risc-VDavid Monniaux2021-06-172-0/+4
* | Merge remote-tracking branch 'origin/kvx-work' into kvx-sched-w-reg-pressDavid Monniaux2021-06-1714-84/+221
|\ \ | |/ |/|
| * fix modeling issue (Vundef for load outside of bounds)David Monniaux2021-06-161-2/+7
| * Use qemu-6.0.0 for PPC as the 3.1.0 version shipping with the Debian in the d...David Monniaux2021-06-121-2/+5
| * show qemu versionDavid Monniaux2021-06-111-0/+1
| * disable ppc partiallyDavid Monniaux2021-06-111-2/+6
| * compile non yarpgen tests without -static; this should workDavid Monniaux2021-06-111-4/+4
| * disable PPC64; can't link and don't know whyDavid Monniaux2021-06-111-2/+2
| * fix bad pathsDavid Monniaux2021-06-111-2/+2
| * don't use -static on ppcDavid Monniaux2021-06-111-4/+4
| * path issuesDavid Monniaux2021-06-111-6/+6
| * add PPC to CI and remove ugly hack for qemu linker pathsDavid Monniaux2021-06-111-56/+62
| * Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2021-06-111-39/+0
| |\
| | * remove filter fileLéo Gourdin2021-06-101-39/+0
| * | Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-workDavid Monniaux2021-06-112-3/+13
| |\ \ | | |/ | |/|
| | * x86 assembly: fix the comment delimiter for macos and make it per-OSXavier Leroy2021-06-101-3/+11
| * | push afadl test exampleLéo Gourdin2021-06-092-0/+21
| * | Merge branch 'kvx-work' of https://gricad-gitlab.univ-grenoble-alpes.fr/sixcy...Olivier Lebeltel2021-06-091-1/+1
| |\ \
| | * | comment is now ## due to some weird MacOS bugDavid Monniaux2021-06-091-1/+1
| * | | added config_macos_x86_64.shOlivier Lebeltel2021-06-091-0/+1
| |/ /
| * | MacOS compatibilityDavid Monniaux2021-06-091-1/+1
| * | run CI on kvx-work-ssa kvx-work-velusDavid Monniaux2021-06-081-49/+57
| * | omega -> liaDavid Monniaux2021-06-081-8/+8
| * | coq 8.13.2David Monniaux2021-06-071-2/+1
| * | divisionDavid Monniaux2021-06-072-3/+4
| * | timingDavid Monniaux2021-06-072-0/+117
| * | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2021-06-06340-6016/+11801
| |\ \
| * | | omega -> liaDavid Monniaux2021-06-062-26/+28
* | | | Add option to set thresold and support for riscvnicolas.nardino2021-06-174-2/+12
* | | | Now working, tests show a decrease in spillagenicolas.nardino2021-06-162-59/+61
* | | | kinda fixednicolas.nardino2021-06-152-25/+57
* | | | fixingnicolas.nardino2021-06-154-53/+139
* | | | was very wrong, fixingnicolas.nardino2021-06-145-20/+80
* | | | One fewer spill with new sched on `test/.../spille_forw.c`nicolas.nardino2021-06-141-3/+50
* | | | scheduler written, need to test nownicolas.nardino2021-06-142-18/+68
* | | | work on the schedulernicolas.nardino2021-06-124-41/+114
* | | | Work on new schedluernicolas.nardino2021-06-109-16/+165
* | | | Fix RTLpathScheduleraux.get_live_regs_entrynicolas.nardino2021-06-081-2/+3
* | | | Another test : one spill when scheduled forward, none if notnicolas.nardino2021-06-081-0/+119
* | | | Add some testsnicolas.nardino2021-06-084-3/+133
* | | | Adding debug infonicolas.nardino2021-06-061-42/+53
* | | | Fixing scope error, and non-exhaustive pattern matchingnicolas.nardino2021-06-061-5/+6
* | | | function written, now needs testingnicolas.nardino2021-06-051-10/+40
* | | | computing live regs at sb entry from its live output regsnicolas.nardino2021-06-042-6/+24
* | | | Passing info of live regs to scheduler: beginningnicolas.nardino2021-06-045-2/+17
| |/ / |/| |
* | | Remove install path bricolage for kvxv3.9_kvxCyril SIX2021-06-012-4/+5
generated by cgit (git 2.34.1) at 2024-07-07 03:53:07 +0000