)]}'
{
  "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": "3f37cce66ef8b36932db08a1fb5e6486647da308",
      "tree": "b14750a924f1384018f2b56854bb82a0803441a4",
      "parents": [
        "7e08e5d2803914af4e46280b558ec1307ead9031"
      ],
      "author": {
        "name": "Arthur Heymans",
        "email": "arthur@aheymans.xyz",
        "time": "Tue Mar 03 18:52:12 2026 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 28 09:24:08 2026 +0000"
      },
      "message": "gma g45: Add support for Intel GM965 (Crestline)\n\nAdd GM965 as a new CPU type under the G45 generation. GM965 shares\nthe GMCH display architecture with G45/GM45 (no PCH, same connector\nregisters) but differs in PLL limits, VCO/CDClk tables, and register\nfield encoding.\n\nKey differences from G45/GM45:\n - PLL limits: Uses i9xx limits (VCO 1.4-2.8 GHz) instead of g4x\n   limits. Add I9XX_LVDS_Limits; refactor Calculate_Clock_Parameters\n   to take Limits as a parameter, with a new Select_Limits function.\n - VCO: Uses Crestline (CL) VCO tables with different frequencies\n   and divisors than GM45\u0027s Cantiga (CTG) tables.\n - CDClk: GCFGC register decoding uses bits 12:8 minus 1 (3 possible\n   divisor selections), unlike GM45\u0027s single bit 12.\n - No native DisplayPort (SDVO B/C only).\n - No HD Audio (G4X_AUD_VID_DID reads as 0).\n - Has integrated LVDS transmitter (mobile platform).\n - PCI IDs: 0x2a02 (I965_GM), 0x2a12 (I965_GME).\n\nAll implementation details cross-referenced against the Linux kernel\ni915 driver (intel_dpll.c, intel_cdclk.c, intel_display_device.c).\n\nChange-Id: I0d5d698cc1c2aa84778f0fc6c2752cb5ce4f1cb2\nSigned-off-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/499\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "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": "73ea03245445527a80b70e41cf4a910371014ca0",
      "tree": "210fafb8ff5631b2946bdd4511271293b2f8a27c",
      "parents": [
        "d5198445517c361b30f4521e52b953d2a7928a70"
      ],
      "author": {
        "name": "Arthur Heymans",
        "email": "arthur@aheymans.xyz",
        "time": "Wed Mar 28 17:17:07 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 03 20:33:18 2018 +0000"
      },
      "message": "gma: Add G45 support\n\nThe following ports are implemented: HDMI/DVI, VGA, LVDS and DP.\n\nTested with gfx_test and coreboot on a Thinkpad X200 (GM45).\n\nChange-Id: Ifc05a1516329a61772af84558e5bfceb4d4ca277\nSigned-off-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-on: https://review.coreboot.org/21295\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    }
  ]
}