)]}'
{
  "commit": "a84a2d74c779b8023c0bbfc02fa4576d8c4cecca",
  "tree": "84e0a75011eb44e782772c64b64ef7b470257f89",
  "parents": [
    "da347b9f7e8ce9738598931283ba98f8c98924cb"
  ],
  "author": {
    "name": "Clifford Wolf",
    "email": "clifford@clifford.at",
    "time": "Wed Oct 02 12:48:04 2019 +0200"
  },
  "committer": {
    "name": "Clifford Wolf",
    "email": "clifford@clifford.at",
    "time": "Wed Oct 02 12:48:04 2019 +0200"
  },
  "message": "Fix btor back-end to use \"state\" instead of \"input\" for undef init bits\n\nSigned-off-by: Clifford Wolf \u003cclifford@clifford.at\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f617b7ec2bbaab87071d1cd0659c7fae940c9bfe",
      "old_mode": 33188,
      "old_path": "backends/btor/btor.cc",
      "new_id": "9e316a055ccedd28866ccc897489d4debc389888",
      "new_mode": 33188,
      "new_path": "backends/btor/btor.cc"
    }
  ]
}