)]}'
{
  "commit": "6028f5df1a7f86e73028c6a0c2b63ab16a1335d6",
  "tree": "84e0a75011eb44e782772c64b64ef7b470257f89",
  "parents": [
    "da347b9f7e8ce9738598931283ba98f8c98924cb",
    "a84a2d74c779b8023c0bbfc02fa4576d8c4cecca"
  ],
  "author": {
    "name": "Clifford Wolf",
    "email": "clifford@clifford.at",
    "time": "Wed Oct 02 13:48:09 2019 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Oct 02 13:48:09 2019 +0200"
  },
  "message": "Merge pull request #1428 from YosysHQ/clifford/fixbtor\n\nFix btor back-end to use \"state\" instead of \"input\" for undef init bits",
  "tree_diff": []
}