{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":514989235,"defaultBranch":"master","name":"endive","ownerLogin":"will62794","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-18T00:39:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6131840?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1689606707.0","currentOid":""},"activityList":{"items":[{"before":"9f35de14b160134ae5d3bc5a1842f2b564aa2405","after":"8e79729ae541022947922e7d9d8b3d8d65a33470","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T18:07:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Fix out of bound access when re-checking invariant at larger bound during elimination","shortMessageHtmlLink":"Fix out of bound access when re-checking invariant at larger bound du…"}},{"before":"1b79aeba910565e10aa91cc3f575ea1478386997","after":"9f35de14b160134ae5d3bc5a1842f2b564aa2405","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T14:33:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"More proof updates","shortMessageHtmlLink":"More proof updates"}},{"before":"3afbebff7f27a16ca453a2978dde6203c1786e2b","after":"1b79aeba910565e10aa91cc3f575ea1478386997","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T14:20:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save proofs","shortMessageHtmlLink":"Save proofs"}},{"before":"e9ce10e27a4d2041855b5408c5f1ecf1588e3a04","after":"3afbebff7f27a16ca453a2978dde6203c1786e2b","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T13:55:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"More Hermes proof updates","shortMessageHtmlLink":"More Hermes proof updates"}},{"before":"a73ee113b1be1a488d1b0aa12d3797d011e946f7","after":"e9ce10e27a4d2041855b5408c5f1ecf1588e3a04","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T13:47:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save updated Hermes proofs","shortMessageHtmlLink":"Save updated Hermes proofs"}},{"before":"7c5c3e6070b70a8e93ba9fa15a72d716c6a88189","after":"a73ee113b1be1a488d1b0aa12d3797d011e946f7","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T13:18:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Fix message TypeOK","shortMessageHtmlLink":"Fix message TypeOK"}},{"before":"ccc321a495a1d54d6d747641dce600872a324a27","after":"7c5c3e6070b70a8e93ba9fa15a72d716c6a88189","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T12:42:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save proofs stuff","shortMessageHtmlLink":"Save proofs stuff"}},{"before":"55345b3ae9e3df2dc0013e3d71fdf5a306c05702","after":"ccc321a495a1d54d6d747641dce600872a324a27","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T03:59:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save some proof stuff","shortMessageHtmlLink":"Save some proof stuff"}},{"before":"836f4f781b78fb4874045e8934ec92e9c4b8edac","after":"55345b3ae9e3df2dc0013e3d71fdf5a306c05702","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T02:59:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save more proof stuff","shortMessageHtmlLink":"Save more proof stuff"}},{"before":"0aa80b067c55bf1f5b440458c6444e78ee08a433","after":"836f4f781b78fb4874045e8934ec92e9c4b8edac","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T02:28:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save proof skeleton","shortMessageHtmlLink":"Save proof skeleton"}},{"before":"9a95b1ab1d77f2de6d1bf8f51cbda6789369d16a","after":"0aa80b067c55bf1f5b440458c6444e78ee08a433","ref":"refs/heads/ind-tree","pushedAt":"2024-06-14T01:52:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Remove predicate","shortMessageHtmlLink":"Remove predicate"}},{"before":"5314d16ebbb8020001f9506d914d3deed868e157","after":"9a95b1ab1d77f2de6d1bf8f51cbda6789369d16a","ref":"refs/heads/ind-tree","pushedAt":"2024-06-13T19:06:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Increase re-checks","shortMessageHtmlLink":"Increase re-checks"}},{"before":"1403f6153bd441c9a635bf978915f13b463944ab","after":"5314d16ebbb8020001f9506d914d3deed868e157","ref":"refs/heads/ind-tree","pushedAt":"2024-06-13T01:05:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Update Hermes grammar","shortMessageHtmlLink":"Update Hermes grammar"}},{"before":"36e45ee9a5f1e0ae2c9d28db978d9e30353db6ff","after":"1403f6153bd441c9a635bf978915f13b463944ab","ref":"refs/heads/ind-tree","pushedAt":"2024-05-19T03:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Fix proof slightly","shortMessageHtmlLink":"Fix proof slightly"}},{"before":"286781c5030127395e0692dd9532548f65e80823","after":"36e45ee9a5f1e0ae2c9d28db978d9e30353db6ff","ref":"refs/heads/ind-tree","pushedAt":"2024-05-19T03:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save ZeusReliableCommit checked proof","shortMessageHtmlLink":"Save ZeusReliableCommit checked proof"}},{"before":"0a6dc6073081614afb84584b31edc60a2ace2ad1","after":"286781c5030127395e0692dd9532548f65e80823","ref":"refs/heads/ind-tree","pushedAt":"2024-05-18T04:31:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Minor","shortMessageHtmlLink":"Minor"}},{"before":"0dab33affb3ec82218ce6f1f8f68d5fa46fabd62","after":"0a6dc6073081614afb84584b31edc60a2ace2ad1","ref":"refs/heads/ind-tree","pushedAt":"2024-05-18T04:27:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Update proofs","shortMessageHtmlLink":"Update proofs"}},{"before":"e4f4e955faaf96b3a1140970e6df9d8020407f5a","after":"0dab33affb3ec82218ce6f1f8f68d5fa46fabd62","ref":"refs/heads/ind-tree","pushedAt":"2024-05-18T04:04:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Case breakdowns further","shortMessageHtmlLink":"Case breakdowns further"}},{"before":"a2b5278601e5803cea72106846d5959cca6334ea","after":"e4f4e955faaf96b3a1140970e6df9d8020407f5a","ref":"refs/heads/ind-tree","pushedAt":"2024-05-18T03:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Case breakdowns","shortMessageHtmlLink":"Case breakdowns"}},{"before":"bb79610e552bf5457f4fb490a439c8dc6666f56a","after":"a2b5278601e5803cea72106846d5959cca6334ea","ref":"refs/heads/ind-tree","pushedAt":"2024-05-18T02:33:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save Zeus proofs","shortMessageHtmlLink":"Save Zeus proofs"}},{"before":"9ea06c0de8d5471f136426835e47476cfefdb838","after":"bb79610e552bf5457f4fb490a439c8dc6666f56a","ref":"refs/heads/ind-tree","pushedAt":"2024-05-15T15:22:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save updated Zeus proofs","shortMessageHtmlLink":"Save updated Zeus proofs"}},{"before":"7c9dc5eaa355005e654367dd9532eaf964c2dc60","after":"9ea06c0de8d5471f136426835e47476cfefdb838","ref":"refs/heads/ind-tree","pushedAt":"2024-05-15T15:09:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Do larger checks even not in simulation mode","shortMessageHtmlLink":"Do larger checks even not in simulation mode"}},{"before":"337cccc451d34db94df5ce4fda237f37242bf308","after":"7c9dc5eaa355005e654367dd9532eaf964c2dc60","ref":"refs/heads/ind-tree","pushedAt":"2024-05-15T04:45:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Enlarge params again","shortMessageHtmlLink":"Enlarge params again"}},{"before":"85c12c8a00de70b626b5a10506c0b043f6bf8459","after":"337cccc451d34db94df5ce4fda237f37242bf308","ref":"refs/heads/ind-tree","pushedAt":"2024-05-15T04:01:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Add key missing predicate to Hermes grammar","shortMessageHtmlLink":"Add key missing predicate to Hermes grammar"}},{"before":"4d1f33151460fc90b643337664cea2b35c2dd2fb","after":"85c12c8a00de70b626b5a10506c0b043f6bf8459","ref":"refs/heads/ind-tree","pushedAt":"2024-05-14T18:25:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Update config","shortMessageHtmlLink":"Update config"}},{"before":"498e5b8bb23699826ba6a3582c87acb5e021f9a7","after":"4d1f33151460fc90b643337664cea2b35c2dd2fb","ref":"refs/heads/ind-tree","pushedAt":"2024-05-14T14:58:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Update Hermes script","shortMessageHtmlLink":"Update Hermes script"}},{"before":"8dd1613c64b41b5342a6b350cc9e3cb97d850511","after":"498e5b8bb23699826ba6a3582c87acb5e021f9a7","ref":"refs/heads/ind-tree","pushedAt":"2024-05-14T02:50:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Clean up TLC directory","shortMessageHtmlLink":"Clean up TLC directory"}},{"before":"a878ec25d7e7339a77380c3d6c1e7f9d8e6cb9e7","after":"8dd1613c64b41b5342a6b350cc9e3cb97d850511","ref":"refs/heads/ind-tree","pushedAt":"2024-05-14T01:31:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Save additional proved AsyncRaft inductive invariant","shortMessageHtmlLink":"Save additional proved AsyncRaft inductive invariant"}},{"before":"23a953a0df71b77ad6f2ccd8d1bd51eed5c3dc51","after":"a878ec25d7e7339a77380c3d6c1e7f9d8e6cb9e7","ref":"refs/heads/ind-tree","pushedAt":"2024-05-13T14:38:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Remove one more pred from AsyncRaft grammar","shortMessageHtmlLink":"Remove one more pred from AsyncRaft grammar"}},{"before":"ab24b612f5b8b0147da2d614055f681337061bfb","after":"23a953a0df71b77ad6f2ccd8d1bd51eed5c3dc51","ref":"refs/heads/ind-tree","pushedAt":"2024-05-13T02:07:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"will62794","name":"William Schultz","path":"/will62794","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6131840?s=80&v=4"},"commit":{"message":"Remove one pred from AsyncRaft grammar","shortMessageHtmlLink":"Remove one pred from AsyncRaft grammar"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZbsOiwA","startCursor":null,"endCursor":null}},"title":"Activity · will62794/endive"}