projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d7686ca d0da57f)
Merge pull request #173 from jix/test-cvc
authorJannis Harder <me@jix.one>
Fri, 10 Jun 2022 13:24:49 +0000 (15:24 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Jun 2022 13:24:49 +0000 (15:24 +0200)
Test that cvc4 and cvc5 can be used


Trivial merge