Merge pull request #1241 from YosysHQ/clifford/jsonfix
authorDavid Shah <dave@ds0.me>
Wed, 7 Aug 2019 09:40:38 +0000 (10:40 +0100)
committerGitHub <noreply@github.com>
Wed, 7 Aug 2019 09:40:38 +0000 (10:40 +0100)
commitdee8f61781abab15235e8d72bbae76d90c71cb79
tree7a9ae52e99a88e65deb504aaa07783d03aebd9b3
parent8110fb9266e685aaea48359a5aebc4e5ac865240
parent292f03355a425ede48051c79d5bf619591531080
Merge pull request #1241 from YosysHQ/clifford/jsonfix

Improved JSON attr/param encoding