{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":292919273,"defaultBranch":"master","name":"ivy","ownerLogin":"kenmcmil","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-09-04T18:26:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8010069?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719610254.0","currentOid":""},"activityList":{"items":[{"before":"3470bd5f88d27ac4b05f8b944daf07e09775bb6b","after":"776f38587e5fa12a7b7e86c8a55b6d521c206034","ref":"refs/heads/all_features","pushedAt":"2024-08-06T03:31:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"fix bug in diagnostics messages","shortMessageHtmlLink":"fix bug in diagnostics messages"}},{"before":"51bb92e3ef760ef452b39ce5005485c85eba0e7b","after":"3470bd5f88d27ac4b05f8b944daf07e09775bb6b","ref":"refs/heads/all_features","pushedAt":"2024-08-05T18:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"improve diagnostics for l2s_eventually_start invariant","shortMessageHtmlLink":"improve diagnostics for l2s_eventually_start invariant"}},{"before":"a39dccc72c76052bbaaab2787084b8a3464abfa1","after":"51bb92e3ef760ef452b39ce5005485c85eba0e7b","ref":"refs/heads/all_features","pushedAt":"2024-07-27T23:58:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"fix soundness issue induced by promoting properties to axioms in ivy_acl.py","shortMessageHtmlLink":"fix soundness issue induced by promoting properties to axioms in ivy_…"}},{"before":"84d9e58f84b6c16cb87cc066ef0b6b4d753becd6","after":"a39dccc72c76052bbaaab2787084b8a3464abfa1","ref":"refs/heads/all_features","pushedAt":"2024-07-24T20:22:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"attempt quickfix for counterexample diagnostics in ivy ranking","shortMessageHtmlLink":"attempt quickfix for counterexample diagnostics in ivy ranking"}},{"before":"1760593b8222c6dec30d64aa277af98402015f13","after":"84d9e58f84b6c16cb87cc066ef0b6b4d753becd6","ref":"refs/heads/all_features","pushedAt":"2024-07-24T02:36:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"profiling features","shortMessageHtmlLink":"profiling features"}},{"before":null,"after":"1760593b8222c6dec30d64aa277af98402015f13","ref":"refs/heads/all_features","pushedAt":"2024-06-28T21:30:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"working on CAV2024 artifact","shortMessageHtmlLink":"working on CAV2024 artifact"}},{"before":"d6f3a018976d85621647a75cd371cef51c99e0f8","after":"60fc3ba6c3da3bb0d1d35beb79a9e46562d8c61d","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-24T18:15:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"nullness checking after pyyaml parser","shortMessageHtmlLink":"nullness checking after pyyaml parser"}},{"before":"91cab0cf9a0370b9a58822e92c335654d95c6ec7","after":"d6f3a018976d85621647a75cd371cef51c99e0f8","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-22T23:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"bugfix","shortMessageHtmlLink":"bugfix"}},{"before":"42a233ecc3d3589d741736e69dd4ef65f5098371","after":"91cab0cf9a0370b9a58822e92c335654d95c6ec7","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-22T00:14:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"add option for prioritize checking of invariant preservation under certain actions","shortMessageHtmlLink":"add option for prioritize checking of invariant preservation under ce…"}},{"before":"b5370e331b7eb8be0bc63017aa47fed373445afb","after":"42a233ecc3d3589d741736e69dd4ef65f5098371","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-21T18:37:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"more bugfixes","shortMessageHtmlLink":"more bugfixes"}},{"before":"6f223d6b1737573a0f2b426eb41d889af3472fc6","after":"b0fc4dc8da893d08e47e609c7465fc9748d67b1a","ref":"refs/heads/ord_live","pushedAt":"2024-06-08T22:17:47.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"merged uf_nonrec","shortMessageHtmlLink":"merged uf_nonrec"}},{"before":"2faa42769d993d68db011259b2f695c38e75ea07","after":"b5370e331b7eb8be0bc63017aa47fed373445afb","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-05T19:02:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"more bugfixes","shortMessageHtmlLink":"more bugfixes"}},{"before":"d44fd752c3fa32091f24905fcbcfb93f0ebc4294","after":"2faa42769d993d68db011259b2f695c38e75ea07","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-05T18:36:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"more bugfixes","shortMessageHtmlLink":"more bugfixes"}},{"before":"303734206cebd4ad4d35472d3e4e44c4c169acaa","after":"d44fd752c3fa32091f24905fcbcfb93f0ebc4294","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-03T20:01:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"various improvements and bugfixes to unchecked list feature","shortMessageHtmlLink":"various improvements and bugfixes to unchecked list feature"}},{"before":"d44fd752c3fa32091f24905fcbcfb93f0ebc4294","after":"303734206cebd4ad4d35472d3e4e44c4c169acaa","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-02T00:15:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"start working on distributed proof checking","shortMessageHtmlLink":"start working on distributed proof checking"}},{"before":null,"after":"d44fd752c3fa32091f24905fcbcfb93f0ebc4294","ref":"refs/heads/distributed-checking","pushedAt":"2024-06-01T23:57:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"various improvements and bugfixes to unchecked list feature","shortMessageHtmlLink":"various improvements and bugfixes to unchecked list feature"}},{"before":"eafc0ef1d283f9f0d9bfd1187359fe105a4ef53c","after":"d44fd752c3fa32091f24905fcbcfb93f0ebc4294","ref":"refs/heads/ivy_acl","pushedAt":"2024-06-01T23:56:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"various improvements and bugfixes to unchecked list feature","shortMessageHtmlLink":"various improvements and bugfixes to unchecked list feature"}},{"before":null,"after":"eafc0ef1d283f9f0d9bfd1187359fe105a4ef53c","ref":"refs/heads/ivy_acl","pushedAt":"2024-05-31T22:14:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"add access control mechanism","shortMessageHtmlLink":"add access control mechanism"}},{"before":"620bb91b3eaa26c634471e44f915035093ad2139","after":"b26549e56f35410551f7d0f5ba3467c2b7e4f98e","ref":"refs/heads/uf_nonrec","pushedAt":"2024-05-15T19:18:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"bugfixes and tests for new UF code","shortMessageHtmlLink":"bugfixes and tests for new UF code"}},{"before":"b4bb0c3b6f8991d6a44da335440d61d08accfa40","after":"620bb91b3eaa26c634471e44f915035093ad2139","ref":"refs/heads/uf_nonrec","pushedAt":"2024-05-15T18:02:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"stats for fragment checker","shortMessageHtmlLink":"stats for fragment checker"}},{"before":null,"after":"b4bb0c3b6f8991d6a44da335440d61d08accfa40","ref":"refs/heads/uf_nonrec","pushedAt":"2024-05-15T17:52:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"use improved UF in fragment checker","shortMessageHtmlLink":"use improved UF in fragment checker"}},{"before":"f3b11ac99e64324282cda56013fa3e95b830060c","after":null,"ref":"refs/heads/rjf_devel","pushedAt":"2024-05-13T23:54:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"}},{"before":"6f223d6b1737573a0f2b426eb41d889af3472fc6","after":"f3b11ac99e64324282cda56013fa3e95b830060c","ref":"refs/heads/rjf_devel","pushedAt":"2024-05-13T22:15:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"temporarily remove picotls dependency","shortMessageHtmlLink":"temporarily remove picotls dependency"}},{"before":null,"after":"6f223d6b1737573a0f2b426eb41d889af3472fc6","ref":"refs/heads/rjf_devel","pushedAt":"2024-05-13T22:11:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruijiefang","name":"Ruijie Fang","path":"/ruijiefang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57693513?s=80&v=4"},"commit":{"message":"proof of reorder buffer works in ord_live2","shortMessageHtmlLink":"proof of reorder buffer works in ord_live2"}},{"before":"8bc31ebc4a2abaf418b7e2fdd9f78d24b40ce23e","after":"925cedadc9cb67ec211df8e7f137e9a227c03230","ref":"refs/heads/ranking","pushedAt":"2024-04-08T22:49:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"working on CAV2024 artifact","shortMessageHtmlLink":"working on CAV2024 artifact"}},{"before":"61a1960205e5a1f7cbacd6ce9ea3a69f47bed3d6","after":"8bc31ebc4a2abaf418b7e2fdd9f78d24b40ce23e","ref":"refs/heads/ranking","pushedAt":"2024-04-08T22:37:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"working on CAV2024 artifact","shortMessageHtmlLink":"working on CAV2024 artifact"}},{"before":"6b9f3ebcd28f942acededd3ab0a942e2799bec1e","after":"61a1960205e5a1f7cbacd6ce9ea3a69f47bed3d6","ref":"refs/heads/ranking","pushedAt":"2024-04-08T16:15:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"fixing overwritten ord_live.ivy","shortMessageHtmlLink":"fixing overwritten ord_live.ivy"}},{"before":"43ac9f1fcf4e2c78c78ae3b74f0b6bc5a014f358","after":"6b9f3ebcd28f942acededd3ab0a942e2799bec1e","ref":"refs/heads/ranking","pushedAt":"2024-04-08T16:13:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"working on ord_live2.ivy and ranking tactic","shortMessageHtmlLink":"working on ord_live2.ivy and ranking tactic"}},{"before":"a1a52f4faa86bce78ee50bad5533e38fb46f6c44","after":"43ac9f1fcf4e2c78c78ae3b74f0b6bc5a014f358","ref":"refs/heads/ranking","pushedAt":"2024-01-15T23:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"ord_live2 proof finished","shortMessageHtmlLink":"ord_live2 proof finished"}},{"before":"8fabefa898b418258ef952fb74dff17346803835","after":"a1a52f4faa86bce78ee50bad5533e38fb46f6c44","ref":"refs/heads/ranking","pushedAt":"2024-01-14T23:56:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kenmcmil","name":"Ken McMillan","path":"/kenmcmil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8010069?s=80&v=4"},"commit":{"message":"ord_live2 proved for mem from issue to retire and for io from ifabric to retire using tactic ranking","shortMessageHtmlLink":"ord_live2 proved for mem from issue to retire and for io from ifabric…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkqPQBwA","startCursor":null,"endCursor":null}},"title":"Activity · kenmcmil/ivy"}