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