)]}'
{
  "commit": "045f34403889b69f3ac3ac08d96e5cf1fae787d1",
  "tree": "64efd40a13665b66c34182c4b5dec1b3c30ba471",
  "parents": [
    "e9645c7fa7fc349afad103ff8736699bb4dc0412"
  ],
  "author": {
    "name": "Eddie Hung",
    "email": "eddie@fpgeh.com",
    "time": "Thu Oct 03 11:11:50 2019 -0700"
  },
  "committer": {
    "name": "Eddie Hung",
    "email": "eddie@fpgeh.com",
    "time": "Thu Oct 03 11:11:50 2019 -0700"
  },
  "message": "Use `sat -tempinduct` and comments for why equiv_opt not sufficient\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b130578b68cbdc67c56a66d3f4ad22f5e70f763",
      "old_mode": 33188,
      "old_path": "tests/various/peepopt.ys",
      "new_id": "ee5ad8a1a6c094f1e563a952b698b6f7028e3905",
      "new_mode": 33188,
      "new_path": "tests/various/peepopt.ys"
    }
  ]
}