build.run: add BuildPlan.digest(), useful for caching.
authorwhitequark <whitequark@whitequark.org>
Fri, 23 Aug 2019 01:10:51 +0000 (01:10 +0000)
committerwhitequark <whitequark@whitequark.org>
Fri, 23 Aug 2019 01:10:51 +0000 (01:10 +0000)
commit9350620f89db7875c18ab37f0032c03f83248289
treec97f0719c344599ec0e32f8540b9c0f80b8ee26f
parent7fc1058ed207553bc268ba8df769bfdeeaa8887d
build.run: add BuildPlan.digest(), useful for caching.
nmigen/build/run.py