)]}'
{
  "log": [
    {
      "commit": "566a295590a4d9040a2e330a35f832673aa93365",
      "tree": "65ed148d30068382ab3c54b7b53cb2ad143c2236",
      "parents": [
        "7e2a7a61fc15e0af4d877e124b4700e77637cc7a"
      ],
      "author": {
        "name": "SeanVer",
        "email": "77425230+SeanVer@users.noreply.github.com",
        "time": "Sun Jan 30 04:12:29 2022 +0800"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Sat Jan 29 12:12:29 2022 -0800"
      },
      "message": "extra lemma proof and redundant proof procedure deletion (#5)\n\nSigned-off-by: Cao Shuang \u003ccaoshuang.cs@antfin.com\u003e\r\nCo-authored-by: 小狈 \u003ccaoshuang.cs@antgroup.com\u003e"
    },
    {
      "commit": "7e2a7a61fc15e0af4d877e124b4700e77637cc7a",
      "tree": "ceffe166df1ce95bb8a12c5e3fcae397619f362c",
      "parents": [
        "2881641248807fc6452a39356047e1f83d737dac",
        "79cd9db784d5ea458f1b98d48eb6617679943f91"
      ],
      "author": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 21:46:29 2021 -0700"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Tue Mar 16 21:46:29 2021 -0700"
      },
      "message": "Merge pull request #4 from apache/ci\n\nIntegrate with Travis CI"
    },
    {
      "commit": "79cd9db784d5ea458f1b98d48eb6617679943f91",
      "tree": "ceffe166df1ce95bb8a12c5e3fcae397619f362c",
      "parents": [
        "2881641248807fc6452a39356047e1f83d737dac"
      ],
      "author": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 21:25:40 2021 -0700"
      },
      "committer": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 21:44:52 2021 -0700"
      },
      "message": "Integrate with Travis CI\n"
    },
    {
      "commit": "2881641248807fc6452a39356047e1f83d737dac",
      "tree": "bdc7e92a7836130460ac0ac52c90b6c47de36f17",
      "parents": [
        "cc3aa0cf31652300add81fb5e2e6d5b62a8abc96",
        "afc0721a2411b21734d9595df54dd23283cc12a2"
      ],
      "author": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 21:14:27 2021 -0700"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Tue Mar 16 21:14:27 2021 -0700"
      },
      "message": "Merge pull request #3 from apache/cmd_build\n\nAdd Isabelle command line build file"
    },
    {
      "commit": "afc0721a2411b21734d9595df54dd23283cc12a2",
      "tree": "bdc7e92a7836130460ac0ac52c90b6c47de36f17",
      "parents": [
        "cc3aa0cf31652300add81fb5e2e6d5b62a8abc96"
      ],
      "author": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 16:52:01 2021 -0700"
      },
      "committer": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 21:10:36 2021 -0700"
      },
      "message": "Add Isabelle command line build file\n"
    },
    {
      "commit": "cc3aa0cf31652300add81fb5e2e6d5b62a8abc96",
      "tree": "7be73d42ef6d98757aa130358edf4191d0387c2f",
      "parents": [
        "76abb09ea43fff7147785e99fa18a4be78487a2f",
        "8617dc01f470dad2dacb5d53736e30798c28b624"
      ],
      "author": {
        "name": "Yulong Zhang",
        "email": "ansonzyl@gmail.com",
        "time": "Tue Mar 16 16:39:47 2021 -0700"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Tue Mar 16 16:39:47 2021 -0700"
      },
      "message": "Merge pull request #2 from SeanVer/master\n\nupdate README.md of root directory"
    },
    {
      "commit": "8617dc01f470dad2dacb5d53736e30798c28b624",
      "tree": "7be73d42ef6d98757aa130358edf4191d0387c2f",
      "parents": [
        "50fe7b2fa827e07e6e4c966db3eb16ff2858f942"
      ],
      "author": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Wed Mar 17 02:18:32 2021 +0800"
      },
      "committer": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Wed Mar 17 02:18:32 2021 +0800"
      },
      "message": "Extra lemma proof and add more axioms\n\nSigned-off-by: Cao Shuang \u003ccaoshuang.cs@antfin.com\u003e\n"
    },
    {
      "commit": "50fe7b2fa827e07e6e4c966db3eb16ff2858f942",
      "tree": "d82f7f07102b324d3b80246495ecbac003edfff1",
      "parents": [
        "76abb09ea43fff7147785e99fa18a4be78487a2f"
      ],
      "author": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Mon Mar 01 18:18:31 2021 +0800"
      },
      "committer": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Mon Mar 01 18:18:31 2021 +0800"
      },
      "message": "update README.md at root directory\n\nSigned-off-by: Cao Shuang \u003ccaoshuang.cs@antfin.com\u003e\n"
    },
    {
      "commit": "76abb09ea43fff7147785e99fa18a4be78487a2f",
      "tree": "1e7e75763e61fa71610a33b1cdcb0c21a3f427d6",
      "parents": [
        "952d50e270bc31f1ac41c7debe498157890f9303"
      ],
      "author": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Fri Feb 26 13:50:40 2021 +0800"
      },
      "committer": {
        "name": "小狈",
        "email": "caoshuang.cs@antgroup.com",
        "time": "Fri Feb 26 13:50:40 2021 +0800"
      },
      "message": "baseline for the formal description and verification of access control module of incubator-teaclave\n\nSigned-off-by: Cao Shuang \u003ccaoshuang.cs@antfin.com\u003e\n"
    },
    {
      "commit": "952d50e270bc31f1ac41c7debe498157890f9303",
      "tree": "0def666a4ed4141128bb823be926c7695dcc3893",
      "parents": [],
      "author": {
        "name": "Mingshen Sun",
        "email": "bob@mssun.me",
        "time": "Thu Feb 25 20:40:05 2021 -0800"
      },
      "committer": {
        "name": "Mingshen Sun",
        "email": "bob@mssun.me",
        "time": "Thu Feb 25 20:40:05 2021 -0800"
      },
      "message": "Initial commit\n"
    }
  ]
}