diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-28 06:53:30 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-01-28 06:53:30 +0100 |
commit | 93b1e0034733dcc19dc42c04725439e8bdf3d10d (patch) | |
tree | f4ebc3dd86e220c68b077dea997665f70b872e62 /Makefile | |
parent | 528935a59259b006ed56c83457b3a018494fc9ec (diff) | |
download | compcert-kvx-93b1e0034733dcc19dc42c04725439e8bdf3d10d.tar.gz compcert-kvx-93b1e0034733dcc19dc42c04725439e8bdf3d10d.zip |
CSE2 split in two files
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -83,6 +83,7 @@ BACKEND=\ ValueDomain.v ValueAOp.v ValueAnalysis.v \ ConstpropOp.v Constprop.v ConstpropOpproof.v Constpropproof.v \ CSEdomain.v CombineOp.v CSE.v CombineOpproof.v CSEproof.v \ + CSE2.v CSE2proof.v \ NeedDomain.v NeedOp.v Deadcode.v Deadcodeproof.v \ Unusedglob.v Unusedglobproof.v \ Machregs.v Locations.v Conventions1.v Conventions.v LTL.v \ |