tree 92b3e480508add4556ca59ac331cac5865169e11
parent 7ea0a5937ba2572f6d9d62e73e24df480c49561d
parent 55bda2b2c693a7ff79da545e7b52901de00df475
author Clifford Wolf <clifford@clifford.at> 1574254167 +0100
committer GitHub <noreply@github.com> 1574254167 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJd1TZXCRBK7hj4Ov3rIwAAdHIIAEddFZqletKwEDVFFBmgrljk
 H+H53MeI6maF4nMVu2kNfdoQoFXI4YUDztxWv3fmyGDI92+gnWnWsUulUwaKdA1q
 Nk9rOrUS1GDNg9dZ91XBSY/aDpuiiB7+jsoE7THUS2NzpY3gJGBYhKVOjoPo1XFM
 2BQ/fKMYxAIuxEqaqCZxWy/g/qTB1oc+HcvhirFlWevCSyvB6OjV6gjE0ILjbG5N
 vVzuCROxQ/WqaCGhiqrbp4Q/ZSBsyk+b+aC5Ye7nQ7FxyrAZTIOZahyZlf9cWOtA
 eiA86qAyJB1hSxE6oMmifsOCv9fb4+nDVpqCnS5kaASw6cqLdZ8wr/QgGT5/JrU=
 =srGF
 -----END PGP SIGNATURE-----
 

Merge pull request #1507 from YosysHQ/clifford/verificfixes

Some fixes in our Verific integration