{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":712551304,"defaultBranch":"main","name":"theorem-prover","ownerLogin":"jchenche","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-31T17:33:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30018387?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700894437.0","currentOid":""},"activityList":{"items":[{"before":"9a7c8cbabf05590a2d12ba4fc4f5c8161d46bba2","after":"a916abab169109bc97fc27a37f02c2c4d826b100","ref":"refs/heads/main","pushedAt":"2023-12-11T08:04:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Edit readme","shortMessageHtmlLink":"Edit readme"}},{"before":"650c1571b5185dec12a61091439979a9922c8bdd","after":"9a7c8cbabf05590a2d12ba4fc4f5c8161d46bba2","ref":"refs/heads/main","pushedAt":"2023-12-11T07:55:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"4c5ed3fe820ee86ce76981113024f4e127cda721","after":"650c1571b5185dec12a61091439979a9922c8bdd","ref":"refs/heads/main","pushedAt":"2023-12-06T07:33:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Edit readme","shortMessageHtmlLink":"Edit readme"}},{"before":"bd9c2388150bf326be98404efe7f430f9bd15e73","after":"4c5ed3fe820ee86ce76981113024f4e127cda721","ref":"refs/heads/main","pushedAt":"2023-12-06T07:08:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Add report.pdf","shortMessageHtmlLink":"Add report.pdf"}},{"before":"b9851486b38711498c674cd700309a8043de872e","after":null,"ref":"refs/heads/testing","pushedAt":"2023-11-25T06:40:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"}},{"before":"b282d1bcbd7ca7225d6de78e85863b9fd0bfa507","after":null,"ref":"refs/heads/clausal","pushedAt":"2023-11-25T06:40:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"}},{"before":"b9649b0c1ba7fe5ef59d6fd51719a175ee4eb1ee","after":null,"ref":"refs/heads/fix_readme","pushedAt":"2023-11-25T06:40:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"}},{"before":"a38bcf68799abd36f9e5edf03af5f953a273353e","after":"bd9c2388150bf326be98404efe7f430f9bd15e73","ref":"refs/heads/main","pushedAt":"2023-11-25T06:40:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Merge pull request #13 from jchenche/fix_readme\n\nFix readme instruction","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2010500126\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jchenche/theorem-prover/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jchenche/theorem-prover/pull/13/hovercard\" href=\"https://github.com/jchenche/theorem-prover/pull/13\">#13</a> from jchenche/fix_readme"}},{"before":null,"after":"b9649b0c1ba7fe5ef59d6fd51719a175ee4eb1ee","ref":"refs/heads/fix_readme","pushedAt":"2023-11-25T06:39:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Fix readme instruction","shortMessageHtmlLink":"Fix readme instruction"}},{"before":"21110eee323086915777000fd8ce632b7751de97","after":"a38bcf68799abd36f9e5edf03af5f953a273353e","ref":"refs/heads/main","pushedAt":"2023-11-25T06:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Fix comment","shortMessageHtmlLink":"Fix comment"}},{"before":"36d8c1b2542c52ed82468f6b6a5db0e2179f5f7e","after":null,"ref":"refs/heads/readme","pushedAt":"2023-11-25T06:33:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"}},{"before":"f9d18ef0352009a3ac5992670c25d7ee1d778318","after":"21110eee323086915777000fd8ce632b7751de97","ref":"refs/heads/main","pushedAt":"2023-11-25T06:33:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"Merge pull request #12 from jchenche/readme\n\nupdate readme","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2010497888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jchenche/theorem-prover/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jchenche/theorem-prover/pull/12/hovercard\" href=\"https://github.com/jchenche/theorem-prover/pull/12\">#12</a> from jchenche/readme"}},{"before":"9d39a0514feb7fc76bda2c529d5ab6f3a74b4440","after":"36d8c1b2542c52ed82468f6b6a5db0e2179f5f7e","ref":"refs/heads/readme","pushedAt":"2023-11-25T06:32:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":null,"after":"9d39a0514feb7fc76bda2c529d5ab6f3a74b4440","ref":"refs/heads/readme","pushedAt":"2023-11-25T06:29:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"62b219b7ca75f6b5b288abb37c650dc8a90b1a25","after":"f9d18ef0352009a3ac5992670c25d7ee1d778318","ref":"refs/heads/main","pushedAt":"2023-11-25T04:51:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"3fe1310d2ff5c15b1226ae31e284110370d1f674","after":"62b219b7ca75f6b5b288abb37c650dc8a90b1a25","ref":"refs/heads/main","pushedAt":"2023-11-25T04:45:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Refactor option to result","shortMessageHtmlLink":"Refactor option to result"}},{"before":"20f56db0a58f44a041c351c5e16aeaff82b5e865","after":"3fe1310d2ff5c15b1226ae31e284110370d1f674","ref":"refs/heads/main","pushedAt":"2023-11-25T04:06:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"6101d5c072b366605fa653203030051caa8a0f24","after":"20f56db0a58f44a041c351c5e16aeaff82b5e865","ref":"refs/heads/main","pushedAt":"2023-11-25T04:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Add light error handling","shortMessageHtmlLink":"Add light error handling"}},{"before":"b8034ef39fa26ac911aa9c549f7f16a0c55d6370","after":"6101d5c072b366605fa653203030051caa8a0f24","ref":"refs/heads/main","pushedAt":"2023-11-25T03:15:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Project finished. Applied cargo fmt","shortMessageHtmlLink":"Project finished. Applied cargo fmt"}},{"before":"5f4f39aeb758f507611856cd467861bcbe0a135d","after":"b8034ef39fa26ac911aa9c549f7f16a0c55d6370","ref":"refs/heads/main","pushedAt":"2023-11-25T03:09:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Add formula arity validation","shortMessageHtmlLink":"Add formula arity validation"}},{"before":"881c878039e53b8250e0389d337235587caf28e4","after":"5f4f39aeb758f507611856cd467861bcbe0a135d","ref":"refs/heads/main","pushedAt":"2023-11-24T18:58:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"format","shortMessageHtmlLink":"format"}},{"before":"ff3fdbc5c1200349487bb8ffe6eef3fc796ae537","after":"881c878039e53b8250e0389d337235587caf28e4","ref":"refs/heads/main","pushedAt":"2023-11-24T18:55:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Increase size of log file before cleaning more and add log tracing at every major steps","shortMessageHtmlLink":"Increase size of log file before cleaning more and add log tracing at…"}},{"before":"cd6172b065e24fce84319f03644b86ebae1e4f8f","after":"ff3fdbc5c1200349487bb8ffe6eef3fc796ae537","ref":"refs/heads/main","pushedAt":"2023-11-24T18:33:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Increase size of log file before cleaning","shortMessageHtmlLink":"Increase size of log file before cleaning"}},{"before":"f5da85cac5b29a44070e763650274de04ec4e175","after":"cd6172b065e24fce84319f03644b86ebae1e4f8f","ref":"refs/heads/main","pushedAt":"2023-11-24T18:25:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Add logging capabilities to project","shortMessageHtmlLink":"Add logging capabilities to project"}},{"before":"11e0da6da360f2c11141e6491726944c3f38f8a0","after":"f5da85cac5b29a44070e763650274de04ec4e175","ref":"refs/heads/main","pushedAt":"2023-11-24T17:28:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"print output to console","shortMessageHtmlLink":"print output to console"}},{"before":"f8455733ea0e6651d9b6dca7bad85ceb8950ad30","after":"11e0da6da360f2c11141e6491726944c3f38f8a0","ref":"refs/heads/main","pushedAt":"2023-11-24T17:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"7382c4c893aee7ad2256666e9f1f7fa26fe327c5","after":"f8455733ea0e6651d9b6dca7bad85ceb8950ad30","ref":"refs/heads/main","pushedAt":"2023-11-24T17:09:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkhang1999","name":"Le Tan Khang","path":"/tkhang1999","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42204888?s=80&v=4"},"commit":{"message":"fix tests","shortMessageHtmlLink":"fix tests"}},{"before":"be0684b31439f08dea96be6707f785da492b60fc","after":"7382c4c893aee7ad2256666e9f1f7fa26fe327c5","ref":"refs/heads/main","pushedAt":"2023-11-24T08:30:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"add205c4d15ea1299aa8e7874da5aa2cc88437aa","after":"be0684b31439f08dea96be6707f785da492b60fc","ref":"refs/heads/main","pushedAt":"2023-11-24T08:25:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Fixed all unit tests but 1","shortMessageHtmlLink":"Fixed all unit tests but 1"}},{"before":"a7630271e7916ca8b4d89939e9f35c067916c43b","after":"add205c4d15ea1299aa8e7874da5aa2cc88437aa","ref":"refs/heads/main","pushedAt":"2023-11-24T08:21:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jchenche","name":"Jimmy Chen Chen","path":"/jchenche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30018387?s=80&v=4"},"commit":{"message":"Fixed some unit tests","shortMessageHtmlLink":"Fixed some unit tests"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxvuH1AA","startCursor":null,"endCursor":null}},"title":"Activity · jchenche/theorem-prover"}