| Commit message (Collapse) | Author | Age | Files | Lines |
|\
| |
| |
| | |
gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
|
| | |
|
| | |
|
| | |
|
|/ |
|
|
|
|
|
|
|
| |
in jpeg-6b
REOPTIMIZING SUCCEEDED 22 < 23 for 32 instructions
REOPTIMIZING SUCCEEDED 81 < 83 for 139 instructions
REOPTIMIZING SUCCEEDED 46 < 47 for 81 instructions
|
|\
| |
| |
| | |
gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
|
| | |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
ireg au lieu de preg
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
PostpassSchedulingproof
|
| |
|
| |
|
|
|
|
| |
le modèle
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
isolate opaque instructions
|
| | |
|