{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":385265997,"defaultBranch":"main","name":"SCFirstOrderLogic","ownerLogin":"sdcondon","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-07-12T13:57:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18352030?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722799021.0","currentOid":""},"activityList":{"items":[{"before":"f326694a086660ebe55e0c9326f1dfbf77808613","after":"1d0132128b64bc94c452d4c8bd7126454edeeffa","ref":"refs/heads/fvi","pushedAt":"2024-08-04T19:22:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"docs","shortMessageHtmlLink":"docs"}},{"before":"a28a5edea541f287e58e5f450b64b993c07e10b2","after":"e3b013b312bc08a61be8d42bef50adcc8debeb7c","ref":"refs/heads/main","pushedAt":"2024-08-04T19:21:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"roadmap update","shortMessageHtmlLink":"roadmap update"}},{"before":"a57822839719bb3ee519846baf6deb5e9bb456a9","after":"f326694a086660ebe55e0c9326f1dfbf77808613","ref":"refs/heads/fvi","pushedAt":"2024-08-04T19:18:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"docs","shortMessageHtmlLink":"docs"}},{"before":null,"after":"a28a5edea541f287e58e5f450b64b993c07e10b2","ref":"refs/heads/v7","pushedAt":"2024-08-04T19:17:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"roadmap updates","shortMessageHtmlLink":"roadmap updates"}},{"before":"5385009f868170057e9e7c4ba7626133965ce364","after":"a28a5edea541f287e58e5f450b64b993c07e10b2","ref":"refs/heads/main","pushedAt":"2024-08-04T19:16:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"roadmap updates","shortMessageHtmlLink":"roadmap updates"}},{"before":"e57efdf5e3225710cc26dec91bfe6610730a273b","after":"a57822839719bb3ee519846baf6deb5e9bb456a9","ref":"refs/heads/fvi","pushedAt":"2024-08-04T19:10:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"docs","shortMessageHtmlLink":"docs"}},{"before":"9f33801529dba8625cf504923d0e21d1831a6ed8","after":"e57efdf5e3225710cc26dec91bfe6610730a273b","ref":"refs/heads/fvi","pushedAt":"2024-08-04T18:08:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"todos","shortMessageHtmlLink":"todos"}},{"before":"6ea00efa9794e2a630baa9044044a6ec9da6d5b8","after":"9f33801529dba8625cf504923d0e21d1831a6ed8","ref":"refs/heads/fvi","pushedAt":"2024-08-04T16:45:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"GetSubsets/Supersets -> GetSubsuming/Subsumed","shortMessageHtmlLink":"GetSubsets/Supersets -> GetSubsuming/Subsumed"}},{"before":"b4c8d4773dee9669c67a379ccbd044b6aff2c06e","after":"6ea00efa9794e2a630baa9044044a6ec9da6d5b8","ref":"refs/heads/fvi","pushedAt":"2024-08-04T15:35:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"fvi visualilser skeleton","shortMessageHtmlLink":"fvi visualilser skeleton"}},{"before":"7f336f39b4c48de5d5d0738c2ef8850c792a3f4e","after":"b4c8d4773dee9669c67a379ccbd044b6aff2c06e","ref":"refs/heads/fvi","pushedAt":"2024-08-04T14:27:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"more initial stuff","shortMessageHtmlLink":"more initial stuff"}},{"before":"5385009f868170057e9e7c4ba7626133965ce364","after":null,"ref":"refs/heads/v7","pushedAt":"2024-08-04T13:01:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"}},{"before":"dc5e4868bf3eb10c096dd5c4b6f4c13f9b5c9b39","after":"7f336f39b4c48de5d5d0738c2ef8850c792a3f4e","ref":"refs/heads/fvi","pushedAt":"2024-08-04T12:59:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"more renaming","shortMessageHtmlLink":"more renaming"}},{"before":"cef96254dcdf6cb06c8dffc6b6472f107d4b4948","after":"dc5e4868bf3eb10c096dd5c4b6f4c13f9b5c9b39","ref":"refs/heads/fvi","pushedAt":"2024-08-04T12:47:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"a whole bunch of renaming","shortMessageHtmlLink":"a whole bunch of renaming"}},{"before":"33d06226105d04ab6ee6e2fb772c6727974d5d45","after":"cef96254dcdf6cb06c8dffc6b6472f107d4b4948","ref":"refs/heads/fvi","pushedAt":"2024-08-04T11:49:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"copied in logic from scsettrie to get started. obv the logic is a little different - but it's not a million miles off..","shortMessageHtmlLink":"copied in logic from scsettrie to get started. obv the logic is a lit…"}},{"before":"90ee70e6cecadaef0dd4b101f878bd9b84dba264","after":"33d06226105d04ab6ee6e2fb772c6727974d5d45","ref":"refs/heads/fvi","pushedAt":"2024-08-03T15:42:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"various early additions","shortMessageHtmlLink":"various early additions"}},{"before":"0e36d607d481025e9f6c5fe1833e44ab1bf0ca2c","after":"5385009f868170057e9e7c4ba7626133965ce364","ref":"refs/heads/main","pushedAt":"2024-08-03T12:37:22.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"xml doc update","shortMessageHtmlLink":"xml doc update"}},{"before":"a1a87e07e4613889d9fc3f13f2e244f9d87621cd","after":"5385009f868170057e9e7c4ba7626133965ce364","ref":"refs/heads/v7","pushedAt":"2024-08-03T12:05:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"xml doc update","shortMessageHtmlLink":"xml doc update"}},{"before":"b94f23074cc13cc95c7fea038cbcfc4ea6e4304c","after":"a1a87e07e4613889d9fc3f13f2e244f9d87621cd","ref":"refs/heads/v7","pushedAt":"2024-08-03T11:02:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"xml doc","shortMessageHtmlLink":"xml doc"}},{"before":"707369eb72ab2d03a6c490900bf0bd8dc1b3fbe2","after":"b94f23074cc13cc95c7fea038cbcfc4ea6e4304c","ref":"refs/heads/v7","pushedAt":"2024-08-03T10:47:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"a bit of tidying up following removal of Constant type.","shortMessageHtmlLink":"a bit of tidying up following removal of Constant type."}},{"before":"e446df2bdb7d80cbd9ac2aee9c0e6ba5466437f7","after":"707369eb72ab2d03a6c490900bf0bd8dc1b3fbe2","ref":"refs/heads/v7","pushedAt":"2024-08-03T10:08:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"BREAKING: namespace changes. Two motivations here:\n\n* To tidy up the SentenceManipulation namespace, by moving concrete manipulation classes downward into sub-namespaces (Normalisation or VariableManipulation), leaving just the abstractions in SentenceManipulation itself.\n* Pushing the specifics of our CNF conversion logic (notably, the standardised variable and skolem function identifier types) downward, so that they don't pollute our root models. The CNFSentence/Clause types should be usable without *needing* to also use our conversion logic. If consumers want to normalise using their own logic/identifiers, that should be doable without confusion.\n\nSpecifics:\n* CNFExplainer moved from SentenceFormatting to SetnenceManipulation.Normalisation.\n* CNFInspector moved from SentenceManipulation to SentenceManipulation.Normalisation.\n* CNFClause.Restandardise method removed, replaced with extension methods in Normalisation namespace.\n* SkolemFunctionIdentifier and StandardisedVariableIdentifier moved from SCFirstOrderLogic to SCFirstOrderLogc.SentenceManipulation.Normalisation.\n* CNFClause unification extension methods moved from SentenceManipulation.Unification to SentenceManipulation.VariableManipulation\n* VariableSubstitution and MutableVariableSubstitution moved from SentenceManipulation to SentenceManipulation.VariableManipulation.\n* Unifier moved from SentenceManipulation.Unification to SentenceManipulation.VariableManipulation.","shortMessageHtmlLink":"BREAKING: namespace changes. Two motivations here:"}},{"before":"0c48182af1d286081ef0aa8c46099aaeecad9712","after":"e446df2bdb7d80cbd9ac2aee9c0e6ba5466437f7","ref":"refs/heads/v7","pushedAt":"2024-08-03T10:07:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"BREAKING: namespace changes. Two motivations here:\n\n* To tidy up the SentenceManipulation namespace, by moving concrete manipulation classes downward into sub-namespaces (Normalisation or VariableManipulation), leaving just the abstractions in SentenceManipulation itself.\n* Pushing the specifics of our CNF conversion logic (notably, the standardised variable and skolem function identifier types) downward, so that they don't pollute our root models. The CNFSentence/Clause types should be usable without *needing* to also use our conversion logic. If consumers want to normalise using their own logic/identifiers, that should be doable without confusion.\n\nSpecifics:\n* CNFExplainer moved from SentenceFormatting to SetnenceManipulation.Normalisation.\n* CNFInspector moved from SentenceManipulation to SentenceManipulation.Normalisation.\n* CNFClause.Restandardise method removed, replaced with extension methods in Normalisation namespace.\n* SkolemFunctionIdentifier and StandardisedVariableIdentifier moved from SCFirstOrderLogic to SCFirstOrderLogc.SentenceManipulation.Normalisation.\n* CNFClause unification extension methods moved from SentenceManipulation.Unification to SentenceManipulation.VariableManipulation\n* VariableSubstitution and MutableVariableSubstitution moved from SentenceManipulation to SentenceManipulation.VariableManipulation.\n* Unifier moved from SentenceManipulation.Unification to SentenceManipulation.VariableManipulation.","shortMessageHtmlLink":"BREAKING: namespace changes. Two motivations here:"}},{"before":"40b5a49957542e8c76981fcfe27fcecfc68cc7e5","after":"0e36d607d481025e9f6c5fe1833e44ab1bf0ca2c","ref":"refs/heads/main","pushedAt":"2024-08-03T08:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"xml docs","shortMessageHtmlLink":"xml docs"}},{"before":"12e8f7e978c73d928a9f5ca629c295fa0e97aeef","after":"90ee70e6cecadaef0dd4b101f878bd9b84dba264","ref":"refs/heads/fvi","pushedAt":"2024-08-03T08:13:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"feature vector index early wip","shortMessageHtmlLink":"feature vector index early wip"}},{"before":"3f8d2cdfeceaded5c8244a4a9b6102201f71336c","after":"12e8f7e978c73d928a9f5ca629c295fa0e97aeef","ref":"refs/heads/fvi","pushedAt":"2024-08-03T08:10:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"wip fvi visualiser","shortMessageHtmlLink":"wip fvi visualiser"}},{"before":"561d45ee894b5220d82c13024784fbf4c5f57af4","after":"40b5a49957542e8c76981fcfe27fcecfc68cc7e5","ref":"refs/heads/main","pushedAt":"2024-08-02T22:35:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"made the tree visualisers a little less shouty","shortMessageHtmlLink":"made the tree visualisers a little less shouty"}},{"before":"b4287f8bc5e6a047a46ee900d7f5184617b81437","after":"3f8d2cdfeceaded5c8244a4a9b6102201f71336c","ref":"refs/heads/fvi","pushedAt":"2024-08-01T21:56:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"wip fvi visualiser","shortMessageHtmlLink":"wip fvi visualiser"}},{"before":"a77e48ec8a80b9f5618ea5696048118d07f3491c","after":"b4287f8bc5e6a047a46ee900d7f5184617b81437","ref":"refs/heads/fvi","pushedAt":"2024-08-01T18:24:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"various early additions","shortMessageHtmlLink":"various early additions"}},{"before":"b5b8487626d4bcbd924372778b6403e4d6cddd67","after":"561d45ee894b5220d82c13024784fbf4c5f57af4","ref":"refs/heads/main","pushedAt":"2024-08-01T18:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"yet more visualiser faffery","shortMessageHtmlLink":"yet more visualiser faffery"}},{"before":"554197c263e539a5ef48df41cad3290b82f2bb55","after":"a77e48ec8a80b9f5618ea5696048118d07f3491c","ref":"refs/heads/fvi","pushedAt":"2024-08-01T17:59:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"various early additions","shortMessageHtmlLink":"various early additions"}},{"before":"bf2a6f65749d13d69e8b24d082fc7c5158e9c16c","after":"b5b8487626d4bcbd924372778b6403e4d6cddd67","ref":"refs/heads/main","pushedAt":"2024-08-01T17:02:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sdcondon","name":"Simon Condon","path":"/sdcondon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18352030?s=80&v=4"},"commit":{"message":"more index visualiser tweaks","shortMessageHtmlLink":"more index visualiser tweaks"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkW6eoAA","startCursor":null,"endCursor":null}},"title":"Activity · sdcondon/SCFirstOrderLogic"}