)]}'
{
  "log": [
    {
      "commit": "5bd7c1101c0b8610949e0172b0e1a0072fd03638",
      "tree": "5871d24b0f572ab2224b4063b4437f44757fbcb2",
      "parents": [
        "35ca5cc1eb4b0239ade90eed62bab2793a27d183"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Apr 11 22:36:50 2026 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri May 29 11:24:07 2026 +0000"
      },
      "message": "Makefile.proof: Increase proof timeout\n\nHardware is getting faster but software slower??? A few libgfxinit\nproofs take longer than 1s now, so we\u0027ll double the timeout to 2s.\n\nChange-Id: I27a39662c80216b7b7e2285c953d2f20995647ff\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/475\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "35ca5cc1eb4b0239ade90eed62bab2793a27d183",
      "tree": "93a7e68a931503feb7a5d9fa5183c248d0e260e5",
      "parents": [
        "503454968ba8dbad423c6deb1e44397ab11d291b"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Apr 11 11:08:35 2026 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri May 29 11:24:07 2026 +0000"
      },
      "message": "Makefile.proof: Allow to override $(jobs) for `proof-allconfigs`\n\nChange-Id: I13397d67d5f5f0860c693948b3008e9d64fc0a8e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/474\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "503454968ba8dbad423c6deb1e44397ab11d291b",
      "tree": "78f9a475fa86f33de8c62e54d6e009cdd83964fa",
      "parents": [
        "0498e100f7097d7b25cf006e197d6a39ec839ecf"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Apr 11 10:59:43 2026 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri May 29 11:24:07 2026 +0000"
      },
      "message": "Makefile.proof: Also run the regular build as part of proofs\n\nChange-Id: I76eb39e429d3dc540bbcb04ca662c0d15bf7b8a4\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/473\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "0498e100f7097d7b25cf006e197d6a39ec839ecf",
      "tree": "7333361a2bfae2324519c96efd5de3c19bae322b",
      "parents": [
        "2480f77251e81afc284d7931bdf078319f1f4f8e"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Apr 11 10:47:06 2026 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri May 29 11:24:07 2026 +0000"
      },
      "message": "Makefile.proof: Add full paths and config to diagnostic output\n\nGCC and GNATprove only print the file name in diagnostic messages, not\nits full path. We\u0027ll replace the file name for all known files in the\nconfiguration built for. For the `proof-allconfigs` target, we also\nprefix the line with the current configuration (e.g. `linux::`).\n\nChange-Id: Ia71ee4b780d61ad6c583515d74e8669d1a259675\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/472\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "bd0ed91cb985a697033edd9fd62d322aa017e791",
      "tree": "0fcfa9d5ea616d3b6652cc0016e93ddd93282e50",
      "parents": [
        "455ed64bff3cc223bf0a2aff117d3b47a523ba0a"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 17 17:58:57 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 21:45:26 2019 +0000"
      },
      "message": "Makefile: Revise support for generated sources\n\nHandle generated source files more independently from normal source\nfiles. This allows mixing of generated specs with existing source\nbodies.\n\nAs with the source file list, we filter the list of generated sources,\n`$(name)-gens`: All spec (.ads) files that have a respective body file\n(.adb), are moved into `$(name)-extra-gens`. This way, we can still\nadd these files as dependencies to all pre-existing source files.\n\nChange-Id: I5479c436f39088ae9d0ebddf9a97446be0f191f3\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/27139\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "6582141149192b4b7227f66870f3a5df7ac43bc6",
      "tree": "027bc9064aa1877e25fd87bc53f8cb5079ba6550",
      "parents": [
        "c38015d052dd686c96504cbf5dd4c3d61fc030a5"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 23:13:21 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:13:05 2019 +0000"
      },
      "message": "Makefile.proof: Add --no-inlining to SPARKFLAGS\n\nWith `--no-inlining`, proof is about 10% faster for libgfxinit.\n\nChange-Id: Ia6055da326901c1c25b9d0c757767891284bc515\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26850\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "a60324f0529adc568c2183f6a3a49ae44db54af5",
      "tree": "781c7d6e38a57cb92f474365e6f6dfdf453051c7",
      "parents": [
        "637f2a4f21ead8ccc45d5256834eb27ce72088db"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 12:56:25 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:12:34 2019 +0000"
      },
      "message": "Makefile.proof: Remove cvc4 from prover list\n\nSince we have z3, it was never of much use.\n\nChange-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26837\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "1404fbbee41319e727915e745f09a05ef6f313f4",
      "tree": "7ce7a2f1fcb0165845c4ed2b68ca5bd54bb1c838",
      "parents": [
        "e05bf875c1e62f7ab044f6eee295183581175477"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Jul 17 23:44:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Aug 29 09:46:36 2017 +0000"
      },
      "message": "Makefile.proof: Reorder theorem provers\n\nPrefer Z3 over CVC4, the latter seems to not do anything for the current\ncode and just wastes CPU cycles.\n\nChange-Id: Ia5e1341e881c5f887452486a318e8e72513f28fb\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20627\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n"
    },
    {
      "commit": "ded07e802febe7e1742bd81464888e5193537fdb",
      "tree": "f47f6ce12e53bd71a6afc3ff54c83adb3f8bd0fc",
      "parents": [
        "f86fb18dab0f97040717e2b914f2aea63794192a"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Oct 05 23:59:14 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 13:04:47 2016 +0200"
      },
      "message": "Makefile.proof: Add all source files to the dependencies\n\nChange-Id: Ic1d19e4516bb20b9796ac02baee099e9df472ab5\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/17021\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\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"
    }
  ]
}