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/Selection.v | |
| parent | 4622f49fd089ae47d0c853343cb0a05f986c962a (diff) | |
| download | compcert-kvx-ecbecdd399d0d685ffed2024e864dc4aaccdfbf6.tar.gz compcert-kvx-ecbecdd399d0d685ffed2024e864dc4aaccdfbf6.zip | |
Extended arguments to annotations, continued:
- Simplifications in RTLgen.
- Updated Cexec.
Diffstat (limited to 'backend/Selection.v')
0 files changed, 0 insertions, 0 deletions