)]}'
{
  "commit": "1404fbbee41319e727915e745f09a05ef6f313f4",
  "tree": "7ce7a2f1fcb0165845c4ed2b68ca5bd54bb1c838",
  "parents": [
    "e05bf875c1e62f7ab044f6eee295183581175477"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Mon Jul 17 23:44:21 2017 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Tue Aug 29 09:46:36 2017 +0000"
  },
  "message": "Makefile.proof: Reorder theorem provers\n\nPrefer Z3 over CVC4, the latter seems to not do anything for the current\ncode and just wastes CPU cycles.\n\nChange-Id: Ia5e1341e881c5f887452486a318e8e72513f28fb\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20627\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8b06cdc3d3e401e7a3de2bcc3dd04d9b8be5d5c4",
      "old_mode": 33188,
      "old_path": "Makefile.proof",
      "new_id": "45523c32c723794daaa8441e56bddeeb7e0166cf",
      "new_mode": 33188,
      "new_path": "Makefile.proof"
    }
  ]
}