aboutsummaryrefslogtreecommitdiffstats
path: root/scheduling
Commit message (Expand)AuthorAgeFilesLines
* directory postpass_libSylvain Boulmé2021-01-075-0/+0
* recreate abstractbb/Sylvain Boulmé2021-01-074-0/+0
* cleaningSylvain Boulmé2021-01-072-1440/+0
* Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-174-25/+28
|\
* | Merge branch 'kvx-test-prepass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy...David Monniaux2020-11-2711-0/+6216
|/
* prepass scheduling proof finished !Sylvain Boulmé2020-11-201-24/+56
* seval_builtin_sval_preservedDavid Monniaux2020-11-171-1/+4
* a little lemma on list of builtinsDavid Monniaux2020-11-171-2/+15
* there remains two tricky casesDavid Monniaux2020-11-161-3/+14
* disable debug printing in schedulerDavid Monniaux2020-11-041-4/+4
* simplify HSop (and merge hSop and hSop_Sinit)Sylvain Boulmé2020-10-172-42/+23
* fixing the move of the verified prepass scheduler into scheduling/ directorySylvain Boulmé2020-10-172-758/+872
* Merge remote-tracking branch 'origin/kvx-test-prepass' into mppa-RTLpathSE-verifCyril SIX2020-10-166-1458/+1452
* pour ARMDavid Monniaux2020-10-021-4/+4
* so that all architectures compileDavid Monniaux2020-10-021-473/+0
* attempt at separating the divisionsDavid Monniaux2020-09-291-1/+13
* attempt at "zigzag" scheduler; not quite testable due to issues in the duplic...David Monniaux2020-09-242-1/+36
* fix issue 210 in simu_checkSylvain Boulmé2020-09-211-11/+23
* more debug info for simu_checkSylvain Boulmé2020-09-211-6/+16
* just missing OpWeights for AARCH64David Monniaux2020-09-1614-0/+9446
generated by cgit (git 2.34.1) at 2024-06-02 23:59:43 +0000