From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 20 May 2022 02:18:15 +0000 (-0700)
Subject: Merge branch 'add-missing-prst-pins' into smtlib2-expr-support
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=100feb05fd2c6959bcad70ba4bcff251c9ed7303;p=nmigen.git

Merge branch 'add-missing-prst-pins' into smtlib2-expr-support
---

100feb05fd2c6959bcad70ba4bcff251c9ed7303