diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-16 18:37:36 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-16 18:44:44 +0200 |
| commit | 925f6ae9d1b7a1a893960740fb9ffc0c2c52aa27 (patch) | |
| tree | 48076164098f24b3332a91bd849f76cc412332a5 /kvx/SelectLongproof.v | |
| parent | 835feeaad46abe968713c39fbcd7c6a3e6fb31f4 (diff) | |
| download | compcert-kvx-925f6ae9d1b7a1a893960740fb9ffc0c2c52aa27.tar.gz compcert-kvx-925f6ae9d1b7a1a893960740fb9ffc0c2c52aa27.zip | |
replace exec_body_simulation_star' by exec_body_simulation_plus_gen
Diffstat (limited to 'kvx/SelectLongproof.v')
0 files changed, 0 insertions, 0 deletions