)]}'
{
  "commit": "9e96a45649a8e7c8d945220bbaa0e37ff1af8adf",
  "tree": "9b8552aad49ed267cca4a352c7c19017d7a7d0fa",
  "parents": [
    "312433cd3d90ebd5ee44bc1795b10e3846c1f96c"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 22 20:25:17 2019 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Fri Oct 04 21:34:46 2019 +0000"
  },
  "message": "gma config_helpers: Introduce Valid_FB()\n\nMake the post condition of Validate_Config() a separate function,\nValid_FB(). This way, we don\u0027t have to repeat it everywhere.\n\nTheoretically, we could make Validate_Config() an expression\nfunction, too. Alas, all the added conditions seem to distract\nprovers too much.\n\nChange-Id: I0931217658000d3ff6d71515acb45aeb063768d5\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/35527\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d56be5e706deac0718a0765c01442c4a7b912300",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-gma-config_helpers.ads",
      "new_id": "7bbf423ae4e8d445bcb86ec07bdb0cefe0bb10bd",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-gma-config_helpers.ads"
    },
    {
      "type": "modify",
      "old_id": "0edb0c9650fe84d7d5ab335925504aa90b445ad8",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-gma-pipe_setup.ads",
      "new_id": "3ecb6ddd00c6bbeeeac40050435e4e72382809b7",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-gma-pipe_setup.ads"
    }
  ]
}