diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-01-31 13:44:34 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-01-31 13:44:34 +0100 |
commit | 1df18309c386546e3cdd8213d61b419a75a29707 (patch) | |
tree | 14f3fca00940d044788d175d6d1fc7543f3861c6 /Changelog | |
parent | 88cfc534ae24986a95211038b828a1878001044c (diff) | |
download | compcert-kvx-1df18309c386546e3cdd8213d61b419a75a29707.tar.gz compcert-kvx-1df18309c386546e3cdd8213d61b419a75a29707.zip |
Export elab_{int,float,char}_constant
Those three functions can be useful to implement front-ends for languages other than C.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions