aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* fix riscv/Machregsaux.mlinicolas.nardino2021-06-171-0/+2
* 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
* Merge remote-tracking branch 'verimag/manuscript' into kvx-workCyril SIX2021-06-011-13/+11
|\
| * Do not rotate if the CB was already at the end.Cyril SIX2021-04-281-1/+5
| * Heuristic counter updateCyril SIX2021-04-281-12/+6
* | Update INSTALL.mdCyril SIX2021-06-011-0/+6
* | Fixing build for KVX (missing ccomp_kvx_fixes.h for runtime)Cyril SIX2021-06-011-0/+1
* | Add target ELFCyril SIX2021-06-014-2/+7
* | Merge remote-tracking branch 'absint/master' into kvx-workCyril SIX2021-06-013-4/+6
|\ \
| * | Support `# 0 ...` preprocessed line directiveXavier Leroy2021-06-011-1/+1
| * | Register X1 is destroyed by some built-in functionsXavier Leroy2021-05-132-3/+5
| * | Update for release 3.9Xavier Leroy2021-05-101-1/+1
| * | Update Changelog for release 3.9Xavier Leroy2021-05-091-0/+3
| * | Update for release 3.9Xavier Leroy2021-05-091-4/+5
| * | Update ChangelogXavier Leroy2021-05-081-1/+11
| * | Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-08149-860/+1171
| * | Fix evaluation order in emulation of bitfield assignmentXavier Leroy2021-05-021-2/+2
| * | Support __builtin_expectXavier Leroy2021-05-021-0/+5
| * | Support __builtin_unreachableXavier Leroy2021-05-028-2/+32
| * | Fix spurious error on initialization of struct with flexible array memberXavier Leroy2021-05-021-0/+3
| * | Update ChangelogXavier Leroy2021-04-291-0/+53
| * | Emit no entry for variables without init in json.Bernhard Schommer2021-04-291-1/+7
| * | MacOS: add a #define __DARWIN_OS_INLINEXavier Leroy2021-04-271-2/+2
| * | Support Coq 8.13.2Xavier Leroy2021-04-271-2/+2
| * | More fixes for ld/std issue.Bernhard Schommer2021-04-241-11/+40
| * | Tentative first fix for offsets of ld/std.Bernhard Schommer2021-04-245-152/+259
| * | Update the output of clightgen to pick the `$` notation from its new placeXavier Leroy2021-04-231-1/+3
| * | Remove `-version-file` option from option summaryXavier Leroy2021-04-231-1/+0
| * | Move `$` notation in submodule `ClightNotations` and scope `clight_scope`Xavier Leroy2021-04-231-11/+23
| * | Use List.repeat from Coq's standard library instead of list_repeatXavier Leroy2021-04-194-36/+16
| * | Bump minimal Coq version to 8.9.0Xavier Leroy2021-04-191-2/+2
| * | Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-194-2/+25
| * | Refactor cparser/Parse.mlXavier Leroy2021-04-191-31/+29
generated by cgit (git 2.34.1) at 2024-07-07 02:46:59 +0000