build.run: add BuildPlan.digest(), useful for caching.
authorwhitequark <cz@m-labs.hk>
Fri, 23 Aug 2019 01:10:51 +0000 (01:10 +0000)
committerwhitequark <cz@m-labs.hk>
Fri, 23 Aug 2019 01:10:51 +0000 (01:10 +0000)
commite9f96b19802ff23c2323f2b3d644a9dc98dcefa0
treec97f0719c344599ec0e32f8540b9c0f80b8ee26f
parent3d43e6d6215e04ebc5b4a51a579284c9c2fdc659
build.run: add BuildPlan.digest(), useful for caching.
nmigen/build/run.py