diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-02-11 08:23:46 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-02-11 08:23:46 +0100 |
commit | c98683ff46b50620fda6c4b2c40e0b71aa99dbbb (patch) | |
tree | 5b50158e3b4b684995170f5287206ca8f3e3eb59 /scheduling/RTLpathLivegen.v | |
parent | aaaa8f529716876a61f9405f4f696fc09505370a (diff) | |
download | compcert-kvx-c98683ff46b50620fda6c4b2c40e0b71aa99dbbb.tar.gz compcert-kvx-c98683ff46b50620fda6c4b2c40e0b71aa99dbbb.zip |
specification of pre_output_regs for the simulation checker
Diffstat (limited to 'scheduling/RTLpathLivegen.v')
0 files changed, 0 insertions, 0 deletions