diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-27 11:48:04 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-27 11:48:04 +0100 |
commit | ecbecdd399d0d685ffed2024e864dc4aaccdfbf6 (patch) | |
tree | 5546d9139c4c1586355f9c6b8e43cc8b1c812042 /backend/PrintCminor.ml | |
parent | 4622f49fd089ae47d0c853343cb0a05f986c962a (diff) | |
download | compcert-ecbecdd399d0d685ffed2024e864dc4aaccdfbf6.tar.gz compcert-ecbecdd399d0d685ffed2024e864dc4aaccdfbf6.zip |
Extended arguments to annotations, continued:
- Simplifications in RTLgen.
- Updated Cexec.
Diffstat (limited to 'backend/PrintCminor.ml')
0 files changed, 0 insertions, 0 deletions