{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":571391159,"defaultBranch":"main","name":"riptide-verification","ownerLogin":"secure-foundations","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-11-28T02:40:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32856639?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723727118.0","currentOid":""},"activityList":{"items":[{"before":"4946ad2c3dac4140069f8e370fac832a360f9163","after":"4dfd444778d40ccf9a20f8214d9a9cf449b8c7ad","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-08-19T15:58:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Update for camera-ready","shortMessageHtmlLink":"Update for camera-ready"}},{"before":"473a0e2c5d25f53a63b4ee4f09727390710e164f","after":"1f367aa5275aa3f15430d10e93df319cb9b81df6","ref":"refs/heads/deadlock","pushedAt":"2024-08-19T13:46:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"basvdheuvel","name":"Bas van den Heuvel","path":"/basvdheuvel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2972759?s=80&v=4"},"commit":{"message":"System semantics","shortMessageHtmlLink":"System semantics"}},{"before":"885cfdec6f42db2ac2a37684ff6c88080e03fe32","after":"473a0e2c5d25f53a63b4ee4f09727390710e164f","ref":"refs/heads/deadlock","pushedAt":"2024-08-19T08:19:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"basvdheuvel","name":"Bas van den Heuvel","path":"/basvdheuvel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2972759?s=80&v=4"},"commit":{"message":"Towards a calculus","shortMessageHtmlLink":"Towards a calculus"}},{"before":null,"after":"885cfdec6f42db2ac2a37684ff6c88080e03fe32","ref":"refs/heads/deadlock","pushedAt":"2024-08-15T13:05:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Init","shortMessageHtmlLink":"Init"}},{"before":"c3186322e1bc5aa05370f36cf2db164764646438","after":"4946ad2c3dac4140069f8e370fac832a360f9163","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T19:18:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"087a7352057bbbe6d28f87665b4f221d8ac48784","after":"c3186322e1bc5aa05370f36cf2db164764646438","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T18:35:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix guide","shortMessageHtmlLink":"Fix guide"}},{"before":"ff2a20be2371493f24e80e89f26acb781633b543","after":"087a7352057bbbe6d28f87665b4f221d8ac48784","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T18:24:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add precompiled sdc","shortMessageHtmlLink":"Add precompiled sdc"}},{"before":"e7f50637a7d2a11efa025eb8943791fbfd3c4bbf","after":"ff2a20be2371493f24e80e89f26acb781633b543","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T18:17:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add more instructions","shortMessageHtmlLink":"Add more instructions"}},{"before":"981c0e43d59998fd1f37c3910c04c5d93664c966","after":"e7f50637a7d2a11efa025eb8943791fbfd3c4bbf","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T17:28:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix Dockerfile and add README.md","shortMessageHtmlLink":"Fix Dockerfile and add README.md"}},{"before":"f95beea236fddd7c9f16259735af733676130c26","after":"981c0e43d59998fd1f37c3910c04c5d93664c966","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T16:01:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix Dockerfile","shortMessageHtmlLink":"Fix Dockerfile"}},{"before":null,"after":"f95beea236fddd7c9f16259735af733676130c26","ref":"refs/heads/oopsla2024-ae","pushedAt":"2024-06-26T03:38:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Prepare AE","shortMessageHtmlLink":"Prepare AE"}},{"before":"250ceb67713de76957879a101fd91df3b4c948cf","after":"c2b571c8c319efd7b8462140f978505730e5ad17","ref":"refs/heads/main","pushedAt":"2024-06-26T02:08:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Update .gitignore","shortMessageHtmlLink":"Update .gitignore"}},{"before":"ea2b45024c0d785059cb2134fc95242baff535b9","after":"250ceb67713de76957879a101fd91df3b4c948cf","ref":"refs/heads/main","pushedAt":"2024-06-26T02:07:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add temporary script for translating o2p to dfl","shortMessageHtmlLink":"Add temporary script for translating o2p to dfl"}},{"before":"9bf04a31ba854db8ae8443a8aa97807b0c773234","after":"ea2b45024c0d785059cb2134fc95242baff535b9","ref":"refs/heads/main","pushedAt":"2024-06-26T02:00:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"ba115eee65767fa8b492a6e3bfc6530f9ed649cf","after":"9bf04a31ba854db8ae8443a8aa97807b0c773234","ref":"refs/heads/main","pushedAt":"2024-06-25T03:14:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix proof README.md","shortMessageHtmlLink":"Fix proof README.md"}},{"before":"eeb18622b1ab151714fd8f91d6a7adab39e29560","after":"ba115eee65767fa8b492a6e3bfc6530f9ed649cf","ref":"refs/heads/main","pushedAt":"2024-06-25T03:11:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Refactor and finish proofs","shortMessageHtmlLink":"Refactor and finish proofs"}},{"before":"5bdd618ad504b4ced33da029671dedf9382669c2","after":"eeb18622b1ab151714fd8f91d6a7adab39e29560","ref":"refs/heads/main","pushedAt":"2024-06-25T02:13:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Strengthen results of theorem_bounded_confluence","shortMessageHtmlLink":"Strengthen results of theorem_bounded_confluence"}},{"before":"c9fdf81fcd95f8de4ff0bff9c1107ef9f9575ce1","after":"5bdd618ad504b4ced33da029671dedf9382669c2","ref":"refs/heads/main","pushedAt":"2024-06-25T01:32:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"[WIP] add new proof for consistent weak normalization => strong normalization","shortMessageHtmlLink":"[WIP] add new proof for consistent weak normalization => strong norma…"}},{"before":"35b75c12c89248809c7c16bf8bf58abab0ef49b4","after":"c9fdf81fcd95f8de4ff0bff9c1107ef9f9575ce1","ref":"refs/heads/main","pushedAt":"2024-04-10T18:13:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Change inclusion to equality in permission constraints","shortMessageHtmlLink":"Change inclusion to equality in permission constraints"}},{"before":"989b10b5545b3d9e614a04651a077f34ae2ef794","after":"35b75c12c89248809c7c16bf8bf58abab0ef49b4","ref":"refs/heads/main","pushedAt":"2024-04-05T04:54:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix LLVM parsing","shortMessageHtmlLink":"Fix LLVM parsing"}},{"before":"c1bc6da475eaf29740e0e66b3a018ee81b37d03e","after":"989b10b5545b3d9e614a04651a077f34ae2ef794","ref":"refs/heads/main","pushedAt":"2024-04-04T15:58:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add an integer encoding of permissions","shortMessageHtmlLink":"Add an integer encoding of permissions"}},{"before":"93a50586fd7a8991071bfd418dc2542916894661","after":"c1bc6da475eaf29740e0e66b3a018ee81b37d03e","ref":"refs/heads/main","pushedAt":"2024-04-04T06:37:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix parser","shortMessageHtmlLink":"Fix parser"}},{"before":"fb801058952540b917a19e440b7df17a05e845c5","after":"93a50586fd7a8991071bfd418dc2542916894661","ref":"refs/heads/main","pushedAt":"2024-04-04T02:14:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Update sha256","shortMessageHtmlLink":"Update sha256"}},{"before":"8a52cc22a13e5d19eea440e291cef2e18ce064e4","after":"fb801058952540b917a19e440b7df17a05e845c5","ref":"refs/heads/main","pushedAt":"2024-04-03T19:01:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix issue","shortMessageHtmlLink":"Fix issue"}},{"before":"7137b93214e76593965b55d830c7fae49f689110","after":"8a52cc22a13e5d19eea440e291cef2e18ce064e4","ref":"refs/heads/main","pushedAt":"2024-04-03T18:48:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add a fix for omitted entry block label","shortMessageHtmlLink":"Add a fix for omitted entry block label"}},{"before":"6de01a98e70beec8a9d8d3840d52af45baea5b45","after":"7137b93214e76593965b55d830c7fae49f689110","ref":"refs/heads/main","pushedAt":"2024-04-03T17:56:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"SHA256 example","shortMessageHtmlLink":"SHA256 example"}},{"before":"06e6f281c389802a8ea1f1c6bbe94c2ae2ad0f88","after":"6de01a98e70beec8a9d8d3840d52af45baea5b45","ref":"refs/heads/main","pushedAt":"2024-04-03T17:40:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix LLVM phi semantics","shortMessageHtmlLink":"Fix LLVM phi semantics"}},{"before":"d89b023634bd595bb1c11b05ce70d560b3ee6c8b","after":"06e6f281c389802a8ea1f1c6bbe94c2ae2ad0f88","ref":"refs/heads/main","pushedAt":"2024-04-03T17:01:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Add lshr and fshr","shortMessageHtmlLink":"Add lshr and fshr"}},{"before":"5dd9b81d410cd6f0377b1c9670948061241586ac","after":"d89b023634bd595bb1c11b05ce70d560b3ee6c8b","ref":"refs/heads/main","pushedAt":"2024-03-28T18:12:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Fix z3 random seed","shortMessageHtmlLink":"Fix z3 random seed"}},{"before":"f2e4860ca34170de3aafeea8a0e8730d61d31ded","after":"5dd9b81d410cd6f0377b1c9670948061241586ac","ref":"refs/heads/main","pushedAt":"2024-03-14T20:47:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zhengyao-lin","name":"zhengyao","path":"/zhengyao-lin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9999958?s=80&v=4"},"commit":{"message":"Minor performance improvement","shortMessageHtmlLink":"Minor performance improvement"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOVQxNTo1ODowMC4wMDAwMDBazwAAAASeNhET","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xNFQyMDo0Nzo1Ni4wMDAwMDBazwAAAAQWFSXZ"}},"title":"Activity · secure-foundations/riptide-verification"}