)]}'
{
  "log": [
    {
      "commit": "d2c9fe5406dafbbf01d5edfff1e05dc221182ba9",
      "tree": "27fa56912be94334c7a07f94641bb59e7575c5ce",
      "parents": [
        "1fe7b2f133f45592f9dedb3254e9aeee7d50f32d"
      ],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 18:34:28 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:08:12 2016 -0700"
      },
      "message": "add initial cocci instrumentation demo\n\nThis doesn\u0027t yet fix anything, but adds enough basics\nto show what is intended.\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    },
    {
      "commit": "1fe7b2f133f45592f9dedb3254e9aeee7d50f32d",
      "tree": "d678f55e331bfd14b31fc0d4f854972c06061504",
      "parents": [
        "ee6dadfbec14f21c30a8188bc1afa40d0ba35510"
      ],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 17:52:42 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:01:54 2016 -0700"
      },
      "message": "add pthread_mutex_protects_3() -- semantic helper\n\nThis will be our helper for making modifications of code.\nIt hints as to what data items a mutex protects. It\ndoes not hing at run time code for production and in-tree.\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    },
    {
      "commit": "ee6dadfbec14f21c30a8188bc1afa40d0ba35510",
      "tree": "6d23c86f3726ba5744bd7492050e7e0eb726d0d6",
      "parents": [
        "99381126182f95b53f2ddce0943da447c09088e8"
      ],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 16:53:15 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:01:54 2016 -0700"
      },
      "message": "try to fix eating\n\nIf we place the lock when eating we try to ensure everyone\ntakes food, but the state machine is all messed up still.\nThe trash is still not being dealt with at all.\n\nThis is still broken, we need a way to ensure so that\nthe mutex is held also for the trash, likewise for the\naccounting which provides the simple state machine.\n\nRun 1:\n\nBefore party:\nFOOD:  [ ******************************* ]\nTRASH: [                                 ]\n\nAfter party:\nFOOD:  [  ****************************** ]\nTRASH: [ ******************************* ]\n\nRun 2:\n\nBefore party:\nFOOD:  [ ******************************* ]\nTRASH: [                                 ]\n\nAfter party:\nFOOD:  [ * ***************************** ]\nTRASH: [ ******************************* ]\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    },
    {
      "commit": "99381126182f95b53f2ddce0943da447c09088e8",
      "tree": "2dcc7c8ed4833c97bf537cb677bc3213a79b4362",
      "parents": [
        "61ec5f5d6ec8701237ba64065f1754395fc27c86"
      ],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 16:48:10 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:01:54 2016 -0700"
      },
      "message": "change rules\n\nLife is complex:\n\n  0. We invite more people.\n\n  1. People invited to the party can arrive different\n     times. In our case its up to some random time and\n     the scheduler.\n\n  2. People invited are shy, they will only eat if\n     people that are confirmed to be there are also\n     eating. If we don\u0027t eat we have no trash to\n     throw away.\n\n  3. People take random amount of time to eat food.\n\n  4. People invited are weak minded, if someone did not\n     throw away their trash they follow and become\n     messy and also do not throw away their own trash.\n\nNow results can vary, here\u0027s some examples, but pretty\nmuch it should be clear how buggy this is.\n\nRun 1:\n\nBefore party:\nFOOD:  [ ******************************* ]\nTRASH: [                                 ]\n\nAfter party:\nFOOD:  [ * ***************************** ]\nTRASH: [ ******************************* ]\n\nRun 2:\n\nBefore party:\nFOOD:  [ ******************************* ]\nTRASH: [                                 ]\n\nAfter party:\nFOOD:  [  ****************************** ]\nTRASH: [ ******************************* ]\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    },
    {
      "commit": "61ec5f5d6ec8701237ba64065f1754395fc27c86",
      "tree": "09bb5a75ffb437fd685073a24e8cf68d2070933c",
      "parents": [
        "0c81b9b9cd4e961bdc4f982c2667855a18c428d4"
      ],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 16:45:41 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:01:54 2016 -0700"
      },
      "message": "remove mutex locks\n\nEverything is still in order though, this is because\neveryone is following orders:\n\nBefore party:\nFOOD:  [ *********** ]\nTRASH: [             ]\n\nAfter party:\nFOOD:  [             ]\nTRASH: [ *********** ]\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    },
    {
      "commit": "0c81b9b9cd4e961bdc4f982c2667855a18c428d4",
      "tree": "674bd38dd05b278a6ae759f4c53e681ecb70938f",
      "parents": [],
      "author": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Thu May 05 15:48:12 2016 -0700"
      },
      "committer": {
        "name": "Luis R. Rodriguez",
        "email": "mcgrof@kernel.org",
        "time": "Fri May 06 16:01:50 2016 -0700"
      },
      "message": "add initial demo pthread party\n\nEverything in order here. Party results:\n\nBefore party:\nFOOD:  [ *********** ]\nTRASH: [             ]\n\nAfter party:\nFOOD:  [             ]\nTRASH: [ *********** ]\n\nEveryone ate in order and then placed their trash accordingly.\nLocking is in place so this is expected.\n\nSigned-off-by: Luis R. Rodriguez \u003cmcgrof@kernel.org\u003e\n"
    }
  ]
}