{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":612029168,"defaultBranch":"main-github","name":"ErgoEngine","ownerLogin":"ErgoAI","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-10T03:24:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/125108277?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1683311379.0","currentOid":""},"activityList":{"items":[{"before":"b766456e14a2d53b5615e5ee859e2c0cce2847ca","after":"7eb7a04ab548309b538d8d0e40c6032973067ac2","ref":"refs/heads/main-github","pushedAt":"2024-08-07T23:04:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"7b8aa1fffc0d091f07ae33882a3c4e68a4f3c333","after":"b766456e14a2d53b5615e5ee859e2c0cce2847ca","ref":"refs/heads/main-github","pushedAt":"2024-06-25T06:44:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"47858e43b4f47c4f108ae2f2255aa6af44172fd3","after":"7b8aa1fffc0d091f07ae33882a3c4e68a4f3c333","ref":"refs/heads/main-github","pushedAt":"2024-06-20T03:35:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"updated flrgclp_wfsx","shortMessageHtmlLink":"updated flrgclp_wfsx"}},{"before":"872f8c2a6b5af1c9d61b6b5ed5e22a29008cd928","after":"47858e43b4f47c4f108ae2f2255aa6af44172fd3","ref":"refs/heads/main-github","pushedAt":"2024-06-19T09:06:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"further cleanup in flrgclp and ogclp.","shortMessageHtmlLink":"further cleanup in flrgclp and ogclp."}},{"before":"b65300465a275d798e5ac7c990a62ba53f740a39","after":"872f8c2a6b5af1c9d61b6b5ed5e22a29008cd928","ref":"refs/heads/main-github","pushedAt":"2024-06-15T04:53:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"more explanations","shortMessageHtmlLink":"more explanations"}},{"before":"739886c4d934afc2edb2535d6c9cdc85e97fb09b","after":"b65300465a275d798e5ac7c990a62ba53f740a39","ref":"refs/heads/main-github","pushedAt":"2024-06-14T02:08:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"507d7fed5dcc507c642e0d657782eadf618a5c47","after":"739886c4d934afc2edb2535d6c9cdc85e97fb09b","ref":"refs/heads/main-github","pushedAt":"2024-06-11T02:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"more explanations","shortMessageHtmlLink":"more explanations"}},{"before":"bc9c2911177147b749bc997053e2429c41d40477","after":"507d7fed5dcc507c642e0d657782eadf618a5c47","ref":"refs/heads/main-github","pushedAt":"2024-06-10T21:52:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"more comments in flrgclp","shortMessageHtmlLink":"more comments in flrgclp"}},{"before":"99e695faae4ba06fb972bf5e58f5a14fac62bef3","after":"bc9c2911177147b749bc997053e2429c41d40477","ref":"refs/heads/main-github","pushedAt":"2024-06-10T05:10:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"new tests for cancellation, fot atck,atco.\nBig cleanup of atck.\nFixed cancellation in clp-derivatives","shortMessageHtmlLink":"new tests for cancellation, fot atck,atco."}},{"before":"26bcab8382c9d913738f99e5568dd67b332a3579","after":"99e695faae4ba06fb972bf5e58f5a14fac62bef3","ref":"refs/heads/main-github","pushedAt":"2024-06-07T19:00:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"fixes to make refutation sensitive to cancellation.","shortMessageHtmlLink":"fixes to make refutation sensitive to cancellation."}},{"before":"ffcaad964b5708d45905f539ab48533f13fbb225","after":"26bcab8382c9d913738f99e5568dd67b332a3579","ref":"refs/heads/main-github","pushedAt":"2024-06-06T03:48:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"partially roll back the 2024-04-08 fix to defeat delay because the 2024-05-20 fix solves the same problem in a simpler way and is more general.","shortMessageHtmlLink":"partially roll back the 2024-04-08 fix to defeat delay because the 20…"}},{"before":"3b552717cf3730e999414c4c37c97c81bc842449","after":"ffcaad964b5708d45905f539ab48533f13fbb225","ref":"refs/heads/main-github","pushedAt":"2024-06-06T01:57:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"fixed clause{...} in ergo shell","shortMessageHtmlLink":"fixed clause{...} in ergo shell"}},{"before":"e2ee079462996f7013bcc22325e8684b2d38c6e8","after":"3b552717cf3730e999414c4c37c97c81bc842449","ref":"refs/heads/main-github","pushedAt":"2024-06-04T02:49:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"updates in manual","shortMessageHtmlLink":"updates in manual"}},{"before":"f4dfd876b8f14fcc2148be9e803f28d28994dc1c","after":"e2ee079462996f7013bcc22325e8684b2d38c6e8","ref":"refs/heads/main-github","pushedAt":"2024-06-03T22:03:59.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"fixed yet another bug in the delay function, which improves most maxcard* tests. In most cases, the \\opposes clause in maxcard*flt in the ATs doesn't require the use of candidate/2 but all the atck3* ATs do require it. Why?","shortMessageHtmlLink":"fixed yet another bug in the delay function, which improves most maxc…"}},{"before":"221e00ef15b82b08d9ac737ae3957261744a47bd","after":"f4dfd876b8f14fcc2148be9e803f28d28994dc1c","ref":"refs/heads/main-github","pushedAt":"2024-05-20T05:25:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"fixes in defeasibility concerning cancelled rebutals.\nEnable/disable feature at the user level.\nExplanations in the source code as well as in the manual.\nNew defeasibility tests.","shortMessageHtmlLink":"fixes in defeasibility concerning cancelled rebutals."}},{"before":"3a514ff01935de79ea8e6b02e08b211ed211723d","after":"221e00ef15b82b08d9ac737ae3957261744a47bd","ref":"refs/heads/main-github","pushedAt":"2024-04-23T20:24:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"added issysloaded/1\nadded flrgclp+wfsx arg-like theory","shortMessageHtmlLink":"added issysloaded/1"}},{"before":"6d63b41fe7a46567b50e97967a17fa9823f4d2eb","after":"3a514ff01935de79ea8e6b02e08b211ed211723d","ref":"refs/heads/main-github","pushedAt":"2024-04-10T22:31:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"2bd279f6b4dc11c8ff15eaab2ff8523524d6ef51","after":"6d63b41fe7a46567b50e97967a17fa9823f4d2eb","ref":"refs/heads/main-github","pushedAt":"2024-04-10T06:01:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor fixes, mostly in the manual","shortMessageHtmlLink":"minor fixes, mostly in the manual"}},{"before":"7842845b1490a1dcd0750c6a67755ebc5cea7928","after":"2bd279f6b4dc11c8ff15eaab2ff8523524d6ef51","ref":"refs/heads/main-github","pushedAt":"2024-04-08T06:16:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin-bitbucket/main-bitbucket' into main-github","shortMessageHtmlLink":"Merge remote-tracking branch 'origin-bitbucket/main-bitbucket' into m…"}},{"before":"4acf63e5d76998bb63f44625acd4892036b1e16d","after":"7842845b1490a1dcd0750c6a67755ebc5cea7928","ref":"refs/heads/main-github","pushedAt":"2024-04-08T06:14:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"mostly comments\nunified the experimenting_with mechanism","shortMessageHtmlLink":"mostly comments"}},{"before":"73338a401357f8c973797ec09c72a8f7e58d55ff","after":"4acf63e5d76998bb63f44625acd4892036b1e16d","ref":"refs/heads/main-github","pushedAt":"2024-03-30T15:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"theresasturn","name":null,"path":"/theresasturn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45273697?s=80&v=4"},"commit":{"message":"Fixed a typo.","shortMessageHtmlLink":"Fixed a typo."}},{"before":"38628523384b763171a9c001edf7b6e1242035aa","after":"73338a401357f8c973797ec09c72a8f7e58d55ff","ref":"refs/heads/main-github","pushedAt":"2024-03-28T22:23:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"fixed the bug about nested set expansions like {2,{3,{4}}}","shortMessageHtmlLink":"fixed the bug about nested set expansions like {2,{3,{4}}}"}},{"before":"40f2f82216cadae9b4c5bc9b1cf71afe13cb254b","after":"38628523384b763171a9c001edf7b6e1242035aa","ref":"refs/heads/main-github","pushedAt":"2024-03-27T18:42:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"a workaround for the new xsb number_codes 8.0 <--- [0,8] bug (or feature)","shortMessageHtmlLink":"a workaround for the new xsb number_codes 8.0 &lt;--- [0,8] bug (or feat…"}},{"before":"7d58bd435abba4076fe55679db8bf7e890513305","after":"40f2f82216cadae9b4c5bc9b1cf71afe13cb254b","ref":"refs/heads/main-github","pushedAt":"2024-03-26T21:17:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"dfc589e84c56224f0f123edd30944572ebda9136","after":"7d58bd435abba4076fe55679db8bf7e890513305","ref":"refs/heads/main-github","pushedAt":"2024-03-26T19:01:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"mostly changes like flr -> ergo\nand\nmolecule -> frame","shortMessageHtmlLink":"mostly changes like flr -&gt; ergo"}},{"before":"31374e5c6f5ea8fc9e3555233817937733152788","after":"dfc589e84c56224f0f123edd30944572ebda9136","ref":"refs/heads/main-github","pushedAt":"2024-03-18T19:45:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"theresasturn","name":null,"path":"/theresasturn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45273697?s=80&v=4"},"commit":{"message":"Fixed a couple of small typos.","shortMessageHtmlLink":"Fixed a couple of small typos."}},{"before":"f5108bcfd2b30098ba845da0d6c679288b98b4fb","after":"31374e5c6f5ea8fc9e3555233817937733152788","ref":"refs/heads/main-github","pushedAt":"2024-02-28T18:41:13.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"separated isloaded and isfastloaded","shortMessageHtmlLink":"separated isloaded and isfastloaded"}},{"before":"49728b7a7c0b90ba28ba0045136fa9e17c693354","after":"f5108bcfd2b30098ba845da0d6c679288b98b4fb","ref":"refs/heads/main-github","pushedAt":"2023-10-01T02:10:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"Main changes:\nshort-circuited flora_check_dynmod_type_consistency/1 to\n- simplify the rules for transactional and non-transactional variables.\n- improve performance\n\nin flrparser.P. Remove the restriction that transactional vars cannot be standalone.","shortMessageHtmlLink":"Main changes:"}},{"before":"96604bc04c3d75c7e87bbb764726945be8ca9615","after":"49728b7a7c0b90ba28ba0045136fa9e17c693354","ref":"refs/heads/main-github","pushedAt":"2023-05-12T16:44:22.015Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"ergo-suite->ergoAI","shortMessageHtmlLink":"ergo-suite-&gt;ergoAI"}},{"before":"9921b3505a8d2ee6c72be35a29a3b2b592b4d652","after":"96604bc04c3d75c7e87bbb764726945be8ca9615","ref":"refs/heads/main-github","pushedAt":"2023-05-12T01:03:17.345Z","pushType":"push","commitsCount":1,"pusher":{"login":"kifer","name":"Michael Kifer","path":"/kifer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8622909?s=80&v=4"},"commit":{"message":"ergo-suite->ergoAI","shortMessageHtmlLink":"ergo-suite-&gt;ergoAI"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wN1QyMzowNDozMC4wMDAwMDBazwAAAASUra-4","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wN1QyMzowNDozMC4wMDAwMDBazwAAAASUra-4","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0xMlQwMTowMzoxNy4zNDU1MTRazwAAAAMrItlz"}},"title":"Activity · ErgoAI/ErgoEngine"}