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 /x86/Op.v | |
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 'x86/Op.v')
0 files changed, 0 insertions, 0 deletions