projects / nmigen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8429519 eb97f2b)
Merge branch 'add-missing-prst-pins' into smtlib2-expr-support
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 02:18:15 +0000 (19:18 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 02:18:15 +0000 (19:18 -0700)

Trivial merge