)]}'
{
  "commit": "b636d81a98b4abbe38469135aaaffdf97400c05b",
  "tree": "68ff79eedee669448375748c4a914ec841f97c77",
  "parents": [
    "420e863442eb72c35fa3b8a32313980853ba4cff"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 13:08:26 2022 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Mon Nov 28 17:00:15 2022 +0000"
  },
  "message": "framebuffer filler: Extend loop invariant to assist prover\n\nAutomatically proving that `Linux_Start + Col` is still within\n`Width * Height` only worked sporadically. So we let GNATprove\nshow an intermediate step first to assist it.\n\nChange-Id: I34d5b4d5840fd2b45c4bf3d72abba88487dda2dd\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68106\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "29c7da645cecb982ced7fc05be7364979b9e5254",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-framebuffer_filler.adb",
      "new_id": "c6f184112c392a06defa95e0cb62ea37fac651ad",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-framebuffer_filler.adb"
    }
  ]
}