{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":745938397,"defaultBranch":"cls-lvl","name":"z3","ownerLogin":"yogurt-shadow","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-01-20T15:54:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/57175155?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710476654.0","currentOid":""},"activityList":{"items":[{"before":"7809934ca9dc54fb665f2e8c78270b13b07364f1","after":"fea814a453cebe23b2d6700e00f081b0f9af8194","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-20T09:30:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add crafts","shortMessageHtmlLink":"add crafts"}},{"before":"b9647d1dbc3db6b8da40d5b38ae00f6eb067dc98","after":"7809934ca9dc54fb665f2e8c78270b13b07364f1","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-20T08:38:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add script and craft","shortMessageHtmlLink":"add script and craft"}},{"before":"4fe70d6b94016e6723f64eae187c09a4013970a7","after":"b9647d1dbc3db6b8da40d5b38ae00f6eb067dc98","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-20T07:43:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add script and craft","shortMessageHtmlLink":"add script and craft"}},{"before":"89ae26ef135e1fb6688354b0cd2eb1314900938f","after":"4fe70d6b94016e6723f64eae187c09a4013970a7","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-17T04:53:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"caf3d795a2c5529eb08c799680c76db3104440ee","after":"89ae26ef135e1fb6688354b0cd2eb1314900938f","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-16T06:34:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"fix caching system","shortMessageHtmlLink":"fix caching system"}},{"before":"44b49a65e6c6b8bfa69def969600ad8388b37502","after":"caf3d795a2c5529eb08c799680c76db3104440ee","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-15T11:02:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add caching triggered by second max var","shortMessageHtmlLink":"add caching triggered by second max var"}},{"before":"5d18f83bf147cb7c2702765c43b3a268a49c5bf9","after":"44b49a65e6c6b8bfa69def969600ad8388b37502","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-14T14:06:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"back to updated resolve, sort clauses to minimize decision paths","shortMessageHtmlLink":"back to updated resolve, sort clauses to minimize decision paths"}},{"before":"6b9aa8e8661bfe369ca11218021a70b7eadd58f7","after":"5d18f83bf147cb7c2702765c43b3a268a49c5bf9","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-14T07:57:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"beac0681c2c40f620f3c93c2f956b0d120294b81","after":"6b9aa8e8661bfe369ca11218021a70b7eadd58f7","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-14T07:52:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"update resolve to original version","shortMessageHtmlLink":"update resolve to original version"}},{"before":"689e7b04c7a5221f08e2fca7be02d4b45c59b2af","after":"beac0681c2c40f620f3c93c2f956b0d120294b81","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-14T06:50:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add caching system","shortMessageHtmlLink":"add caching system"}},{"before":"806a4772bcf8a088e274d6ff4779daa966d39894","after":"83314e0463b21c51a1bcadfa31c9e3ee62956c99","ref":"refs/heads/master","pushedAt":"2024-05-14T02:44:52.000Z","pushType":"push","commitsCount":1143,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"update statistics","shortMessageHtmlLink":"update statistics"}},{"before":"3b3f94656b0f91395d22c1e324ce194d48910b4d","after":"689e7b04c7a5221f08e2fca7be02d4b45c59b2af","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-14T02:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"start to speed up","shortMessageHtmlLink":"start to speed up"}},{"before":"aa131fed69784e2d98962a13c5078595dec3a7a4","after":"3b3f94656b0f91395d22c1e324ce194d48910b4d","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-13T13:28:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add origin version","shortMessageHtmlLink":"add origin version"}},{"before":"a0d30b0aaa8e6af42fd9697e2d317b8d08f60bf5","after":"aa131fed69784e2d98962a13c5078595dec3a7a4","ref":"refs/heads/cls-lvl","pushedAt":"2024-05-13T05:58:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"test progress when conflict","shortMessageHtmlLink":"test progress when conflict"}},{"before":"9458ef729f76c5f0a104503493905df0ed1be532","after":"a0d30b0aaa8e6af42fd9697e2d317b8d08f60bf5","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-15T04:24:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"found unknown reason: checkpoint detect memory","shortMessageHtmlLink":"found unknown reason: checkpoint detect memory"}},{"before":"a1afbefa53a5ab679437928e7dce0b34472e1726","after":"9458ef729f76c5f0a104503493905df0ed1be532","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-12T07:31:32.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"temp","shortMessageHtmlLink":"temp"}},{"before":"6bc3af889a5eb4d73c0c0674dc12cca55887e2b5","after":"a1afbefa53a5ab679437928e7dce0b34472e1726","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-11T10:17:14.000Z","pushType":"push","commitsCount":1145,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"merge complete","shortMessageHtmlLink":"merge complete"}},{"before":"3743a10c74a3f1f646cb708bbd04690327175e59","after":"6bc3af889a5eb4d73c0c0674dc12cca55887e2b5","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-10T10:52:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add bool vars for watched vars","shortMessageHtmlLink":"add bool vars for watched vars"}},{"before":"a8e3d8c34757a833cfb58596e6424ff8301b8608","after":"3743a10c74a3f1f646cb708bbd04690327175e59","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-10T06:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"fix process boolean","shortMessageHtmlLink":"fix process boolean"}},{"before":"13d52a0c04bffa72b95771ee8835cff38d198bb8","after":"a8e3d8c34757a833cfb58596e6424ff8301b8608","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-09T09:36:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"runnable version","shortMessageHtmlLink":"runnable version"}},{"before":"7d4eba36ddbf4228f9aa6932c839084c20595a06","after":"13d52a0c04bffa72b95771ee8835cff38d198bb8","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-09T06:39:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"2ad8086052260637f24350995c686592ea4761d8","after":"7d4eba36ddbf4228f9aa6932c839084c20595a06","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-09T06:35:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"restruction, ready for debug","shortMessageHtmlLink":"restruction, ready for debug"}},{"before":"31feac4c2596503b8aad25262174f38503257f02","after":"2ad8086052260637f24350995c686592ea4761d8","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-08T11:34:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"insist on when lemma full case","shortMessageHtmlLink":"insist on when lemma full case"}},{"before":"12df0457925b4c3d44015c37b3c0f52d2b9b23e0","after":"31feac4c2596503b8aad25262174f38503257f02","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-07T08:19:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"bug version","shortMessageHtmlLink":"bug version"}},{"before":"845fa8639f03992b91070a58025f5176dd800545","after":"12df0457925b4c3d44015c37b3c0f52d2b9b23e0","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-07T05:55:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"process clause when found decision, avoid same path","shortMessageHtmlLink":"process clause when found decision, avoid same path"}},{"before":"adc4d44ce6bd32ffcc1b9433f7b15c64fd2b1cda","after":"845fa8639f03992b91070a58025f5176dd800545","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-06T11:47:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add shortcut after lemma in resolve","shortMessageHtmlLink":"add shortcut after lemma in resolve"}},{"before":"28fb87039186d9065ea93b13df156e74d2107de3","after":"adc4d44ce6bd32ffcc1b9433f7b15c64fd2b1cda","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-06T08:53:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"add block trail","shortMessageHtmlLink":"add block trail"}},{"before":"36b56ab8f7bb81b041f71af1ba0e52ccd405c438","after":"28fb87039186d9065ea93b13df156e74d2107de3","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-06T08:07:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"bug for found decision, add readme","shortMessageHtmlLink":"bug for found decision, add readme"}},{"before":"41264cbdaee13e4e2372fc4073347e11e008671a","after":"36b56ab8f7bb81b041f71af1ba0e52ccd405c438","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-05T13:54:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"process arith lemma at back of resolving...","shortMessageHtmlLink":"process arith lemma at back of resolving..."}},{"before":"771905c80a64d89c6e67c811cb3112fc9cf80adc","after":"41264cbdaee13e4e2372fc4073347e11e008671a","ref":"refs/heads/cls-lvl","pushedAt":"2024-03-05T08:13:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yogurt-shadow","name":"Zhonghan Wang","path":"/yogurt-shadow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/57175155?s=80&v=4"},"commit":{"message":"remove decide, use infeasible_set for path set container","shortMessageHtmlLink":"remove decide, use infeasible_set for path set container"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yMFQwOTozMDoxMy4wMDAwMDBazwAAAAROnt8n","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yMFQwOTozMDoxMy4wMDAwMDBazwAAAAROnt8n","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wNVQwODoxMzo0Ny4wMDAwMDBazwAAAAQMktlV"}},"title":"Activity · yogurt-shadow/z3"}