diff options
| author | Pierre Nigron <pierre.nigron@free.fr> | 2020-09-22 12:32:59 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-19 16:23:17 +0200 |
| commit | b816d696733c96fdc62428e43c4a4a1f5a09b47b (patch) | |
| tree | 7a6ed23ab65addb874852d30b3a6ed8f1be11820 /cfrontend | |
| parent | 88cccb19502dfec65f7e21d0f6772ba99b1fb99d (diff) | |
| download | compcert-b816d696733c96fdc62428e43c4a4a1f5a09b47b.tar.gz compcert-b816d696733c96fdc62428e43c4a4a1f5a09b47b.zip | |
RTLgen: use the state and error monad for reserve_labels (#371)
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions