)]}'
{
  "log": [
    {
      "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"
    }
  ]
}