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/RTLtoBTLproof.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/RTLtoBTLproof.v')
0 files changed, 0 insertions, 0 deletions