diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-08 07:56:20 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-08 08:01:28 +0200 |
commit | d422c63cbcad7ba156d5d324e0221db9d13f9559 (patch) | |
tree | 19611bd62bfe2042776ff1a677b5c26eab49134b /scheduling/BTL.v | |
parent | a1cde0686dfb40595423f40ccc40e18de3539e52 (diff) | |
download | compcert-kvx-d422c63cbcad7ba156d5d324e0221db9d13f9559.tar.gz compcert-kvx-d422c63cbcad7ba156d5d324e0221db9d13f9559.zip |
sexec: renommage Sdead -> Sabort + simplification de sexec_correct
Diffstat (limited to 'scheduling/BTL.v')
0 files changed, 0 insertions, 0 deletions