)]}'
{
  "log": [
    {
      "commit": "fc2102f560f25e0f2e5be91ec36646dcb69e6e1b",
      "tree": "0e4428ad10de82b614fbe399f61fd1b6be5c6350",
      "parents": [
        "a3edc6ef32d09c566b7ea3555bc753458ec63039"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Thu Jun 10 16:36:31 2021 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 13 20:10:35 2021 +0000"
      },
      "message": "dynamic_mmio: Use volatile access type\n\nGCC 11 complains about an incompatible access type, e.g.\n\nhw-pci-dev.adb:28:04: instantiation error at hw-mmio_range.adb:32\nhw-pci-dev.adb:28:04: instantiation error at hw-pci-mmconf.adb:36\nhw-pci-dev.adb:28:04: designated type and access type are not compatible with respect to volatility due to Async_Readers, Async_Writers, Effective_Reads, Effective_Writes\n\nDeclaring the access type volatile works around the issue, but we\nhave to also treat `Range_A` as external state now. Declaring it\nas `Base_Address` state was an odd hack anyway.\n\nTo avoid further hassle, we also disable `SPARK_Mode`. Treating\nthis as SPARK code was never intended, and we use a shadow imple-\nmentation (`proof/hw-mmio_range.adb`) for proofs anyway.\n\nTEST\u003dDoesn\u0027t affect coreboot binaries.\n\nChange-Id: I9ddc8d1dafdcb41810e4c8bf29164ef7130def3f\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/55390\nReviewed-by: Jacob Garber \u003cjgarber1@ualberta.ca\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nTested-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "5f82d1ab9782935bbd4e8eda9454488d9d924895",
      "tree": "92b8276aa15efced1565483a25c9589f10f6e07e",
      "parents": [
        "cf01ab6e40ce7229cf6740fe1b7e0e107b396a23"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon May 08 14:14:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 22 21:07:18 2017 +0200"
      },
      "message": "ada/dynamic_mmio: Drop unnecessary Volatile aspect\n\nThe access variable `Range_A` was accidentally declared `Volatile` which\nled to the following complaint by GCC 7.1:\n\n    volatile object cannot appear in this context (SPARK RM 7.1.3(11))\n\nThis happened probably to make `Range_A` compatible with our state\nabstraction, but we can just use the correct abstraction instead.\n\nTEST\u003dCompiled a coreboot target with libgfxinit and checked the\n     emitted assembly: Only minor reordering regarding the pointer\n     but not the dereference.\n     Booted ThinkPad T420 with libgfxinit enabled.\n\nChange-Id: I56a3fcadce59713fb03a089d192d2022bfb1d378\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/19624\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nReviewed-by: Philippe Mathieu-Daudé \u003cphilippe.mathieu.daude@gmail.com\u003e\n"
    },
    {
      "commit": "aab715f166bf1b54cfbd6982e8df49248ea544d8",
      "tree": "10ef0a0779a34e700764476dd6558204cb87b554",
      "parents": [
        "ded07e802febe7e1742bd81464888e5193537fdb"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Tue Oct 18 00:22:25 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 13:05:03 2016 +0200"
      },
      "message": "Relicense libhwbase under GPL v2+\n\nChange-Id: Id91d759fa1f6691dbcd228730809064fc8305af2\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/17053\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": "5e9b1b50e7ac90f68ca2ea798ef656ac863c2851",
      "tree": "4bdccf08b1b59035632f26a8853c8456e07b8fca",
      "parents": [],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Sat Oct 08 22:09:33 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Oct 09 11:31:44 2016 +0200"
      },
      "message": "Initial upstream commit\n\nThe history contained unlicensed code so everything got squashed, sorry.\n\nChange-Id: Ie1335ecfcee7f740bb6de2e9887606be30a2deff\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\n"
    }
  ]
}