)]}'
{
  "log": [
    {
      "commit": "ac2a141ee3abd5c6cdbd3a7ce4162f1614e53368",
      "tree": "4d0003fefa316cfd2f8c33ef13833765c136a12b",
      "parents": [
        "ba84df26cb4ef8a37a94d976bad5fd272a525610"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Thu Jul 02 10:41:59 2026 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Jul 13 12:27:58 2026 +0000"
      },
      "message": "Fix style issues and enable style checks\n\nThe enabled checks `3abdefhiklnprSx` are what we already live by\nbut didn\u0027t enforce so far. One check that we use internally, yet\nomit here is `t`, token spacing. It\u0027s too aggressive and doesn\u0027t\nallow for manual alignment of tables. The set of checks seems to\nto fit our code base rather well, otherwise.\n\nSo following checks will be performed:\n\n`3` Specify indentation level: 3 spaces.\n`a` Check attribute casing: Attributes should appear in mixed case\n`b` Blanks not allowed at statement end\n`d` Check no DOS line terminators present: No CR/LF\n`e` Check end/exit labels\n`f` No form feeds or vertical tabs\n`h` No horizontal tabs: We always use spaces\n`i` Check if-then layout\n`k` Check keyword casing: Keywords should appear in lower case\n`l` Check layout: Follow layout recommendation of the Ada RM\n`n` Check casing of entities in Standard: Should follow the Ada RM\n`p` Check pragma casing: Should appear in mixed case\n`r` Check reference: Identifiers should appear as in the declaration\n`S` Check no statements after then/else\n`x` Check extra parentheses: No C-syle parents arounds conditions\n\nChange-Id: Ia07c571c3e3e4e49d8559099511b217ade86f33f\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/533\nReviewed-by: Thomas Heijligen \u003csrc@posteo.de\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "420e863442eb72c35fa3b8a32313980853ba4cff",
      "tree": "6cfd183b235df313729af7645bc9a04e41e67809",
      "parents": [
        "066e52eeaa329d782ccee96265a6a351fc395bf1"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Sep 04 13:04:49 2022 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Nov 28 17:00:03 2022 +0000"
      },
      "message": "dp info: Provide Link_Status\u0027Object_Size and padding\n\nWe convert a plane byte buffer to a `Link_Status` object via an\n`Unchecked_Conversion`. While the situation is actually clear\nto the compiler because of the record representation clause for\n`Link_Status`, SPARK rules demand an explicit `\u0027Object_Size`.\n\nThe `\u0027Object_Size` attribute specifies the exact size the\ncompiler should allocate for objects of the given type. The\n`Padding` field is added to fill the gap left by reserved\nbits.\n\nChange-Id: Id7f6b9f50105d9357adcb60fd551b719d9eccd30\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68105\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "7769b52d61f14ce2f6a2953dc40d0ec07ab6fea2",
      "tree": "113f7bf9eb7088053b969a7f7af732db9ca6d222",
      "parents": [
        "f47ec05acb5d6eaf542a03856de2cf2af14b5846"
      ],
      "author": {
        "name": "Angel Pons",
        "email": "th3fanbus@gmail.com",
        "time": "Thu Sep 08 17:55:20 2022 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Oct 01 13:53:04 2022 +0000"
      },
      "message": "hw-gfx-dp_info.adb: Fix reading `Aux_RD_Interval`\n\nStarting with DP v1.4, the definition of DPCD address 0xe was updated\nto include a new field. Bit 7 now indicates whether a DP receiver has\nan Extended Receiver Capability field, so `Aux_RD_Interval` is now in\nbits 6:0. This change is backwards compatible with older hardware, as\nthe defined values for `Aux_RD_Interval` range from 0 to 4, and bit 7\nis always zero.\n\nHowever, libgfxinit does not make sure the value is valid before using\nit in calculations, so the `EQ_Delay` function may return an extremely\nlarge value if bit 7 is set. To avoid this, add some masks to properly\nobtain the value for `Aux_RD_Interval`.\n\nChange-Id: If22d8dbc0517daeaa043ede30bf69e7a65ab154b\nSigned-off-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/67445\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Tim Wawrzynczak \u003cinforichland@gmail.com\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "3d3452f167b4e1e9ec3c438dfb8ff5a480e9d92c",
      "tree": "32147e8e5772b23a6ba9dc0a61c7b209b1033973",
      "parents": [
        "04c1d01f2bd5b67f0fcb8f620ac83b7b84c47966"
      ],
      "author": {
        "name": "Greg V",
        "email": "greg@unrelenting.technology",
        "time": "Tue Oct 08 02:05:05 2019 +0300"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 17 19:56:43 2019 +0000"
      },
      "message": "dp_info: read eDP 1.4+ DPCD link rates\n\nThis is required for google/eve (Pixelbook), where only this new\nmethod of reporting the link rate is supported, and the\nMax_Link_Rate in the regular DPCD struct is 0x00.\n\nChange-Id: I52b4d8ad94564904854b502f300b812c41a9751a\nSigned-off-by: Greg V \u003cgreg@unrelenting.technology\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/35869\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "6c10d367eb169cc3f07053785fd000b382874672",
      "tree": "98c32c8cca2fea624303c051b423f7dcda97c451",
      "parents": [
        "530651bfb439d37abb0f07593d7ab604f2419a18"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Oct 02 00:28:19 2019 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Oct 06 14:12:49 2019 +0000"
      },
      "message": "Increase range of our main Frequency_Type\n\nIncrease `Frequency_Type` to 1MHz .. 2.5Ghz. We used to adapt it\nwhenever necessary, e.g. when a new generation supported higher\nfrequencies. But that got a little annoying. So let\u0027s choose a\nbroader range that will hopefully lower the noise for some time.\n\n1MHz is low enough for VGA resolution at 24p, and 2.5GHz is high\nenough for 8K at 60p. That should give us some margin.\n\nSome corner cases required refactoring of some calculations and\nproofs. And, admittedly, the calculation in `HW.GFX.GMA.PCH.VGA`\ncan in theory overflow. We prove absence of runtime errors by\ndeferring the potential overflow to the modular `Word32` type.\nThis is not perfect, but overflow or not, we have to expect to\nbe called with a sane frequency anyway.\n\nChange-Id: I3a159bc11ccadcaba8ad04e126e6feadfd46008e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/35750\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "af9cc9e7783526addc5b3e7c52c44b0d290c02af",
      "tree": "1654ec05e0f7f7f8da7c12aca383afa529017732",
      "parents": [
        "6e327c9bc1aff9b0fca91de7517fdfc5f14562ed"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jan 09 13:11:32 2017 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Mar 06 15:03:12 2017 +0100"
      },
      "message": "dp_info: Refactor debug output for DP settings\n\nShuffle things around to let the caller decide when to output the\nsettings. This removes spurious \"DP\" outputs for FDI configuration\nwhich reuses the DP_Info infrastructure.\n\nChange-Id: I9e6d6946002ef758b6c31f7de797dc6d329cae74\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/18116\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.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"
    }
  ]
}
