{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":328684921,"defaultBranch":"master","name":"logic-embedding","ownerLogin":"leoprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-11T14:11:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30048677?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715181414.0","currentOid":""},"activityList":{"items":[{"before":"15f39d564af565ebbb860a9d5bd3c99be67d5b74","after":"1a8e73d5f52a17d26aba953aeaadfe1891de0c80","ref":"refs/heads/master","pushedAt":"2024-05-08T15:15:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"125d0670d00b646719b1167e2058aa30298c2a67","after":"15f39d564af565ebbb860a9d5bd3c99be67d5b74","ref":"refs/heads/master","pushedAt":"2024-05-08T15:13:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"escaped term variables if they clash with world variable names","shortMessageHtmlLink":"escaped term variables if they clash with world variable names"}},{"before":"c1ec1b303fa580d96bbea40ff5ea0a81de68f225","after":"125d0670d00b646719b1167e2058aa30298c2a67","ref":"refs/heads/master","pushedAt":"2024-05-04T05:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"add check that monomodal and multimodal operators are not mixed in modal embedding","shortMessageHtmlLink":"add check that monomodal and multimodal operators are not mixed in mo…"}},{"before":"5418679921c387a67eb0f25d7c50676de200dbb5","after":"c1ec1b303fa580d96bbea40ff5ea0a81de68f225","ref":"refs/heads/master","pushedAt":"2024-02-13T16:59:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"fix bug where goal types of symbols are not correctly used for local terms in modal logic embeddings","shortMessageHtmlLink":"fix bug where goal types of symbols are not correctly used for local …"}},{"before":"4ccc757928bd2e5f2a35aecb697d1a6e9530eb65","after":"5418679921c387a67eb0f25d7c50676de200dbb5","ref":"refs/heads/master","pushedAt":"2024-02-06T09:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"fixed a big that would classify varying domain S5 in TFF as constant domain in mono-modal logics","shortMessageHtmlLink":"fixed a big that would classify varying domain S5 in TFF as constant …"}},{"before":"0d6ede474b63e8e43b8fd41831fabfe1175a5cf5","after":"4ccc757928bd2e5f2a35aecb697d1a6e9530eb65","ref":"refs/heads/master","pushedAt":"2024-02-03T15:20:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"update README and LICENSE","shortMessageHtmlLink":"update README and LICENSE"}},{"before":"f9127bbc917d4129442c73d2cee7ea7b48c58f1d","after":"0d6ede474b63e8e43b8fd41831fabfe1175a5cf5","ref":"refs/heads/master","pushedAt":"2024-02-03T08:04:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"add native image configs","shortMessageHtmlLink":"add native image configs"}},{"before":"54271c9805e57c7406ca098eb9939a2cca766a67","after":"f9127bbc917d4129442c73d2cee7ea7b48c58f1d","ref":"refs/heads/master","pushedAt":"2024-01-31T11:24:43.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"implemented correct cumul/decreasing axioms for multi-modal setups","shortMessageHtmlLink":"implemented correct cumul/decreasing axioms for multi-modal setups"}},{"before":"9f80310b623d93aed52ba5f9a150906f2178d901","after":"54271c9805e57c7406ca098eb9939a2cca766a67","ref":"refs/heads/master","pushedAt":"2023-11-21T11:12:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"rename TPTP identifiers and other things","shortMessageHtmlLink":"rename TPTP identifiers and other things"}},{"before":"201d9a9817c3067c8d284e0699b8ba9ea7221d81","after":"9f80310b623d93aed52ba5f9a150906f2178d901","ref":"refs/heads/master","pushedAt":"2023-09-01T13:16:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"update modal embedding so that TFF-based modal embedding will fall back to THF-based embedding automatically, if outside of TFX fragment","shortMessageHtmlLink":"update modal embedding so that TFF-based modal embedding will fall ba…"}},{"before":"d6d15b88f9638b9256b9a3ed6599b6f2517e19b2","after":"201d9a9817c3067c8d284e0699b8ba9ea7221d81","ref":"refs/heads/master","pushedAt":"2023-08-29T09:27:44.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"updated hybrid logic embedding to new modal-like parameter names","shortMessageHtmlLink":"updated hybrid logic embedding to new modal-like parameter names"}},{"before":"5c6e103fc73a1a25c83ff2527f4b33e63c1e337b","after":"d6d15b88f9638b9256b9a3ed6599b6f2517e19b2","ref":"refs/heads/master","pushedAt":"2023-08-25T15:35:08.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"adjusted parameter names for modal logic embedding","shortMessageHtmlLink":"adjusted parameter names for modal logic embedding"}},{"before":"aa97d180ae4670807593d0ec01ed9fcd4f2f532c","after":"5c6e103fc73a1a25c83ff2527f4b33e63c1e337b","ref":"refs/heads/master","pushedAt":"2023-05-22T09:54:45.654Z","pushType":"push","commitsCount":8,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"add check that defaults to HOL embedding if extended specifications are given that are not supported by the FOL embedding","shortMessageHtmlLink":"add check that defaults to HOL embedding if extended specifications a…"}},{"before":"c14338f502c793efeff8623667b5ec7a05bc5450","after":"aa97d180ae4670807593d0ec01ed9fcd4f2f532c","ref":"refs/heads/master","pushedAt":"2023-04-19T08:33:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"removed old and obsolete test embedding for term modal logics","shortMessageHtmlLink":"removed old and obsolete test embedding for term modal logics"}},{"before":"2132b5ec8f42b1e5077539a887c2af4fd8286147","after":"c14338f502c793efeff8623667b5ec7a05bc5450","ref":"refs/heads/master","pushedAt":"2023-03-28T17:33:52.231Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"print info to stderr","shortMessageHtmlLink":"print info to stderr"}},{"before":"8eef62b640b29411349374e0cc6a8fc4d58df044","after":"2132b5ec8f42b1e5077539a887c2af4fd8286147","ref":"refs/heads/master","pushedAt":"2023-03-28T16:59:47.606Z","pushType":"push","commitsCount":4,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"0c0624a9936a475fa7ff6ed0c4e29d7a21fa0dd0","after":"8eef62b640b29411349374e0cc6a8fc4d58df044","ref":"refs/heads/master","pushedAt":"2023-03-27T09:03:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"update version number in app","shortMessageHtmlLink":"update version number in app"}},{"before":"7cb28ac5f2590a933b16b825e5846e52287861d7","after":"0c0624a9936a475fa7ff6ed0c4e29d7a21fa0dd0","ref":"refs/heads/master","pushedAt":"2023-03-27T09:02:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"added flag to modal embedding to transfer input to first-order modal embedding","shortMessageHtmlLink":"added flag to modal embedding to transfer input to first-order modal …"}},{"before":"4a92e766f700357b9a53937c83ed36645fd7f0ee","after":"7cb28ac5f2590a933b16b825e5846e52287861d7","ref":"refs/heads/master","pushedAt":"2023-03-27T08:40:35.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"added per-modality-property parsing in FOML embedding","shortMessageHtmlLink":"added per-modality-property parsing in FOML embedding"}},{"before":"645aaea740c4fdf9beb15848f4a0cb11155fe302","after":"4a92e766f700357b9a53937c83ed36645fd7f0ee","ref":"refs/heads/master","pushedAt":"2023-03-10T07:48:23.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERMVcmgA","startCursor":null,"endCursor":null}},"title":"Activity · leoprover/logic-embedding"}