aboutsummaryrefslogtreecommitdiffstats
path: root/scheduling/BTLScheduleraux.ml
Commit message (Expand)AuthorAgeFilesLines
* fix issue #247 by using a BTL's ghostfieldLéo Gourdin2021-09-301-4/+11
* - make non trapping loads in scheduling dependent on option (which was ignore...David Monniaux2021-09-141-1/+1
* [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-011-12/+205
* non-trapping loads fixLeo Gourdin2021-08-021-3/+11
* remove todos, cleanLéo Gourdin2021-07-281-48/+22
* test ci2Léo Gourdin2021-07-271-3/+3
* Merge branch 'BTL-SEimpl' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompC...Léo Gourdin2021-07-271-12/+14
|\
| * prepass actLéo Gourdin2021-07-271-12/+14
* | test non-trapping loads using CI...Léo Gourdin2021-07-271-2/+93
|/
* new expansion oracle for BTLLéo Gourdin2021-07-201-1/+3
* Fix compile on ARM/x86 backendsLéo Gourdin2021-07-201-191/+4
* BTL Scheduler oracle and some draftsLéo Gourdin2021-05-311-1/+5
* Improvements in scheduling and renumbering BTL codeLéo Gourdin2021-05-281-4/+3
* [disabled checker] BTL Scheduling and Renumbering OK!Léo Gourdin2021-05-271-32/+62
* a draft frontend for prepassLéo Gourdin2021-05-241-0/+221
generated by cgit (git 2.34.1) at 2024-05-08 07:03:46 +0000