projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a9511b) | patch
Test that cvc4 and cvc5 can be used
authorJannis Harder <me@jix.one>
Wed, 8 Jun 2022 11:33:12 +0000 (13:33 +0200)
committerJannis Harder <me@jix.one>
Wed, 8 Jun 2022 11:33:12 +0000 (13:33 +0200)
commitd0da57f54f5d3395b341756ec866a39629abaefb
treec938acfa1257d5d1f51f1c5c2c278c410e6fb165tree
parent4a9511b80b24f2806d8b855f8f6abb78e08a2db5commit | diff
Test that cvc4 and cvc5 can be used
tests/unsorted/demo.sby diff | blob | history