Merge pull request #2209 from YosysHQ/verific_update
authorclairexen <claire@symbioticeda.com>
Tue, 30 Jun 2020 15:05:51 +0000 (17:05 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Jun 2020 15:05:51 +0000 (17:05 +0200)
commit79d81b7f4f7dc50524eeac38bbcfdbff5394ccd9
tree03fb8bf7beb655865ce885846900a296bf0e9090
parent817ae04ee0c445efaf83e9847d4956f2dae0d857
parent561890c4e85932b89cb1043a0767dcec6da5993c
Merge pull request #2209 from YosysHQ/verific_update

Update verific API version check