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 /Changelog | |
| 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 'Changelog')
| -rw-r--r-- | Changelog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,7 @@ +Coq development: +- RTLgen: use the state and error monad for reserving goto labels (#371) + (by Pierre Nigron) + Release 3.11, 2022-06-27 ======================== |