)]}'
{
  "log": [
    {
      "commit": "3652e9c5ace183f9cbaf6910d8aad6908a27231f",
      "tree": "3e9ec72ad288e354db74efbbf7d1efa55e865a2c",
      "parents": [
        "17cfc92f402493979783585b6581efbd98c0cf07"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Sep 04 14:29:30 2022 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 17 16:01:31 2024 +0000"
      },
      "message": "gma: Work around GNATprove issue with nested loops\n\nAdd some explicit `Loop_Invariant (True)` to work around\nodd check messages. These show up since about the spark-\ncommunity-2019 release and still with newer versions,\nwhich almost seem to hang (takes some minutes longer than\nexpected). Example messages are provided below. Given that\nthe values are in the ranges as stated by the `for` loops,\nthey can\u0027t be out of range.\n\nhw-gfx-gma-plls.adb:323:14: medium: range check might fail\n  323 |         for M1 in reverse M1_Range range Limits.M1_Lower .. Limits.M1_Upper\n      |             ^~\n\nhw-gfx-gma-plls.adb:325:17: medium: range check might fail\n  325 |            for M2 in reverse M2_Range range Limits.M2_Lower .. Int64\u0027Min (Limits.M2_Upper, M1)\n      |                ^~\n\nhw-gfx-gma-plls.adb:327:20: medium: range check might fail\n  327 |               for P1 in reverse P1_Range range Limits.P1_Lower .. Limits.P1_Upper\n      |                   ^~\n\nhw-gfx-gma-plls.adb:332:41: medium: range check might fail\n  332 |                     M2              \u003d\u003e M2,\n      |                                        ^~\n  reason for check: input value must fit in parameter type\n\nChange-Id: I5430081767c760b85401300e0db4d26fd78270d7\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68112\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "125a29e84242900a5556e8a068227e59420c3e1c",
      "tree": "925c85a1e9a5dc0506c9ccd26cd8ba4e05dd3d33",
      "parents": [
        "be4eaddc67ee3a11b1222db049cd8830491363d9"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Tue Oct 18 00:23:54 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 13:05:15 2016 +0200"
      },
      "message": "Relicense libgfxinit under GPL v2+\n\nChange-Id: I5d683dda83d23e89955a4d840b5570bd8642834a\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/17052\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "83693c8d7d87f5cebe120abdf25951c9e212b319",
      "tree": "249eff589087c2ed8deeeeda1710ff49a3c3c810",
      "parents": [],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Sat Oct 08 22:17:55 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Oct 09 11:34:25 2016 +0200"
      },
      "message": "Initial upstream commit\n\nThe history contained unlicensed code so everything got squashed, sorry.\n\nChange-Id: I9f5775208f9df6fb29074bf3bc498f68cb17b3a0\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\n"
    }
  ]
}