diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-06 09:07:07 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-06 09:07:07 +0200 |
commit | c7bc74b1860f30df678bf384a32cd9c6eb113beb (patch) | |
tree | fa69acaa1a5aff1dbb5fc11895b244294b9b6753 /Makefile | |
parent | 7473fed7c8e1b2fdef276b7aa754fb00792d47ca (diff) | |
download | compcert-kvx-c7bc74b1860f30df678bf384a32cd9c6eb113beb.tar.gz compcert-kvx-c7bc74b1860f30df678bf384a32cd9c6eb113beb.zip |
start RTL -> BTL
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -143,7 +143,7 @@ SCHEDULING= \ RTLpathproof.v RTLpathSE_theory.v \ RTLpathSchedulerproof.v RTLpath.v \ RTLpathScheduler.v RTLpathWFcheck.v \ - BTL.v BTLtoRTL.v BTLtoRTLproof.v \ + BTL.v BTLtoRTL.v BTLtoRTLproof.v RTLtoBTL.v RTLtoBTLproof.v # C front-end modules (in cfrontend/) |