{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":778181394,"defaultBranch":"main","name":"metadatalog","ownerLogin":"TomBinford","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-27T08:33:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/28466971?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711528388.114275","currentOid":""},"activityList":{"items":[{"before":"161765f8645e8b3477032ad9050986fd4df1cad7","after":"bf7763503be510d53f9bfc7c988a59b246840f30","ref":"refs/heads/main","pushedAt":"2024-05-03T20:08:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Keep incomplete reversals out of fact_rev.\nThis shouldn't have caused issues as long as arity is consistent but it was unintended.","shortMessageHtmlLink":"Keep incomplete reversals out of fact_rev."}},{"before":"a314caf0345409fe334a6674072180d9f1de1b8c","after":"161765f8645e8b3477032ad9050986fd4df1cad7","ref":"refs/heads/main","pushedAt":"2024-05-03T20:00:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Keep incomplete substitutions out of fact_rev.\nThis shouldn't have caused issues as long as arity is consistent but it was unintended.","shortMessageHtmlLink":"Keep incomplete substitutions out of fact_rev."}},{"before":"e870636daabd5fd7dbd68e35cce76d0e03fb232e","after":"a314caf0345409fe334a6674072180d9f1de1b8c","ref":"refs/heads/main","pushedAt":"2024-05-02T08:10:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Fix a similar deduplicate bug in the recursive version","shortMessageHtmlLink":"Fix a similar deduplicate bug in the recursive version"}},{"before":"31b32ff5ae084174e14759baaa4e1047459dfb5e","after":"e870636daabd5fd7dbd68e35cce76d0e03fb232e","ref":"refs/heads/main","pushedAt":"2024-04-28T02:08:59.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Rename horn_clause -> rule for clarity of purpose","shortMessageHtmlLink":"Rename horn_clause -> rule for clarity of purpose"}},{"before":"0ef0bde85578979ceb24af88e2d4d782879b49ca","after":"31b32ff5ae084174e14759baaa4e1047459dfb5e","ref":"refs/heads/main","pushedAt":"2024-04-28T00:29:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add successful substitutions to the intensional database. I guess that's it?","shortMessageHtmlLink":"Add successful substitutions to the intensional database. I guess tha…"}},{"before":"6f37e4c067f0187740c702f4d3337faa7383d64a","after":"0ef0bde85578979ceb24af88e2d4d782879b49ca","ref":"refs/heads/main","pushedAt":"2024-04-28T00:00:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Perform substitution against rules and narrow down to successful ones.\nAlmost ready for intensional facts!","shortMessageHtmlLink":"Perform substitution against rules and narrow down to successful ones."}},{"before":"cb028dcd44b075b888121736ca46649d6998e474","after":"6f37e4c067f0187740c702f4d3337faa7383d64a","ref":"refs/heads/main","pushedAt":"2024-04-27T20:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Generate substitutions, first part of bottom-up evaluation","shortMessageHtmlLink":"Generate substitutions, first part of bottom-up evaluation"}},{"before":"d3a3cd6bc6c4eb0eea462ca85ed034dffe3722d9","after":"cb028dcd44b075b888121736ca46649d6998e474","ref":"refs/heads/main","pushedAt":"2024-04-27T20:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Deduplicate variables in rules, as setup for bottom-up evaluation","shortMessageHtmlLink":"Deduplicate variables in rules, as setup for bottom-up evaluation"}},{"before":"62bf01840757e58f119bd3fb166f00e2372ac429","after":"d3a3cd6bc6c4eb0eea462ca85ed034dffe3722d9","ref":"refs/heads/main","pushedAt":"2024-04-27T20:34:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Fix bug in deduplicate when last element is not a duplicate.","shortMessageHtmlLink":"Fix bug in deduplicate when last element is not a duplicate."}},{"before":"b5f15dc85c0b2a84739b91107abb02ce768f6c81","after":"62bf01840757e58f119bd3fb166f00e2372ac429","ref":"refs/heads/main","pushedAt":"2024-04-27T19:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Extract variable names from rules","shortMessageHtmlLink":"Extract variable names from rules"}},{"before":"e5e72680f026c9dc8aada61979156db88560fe02","after":"b5f15dc85c0b2a84739b91107abb02ce768f6c81","ref":"refs/heads/main","pushedAt":"2024-03-29T00:43:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add comments on the deduplicate samples","shortMessageHtmlLink":"Add comments on the deduplicate samples"}},{"before":"992e9cf39889335950aab161cb6f85fad5432cd9","after":"e5e72680f026c9dc8aada61979156db88560fe02","ref":"refs/heads/main","pushedAt":"2024-03-28T06:13:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add variables->constants substitution sample","shortMessageHtmlLink":"Add variables->constants substitution sample"}},{"before":"578874c2472a788a9964efd90a4ece63037aa90a","after":"992e9cf39889335950aab161cb6f85fad5432cd9","ref":"refs/heads/main","pushedAt":"2024-03-28T06:07:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add variables->constants substitution sample","shortMessageHtmlLink":"Add variables->constants substitution sample"}},{"before":"b09d05a7d9062ed14ba08ab6c044ce6e934db32f","after":"578874c2472a788a9964efd90a4ece63037aa90a","ref":"refs/heads/main","pushedAt":"2024-03-28T05:16:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add list reverse sample","shortMessageHtmlLink":"Add list reverse sample"}},{"before":"0a9731baa09c7170674f740d2d52960a9f12c1b2","after":"b09d05a7d9062ed14ba08ab6c044ce6e934db32f","ref":"refs/heads/main","pushedAt":"2024-03-28T04:56:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Update README; add deduplicate sample","shortMessageHtmlLink":"Update README; add deduplicate sample"}},{"before":"d6a33b4b2af238fe633e89607ac5cdd3077796ae","after":"0a9731baa09c7170674f740d2d52960a9f12c1b2","ref":"refs/heads/main","pushedAt":"2024-03-28T04:54:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Update README; add deduplicate sample","shortMessageHtmlLink":"Update README; add deduplicate sample"}},{"before":"18371cfc6034a442ae88d99f791f1ced7a2d8229","after":"d6a33b4b2af238fe633e89607ac5cdd3077796ae","ref":"refs/heads/main","pushedAt":"2024-03-28T04:20:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Clarify that no groundedness check is needed for the extensional facts","shortMessageHtmlLink":"Clarify that no groundedness check is needed for the extensional facts"}},{"before":"f437664b5002ebea6b8244fc13696150d2c617ec","after":"18371cfc6034a442ae88d99f791f1ced7a2d8229","ref":"refs/heads/main","pushedAt":"2024-03-28T03:46:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Un-reverse constant order in extensional facts","shortMessageHtmlLink":"Un-reverse constant order in extensional facts"}},{"before":"ad920f3c00ae5b8fd7b1ff6035040afeee77e961","after":"f437664b5002ebea6b8244fc13696150d2c617ec","ref":"refs/heads/main","pushedAt":"2024-03-27T23:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Un-reverse constant order in extensional facts","shortMessageHtmlLink":"Un-reverse constant order in extensional facts"}},{"before":"488c1cf8a88965e89bec3dbb54c43c9f56ebdbc8","after":"ad920f3c00ae5b8fd7b1ff6035040afeee77e961","ref":"refs/heads/main","pushedAt":"2024-03-27T09:07:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Identify the program's extensional facts","shortMessageHtmlLink":"Identify the program's extensional facts"}},{"before":"3a9799f1ccbe0b4d49764e9495976eec01fdd30a","after":"488c1cf8a88965e89bec3dbb54c43c9f56ebdbc8","ref":"refs/heads/main","pushedAt":"2024-03-27T09:06:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Identify the program's extensional facts","shortMessageHtmlLink":"Identify the program's extensional facts"}},{"before":"8a5347aea88ad67b0105a717137a3caa95999255","after":"3a9799f1ccbe0b4d49764e9495976eec01fdd30a","ref":"refs/heads/main","pushedAt":"2024-03-27T08:56:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Process extensional horn clauses and output those with ungrounded variables","shortMessageHtmlLink":"Process extensional horn clauses and output those with ungrounded var…"}},{"before":"10fb6fd4ded48118acc44dd6081df432d714f1d0","after":"8a5347aea88ad67b0105a717137a3caa95999255","ref":"refs/heads/main","pushedAt":"2024-03-27T08:55:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Add types for horn clauses","shortMessageHtmlLink":"Add types for horn clauses"}},{"before":null,"after":"10fb6fd4ded48118acc44dd6081df432d714f1d0","ref":"refs/heads/main","pushedAt":"2024-03-27T08:33:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TomBinford","name":"Tom Binford","path":"/TomBinford","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28466971?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQRS6rAA","startCursor":null,"endCursor":null}},"title":"Activity · TomBinford/metadatalog"}