diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-03-30 15:14:06 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-03-30 15:14:06 +0200 |
| commit | f7365bc7d9b0eabc8fa06cafddad1b17ed01584a (patch) | |
| tree | e57a5c37238505cef80d7358d611fb7f0e360ab5 /common | |
| parent | 67cfb5b65007aedbcadbdc92d1bc6507c7187858 (diff) | |
| download | compcert-kvx-f7365bc7d9b0eabc8fa06cafddad1b17ed01584a.tar.gz compcert-kvx-f7365bc7d9b0eabc8fa06cafddad1b17ed01584a.zip | |
Simplification of the Linearize heuristic (same result functionally)
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions