projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2b1a588 b4c1108)
Merge pull request #169 from jix/yices-forall
authorJannis Harder <me@jix.one>
Wed, 8 Jun 2022 07:43:47 +0000 (09:43 +0200)
committerGitHub <noreply@github.com>
Wed, 8 Jun 2022 07:43:47 +0000 (09:43 +0200)
Test designs using $allconst


Trivial merge