{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":65353162,"defaultBranch":"master","name":"PSL","ownerLogin":"data61","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-08-10T05:28:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17059450?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719330145.0","currentOid":""},"activityList":{"items":[{"before":"043cc4588a982ffa0110c8018ab1ec5eea079da6","after":"aab9f2af71b752affee88d5a0232ad7bc99afec1","ref":"refs/heads/master","pushedAt":"2024-07-04T00:04:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"remove an outdated description in README.md","shortMessageHtmlLink":"remove an outdated description in README.md"}},{"before":"52e6bf1dfbba0c98914021ede0b2cf3233ddb843","after":"043cc4588a982ffa0110c8018ab1ec5eea079da6","ref":"refs/heads/master","pushedAt":"2024-07-01T22:22:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"remove PDF slides to reduce size.","shortMessageHtmlLink":"remove PDF slides to reduce size."}},{"before":"228003eb5318af601a60a3f42a6de908b11bfbaf","after":"52e6bf1dfbba0c98914021ede0b2cf3233ddb843","ref":"refs/heads/master","pushedAt":"2024-06-25T15:43:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md\n\nFix a bug in README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2a35953f8f829ffc9c56a2313bac35ccd86e5a9f","after":"228003eb5318af601a60a3f42a6de908b11bfbaf","ref":"refs/heads/master","pushedAt":"2024-06-25T15:34:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"dbcf3a4a470446e46c7485fe111221ed2dd6a28b","after":"2a35953f8f829ffc9c56a2313bac35ccd86e5a9f","ref":"refs/heads/master","pushedAt":"2024-06-25T15:25:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:data61/PSL","shortMessageHtmlLink":"Merge branch 'master' of github.com:data61/PSL"}},{"before":"67baf78607fd60c5de1e713cf1a4666621ca70b3","after":"dbcf3a4a470446e46c7485fe111221ed2dd6a28b","ref":"refs/heads/master","pushedAt":"2024-06-07T11:45:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2eeb751cde35a2b40b1dc746e64f6764efa8daa8","after":"67baf78607fd60c5de1e713cf1a4666621ca70b3","ref":"refs/heads/master","pushedAt":"2024-06-07T11:45:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"231efc42c195ae8fcf0e6a3dcd4e84459fceb535","after":"2eeb751cde35a2b40b1dc746e64f6764efa8daa8","ref":"refs/heads/master","pushedAt":"2023-12-22T02:41:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"d84713b84da70bcbd5330adb8b5349bcd18a7b1c","after":"231efc42c195ae8fcf0e6a3dcd4e84459fceb535","ref":"refs/heads/master","pushedAt":"2023-12-05T23:41:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"db661365afd4bec1cb5736f3bb48609558b16d4a","after":"d84713b84da70bcbd5330adb8b5349bcd18a7b1c","ref":"refs/heads/master","pushedAt":"2023-11-23T20:16:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md\n\nAdd a thumbnail to a YouTube video about Abduction Prover.","shortMessageHtmlLink":"Update README.md"}},{"before":"fd3f2994dd886dbb820635c925e325c157b9525a","after":"db661365afd4bec1cb5736f3bb48609558b16d4a","ref":"refs/heads/master","pushedAt":"2023-11-23T20:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0b408f15dd09c2af0ffa94a0d59fea85ad92e448","after":"fd3f2994dd886dbb820635c925e325c157b9525a","ref":"refs/heads/master","pushedAt":"2023-10-06T21:55:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8c2db1b7a0318bbfe2415cb6d1a26e902da8be2c","after":"0b408f15dd09c2af0ffa94a0d59fea85ad92e448","ref":"refs/heads/master","pushedAt":"2023-10-06T21:53:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"72d6883d30e74297df90a7541780ad0d178f051e","after":"8c2db1b7a0318bbfe2415cb6d1a26e902da8be2c","ref":"refs/heads/master","pushedAt":"2023-10-06T20:43:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2c5fb016b3f2f1561c0ce191d2bed86e41ef869e","after":"72d6883d30e74297df90a7541780ad0d178f051e","ref":"refs/heads/master","pushedAt":"2023-10-06T20:41:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"add screenshot for the Abduction Prover on Prod06","shortMessageHtmlLink":"add screenshot for the Abduction Prover on Prod06"}},{"before":"97f59c775b1ec663541419c367c46a8cb728a956","after":"2c5fb016b3f2f1561c0ce191d2bed86e41ef869e","ref":"refs/heads/master","pushedAt":"2023-10-01T19:13:59.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: bug fixed. add type cleaning and type checking to refutation.","shortMessageHtmlLink":"Abduction: bug fixed. add type cleaning and type checking to refutation."}},{"before":"fd15f0a7653b439f7077557f9153c10e0ff3e7ce","after":"97f59c775b1ec663541419c367c46a8cb728a956","ref":"refs/heads/master","pushedAt":"2023-09-26T23:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: relaxed condition for filtering out conjectures.\n\nWhen a premise of the original goal is equivalent to false,\nwe should consider conjectures that have premises equivalent to false.","shortMessageHtmlLink":"Abduction: relaxed condition for filtering out conjectures."}},{"before":"7f63c6d5f81a9d7441e1e84063c2ac9c0eaf725d","after":"fd15f0a7653b439f7077557f9153c10e0ff3e7ce","ref":"refs/heads/master","pushedAt":"2023-09-24T22:36:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: major bug fixed.\n\n- one bug in PSL/Subtool.ML about timeout\n- one bug in Abduction/Proof_By_Abduction about free variable names.","shortMessageHtmlLink":"Abduction: major bug fixed."}},{"before":"8a923bf19196a80f9f2e1fee99e3427fc586f45d","after":"7f63c6d5f81a9d7441e1e84063c2ac9c0eaf725d","ref":"refs/heads/master","pushedAt":"2023-09-21T00:13:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: relax the condition to filter out conjectures based on premises.","shortMessageHtmlLink":"Abduction: relax the condition to filter out conjectures based on pre…"}},{"before":"931d20f8baa3158a19f8ca3b105d3f6fc5d0042f","after":"8a923bf19196a80f9f2e1fee99e3427fc586f45d","ref":"refs/heads/master","pushedAt":"2023-09-20T00:27:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: the result of refutation is not binary but on a spectrum.\n\nTODOs:\n- Synthetic SeLFiE.","shortMessageHtmlLink":"Abduction: the result of refutation is not binary but on a spectrum."}},{"before":"20f2cba604077756b099a808ea2e3697d44c6271","after":"931d20f8baa3158a19f8ca3b105d3f6fc5d0042f","ref":"refs/heads/master","pushedAt":"2023-09-18T00:02:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: sort active orkeys based on importance.\n\nTODOs:\n- implement bests-first expansion.\n- adjust importance based on the results of Nitpick (quasi_genuineN and potentialN).","shortMessageHtmlLink":"Abduction: sort active orkeys based on importance."}},{"before":"7c99a449f37619ec3aaf5a00d49ab79977705541","after":"20f2cba604077756b099a808ea2e3697d44c6271","ref":"refs/heads/master","pushedAt":"2023-09-17T15:11:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: add the \"importance\" field to or2and_edge.\n\nIt is not used yet.\nTODOs:\n- Use the results of Smart_Induction to decide the \"importance\" of the results.","shortMessageHtmlLink":"Abduction: add the \"importance\" field to or2and_edge."}},{"before":"8310f96c8c3ace905684889cbec8dd6f46c6197e","after":"7c99a449f37619ec3aaf5a00d49ab79977705541","ref":"refs/heads/master","pushedAt":"2023-09-14T23:58:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: towards bests-first expansion.\n\nTODO:\n- The root node's importance should be one.\n- We should update the importance of child-or-nodes in Seed_Of_Or2And_Edge.ML\n- We should change the type of Or2And_Edge as well.","shortMessageHtmlLink":"Abduction: towards bests-first expansion."}},{"before":"58d9b6ba8a911cb1dba0df6c30f3125ec47a8411","after":"8310f96c8c3ace905684889cbec8dd6f46c6197e","ref":"refs/heads/master","pushedAt":"2023-09-13T22:01:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:data61/PSL","shortMessageHtmlLink":"Merge branch 'master' of github.com:data61/PSL"}},{"before":"f6911c0bc921db723acdd19b2e8e0262d10262cc","after":"58d9b6ba8a911cb1dba0df6c30f3125ec47a8411","ref":"refs/heads/master","pushedAt":"2023-09-12T22:58:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b49a68d5882803bc441c1705f77e2104262a83bf","after":"f6911c0bc921db723acdd19b2e8e0262d10262cc","ref":"refs/heads/master","pushedAt":"2023-09-12T22:53:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"35047f94cbbabb80b3a45c8d854646b6a598f62f","after":"b49a68d5882803bc441c1705f77e2104262a83bf","ref":"refs/heads/master","pushedAt":"2023-09-12T22:51:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update README.md for Isabelle2023.","shortMessageHtmlLink":"Update README.md for Isabelle2023."}},{"before":"15453f6d78556854356e6a0966781cf37767c680","after":"35047f94cbbabb80b3a45c8d854646b6a598f62f","ref":"refs/heads/master","pushedAt":"2023-09-12T22:46:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Update to Isabelle2023.","shortMessageHtmlLink":"Update to Isabelle2023."}},{"before":"c3ef4a5eed10faa66cae519b50266ff9defb06ea","after":"15453f6d78556854356e6a0966781cf37767c680","ref":"refs/heads/master","pushedAt":"2023-08-28T00:30:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"Abduction: fix the bug about the size comparison.","shortMessageHtmlLink":"Abduction: fix the bug about the size comparison."}},{"before":"c283dd6b2b2a0eee3080ea2188cab3bc5b238f3a","after":"c3ef4a5eed10faa66cae519b50266ff9defb06ea","ref":"refs/heads/master","pushedAt":"2023-08-27T23:29:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yutakang","name":"Yutaka Ng","path":"/yutakang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7411634?s=80&v=4"},"commit":{"message":"remove outdated AFP entries.","shortMessageHtmlLink":"remove outdated AFP entries."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdmLRQwA","startCursor":null,"endCursor":null}},"title":"Activity · data61/PSL"}