diff options
| author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2020-04-12 09:18:50 +0200 |
|---|---|---|
| committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2020-04-12 09:22:29 +0200 |
| commit | d9c189200ee004d1823f4c37cbfd7efc6c152eda (patch) | |
| tree | 8dc9ed1d63f8c9e9cc896581a43c5908d9f8caa9 /configure | |
| parent | 69220f5c7fa9b455899f48e2628e2ed190316f91 (diff) | |
| download | compcert-kvx-d9c189200ee004d1823f4c37cbfd7efc6c152eda.tar.gz compcert-kvx-d9c189200ee004d1823f4c37cbfd7efc6c152eda.zip | |
Adjust comment to reflect progress on cfi_step
Remove Machblock.cfi_step code for exec_MBcond_true, exec_MBcond_false
and exec_MBjumptable from comment inspiring Pseudoasmblock.cfi_step
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions