diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 19:07:47 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 19:16:18 +0200 |
commit | e10870c3da5b28a76c0c0d283c1a0beb09cd7950 (patch) | |
tree | 227ace9ea534fc6d09b155116e12c8c1a6723289 /Makefile | |
parent | 8b0724fdb1af4f89a603f7bde4b5b625c870e111 (diff) | |
download | compcert-kvx-e10870c3da5b28a76c0c0d283c1a0beb09cd7950.tar.gz compcert-kvx-e10870c3da5b28a76c0c0d283c1a0beb09cd7950.zip |
Additional simulation diagrams for determinate source languages
If the source language is determinate, it can take several steps
(not just one) before the "match_state" invariant is reinstated.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions