diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:36:49 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:38:50 +0200 |
| commit | 6f26a95f2debe76e1350eea97c2162e5bcd8cfad (patch) | |
| tree | 3af9f5614c187a72675a80365d04f244fde24c8e /riscV | |
| parent | 9fcb0316df79ee741272340d7db0378872a53c5f (diff) | |
| download | compcert-6f26a95f2debe76e1350eea97c2162e5bcd8cfad.tar.gz compcert-6f26a95f2debe76e1350eea97c2162e5bcd8cfad.zip | |
Add `iter_literal*` functions with guaranteed iteration order
This makes compilation runs more reproducible.
Diffstat (limited to 'riscV')
0 files changed, 0 insertions, 0 deletions