diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-04-15 10:58:33 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-04-15 10:58:33 +0200 |
commit | 5cde15375b66e41f380a2a130c3060d9be3cb177 (patch) | |
tree | 23becf17d4b410eebc03692d29b979e860d8c551 /doc | |
parent | d9c189200ee004d1823f4c37cbfd7efc6c152eda (diff) | |
download | compcert-kvx-5cde15375b66e41f380a2a130c3060d9be3cb177.tar.gz compcert-kvx-5cde15375b66e41f380a2a130c3060d9be3cb177.zip |
simplifying the translation, external calls + cfi_step on builtins
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions