{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":187963737,"defaultBranch":"master","name":"CommunityModules","ownerLogin":"tlaplus","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-22T04:37:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2684289?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726687548.0","currentOid":""},"activityList":{"items":[{"before":"0eacba5864cae0a3be78afc1fbbe5ad250629425","after":"15317429e7db9be0b0f4acaa076d3c0bc6243de6","ref":"refs/heads/master","pushedAt":"2024-09-18T19:24:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Trigger build of tlaplus/tlaplus if this repository has been changed.\n\nRelated to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Trigger build of tlaplus/tlaplus if this repository has been changed."}},{"before":"73a56dcd77042c72d72b1a6811aaa884f85573f8","after":"0eacba5864cae0a3be78afc1fbbe5ad250629425","ref":"refs/heads/master","pushedAt":"2024-09-18T18:57:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Trigger build of tlaplus/tlaplus if this repository has been changed.\n\nRelated to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Trigger build of tlaplus/tlaplus if this repository has been changed."}},{"before":"9c13c116cbcb4975c7d33ee7a71ba471b88687b2","after":"73a56dcd77042c72d72b1a6811aaa884f85573f8","ref":"refs/heads/master","pushedAt":"2024-09-17T13:25:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add operators to the Relation module.\n\n* Is[Strictly]PartiallyOrdered\n* Is[Stringly]TotallyOrdered\n* Is*Under(op(_,_), S)\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add operators to the Relation module."}},{"before":"1e2f2d42cae5f509e84282be9895c2c51ee439ba","after":null,"ref":"refs/heads/mku-totalorder","pushedAt":"2024-09-16T21:19:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"}},{"before":null,"after":"1e2f2d42cae5f509e84282be9895c2c51ee439ba","ref":"refs/heads/mku-totalorder","pushedAt":"2024-09-16T21:19:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add operators to the Relation module.\n\n* IsComparable\n* IsPartiallyOrdered\n* IsTotallyOrdered\n* (ToRelation)\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add operators to the Relation module."}},{"before":"f089d2101672655cba5d1aa75649ec2b316195de","after":"9c13c116cbcb4975c7d33ee7a71ba471b88687b2","ref":"refs/heads/master","pushedAt":"2024-05-17T15:15:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Remove inaccurate comment about implementation detail.","shortMessageHtmlLink":"Remove inaccurate comment about implementation detail."}},{"before":"3fb30f52426b45cda44541b906ad9ebe16ce07c4","after":"f089d2101672655cba5d1aa75649ec2b316195de","ref":"refs/heads/master","pushedAt":"2024-04-28T22:29:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Fix docstrings of Fold functions\n\nSigned-off-by: bugarela <gabrielamoreira05@gmail.com>","shortMessageHtmlLink":"Fix docstrings of Fold functions"}},{"before":"2cee5a3bed6a2872443cf9804afc8b457702f035","after":"3fb30f52426b45cda44541b906ad9ebe16ce07c4","ref":"refs/heads/master","pushedAt":"2024-03-07T19:31:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"SequencesExt!Fold[Left|Right]Domain over domain of sequence.\n\nhttps://github.com/tlaplus/CommunityModules/issues/101\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"SequencesExt!Fold[Left|Right]Domain over domain of sequence."}},{"before":"a845f264d437969d5558dd5d3e826b464efa4b40","after":null,"ref":"refs/heads/ugraph","pushedAt":"2024-02-27T17:31:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"}},{"before":"997d0181f354bf80d4ca22f1fef655ef147cdb91","after":"2cee5a3bed6a2872443cf9804afc8b457702f035","ref":"refs/heads/master","pushedAt":"2024-02-27T17:31:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"adding UndirectedGraphs module and tests\n\nSigned-off-by: Stephan Merz <stephan.merz@loria.fr>","shortMessageHtmlLink":"adding UndirectedGraphs module and tests"}},{"before":null,"after":"a845f264d437969d5558dd5d3e826b464efa4b40","ref":"refs/heads/ugraph","pushedAt":"2024-02-26T14:30:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"muenchnerkindl","name":"Stephan Merz","path":"/muenchnerkindl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7482229?s=80&v=4"},"commit":{"message":"adding UndirectedGraphs module and tests\n\nSigned-off-by: Stephan Merz <stephan.merz@loria.fr>","shortMessageHtmlLink":"adding UndirectedGraphs module and tests"}},{"before":"b4deee76f83f043ab0b017c15d784966247fb842","after":"997d0181f354bf80d4ca22f1fef655ef147cdb91","ref":"refs/heads/master","pushedAt":"2024-02-21T17:26:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Internal VSCode change.\n\n[Dev]","shortMessageHtmlLink":"Internal VSCode change."}},{"before":"d75f00dc9ee111455ad78152ea37394e47de97dc","after":"b4deee76f83f043ab0b017c15d784966247fb842","ref":"refs/heads/master","pushedAt":"2024-02-21T17:18:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"MapThenSumSet and several theorems for it. (#99)\n\nFiniteSetsExt!MapThenSumSet including and support TLAPS theorems.\n\n[Feature]\n\nSigned-off-by: Karolis Petrauskas <karolis.petrauskas@erisata.lt>","shortMessageHtmlLink":"MapThenSumSet and several theorems for it. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128191620\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/CommunityModules/issues/99\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/CommunityModules/pull/99/hovercard\" href=\"https://github.com/tlaplus/CommunityModules/pull/99\">#99</a>)"}},{"before":"ea36000b243105a0f1ad385403f584e09d88487f","after":"d75f00dc9ee111455ad78152ea37394e47de97dc","ref":"refs/heads/master","pushedAt":"2024-02-21T16:51:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"MapThenSumSet and several theorems for it. (#99)\n\nFiniteSetsExt!MapThenSumSet including and support TLAPS theorems.\r\n\r\n[Feature]\r\n\r\nSigned-off-by: Karolis Petrauskas <karolis.petrauskas@erisata.lt>","shortMessageHtmlLink":"MapThenSumSet and several theorems for it. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128191620\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/CommunityModules/issues/99\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/CommunityModules/pull/99/hovercard\" href=\"https://github.com/tlaplus/CommunityModules/pull/99\">#99</a>)"}},{"before":"cb71fcb1fae4eecaa83c19dbf366482ed9b1e81d","after":"ea36000b243105a0f1ad385403f584e09d88487f","ref":"refs/heads/master","pushedAt":"2024-02-06T23:27:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Do not rely on TLC's evaluation order.\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Do not rely on TLC's evaluation order."}},{"before":"fa56512a37421631ee140e86429e095c532a6904","after":"cb71fcb1fae4eecaa83c19dbf366482ed9b1e81d","ref":"refs/heads/master","pushedAt":"2024-02-01T18:33:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Deserializing Json null value makes TLC (silently) throw\nNullPointerExceptions, potentially causing massive slow down.\n\nFixes Github issue #868\nhttps://github.com/tlaplus/tlaplus/issues/868\n\n[Bug]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Deserializing Json null value makes TLC (silently) throw"}},{"before":"12abb41cdfbbfbd9cae357ee10250990948d9dec","after":null,"ref":"refs/heads/mku-allsubseqs","pushedAt":"2024-01-25T18:42:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"}},{"before":"e6a395429682a90f6b2f36541d08faa34ef3394c","after":"fa56512a37421631ee140e86429e095c532a6904","ref":"refs/heads/master","pushedAt":"2024-01-25T18:41:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add Java Module Override for SequencesExt!AllSubSeqs. (#97)\n\n[Feature]\r\n\r\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add Java Module Override for SequencesExt!AllSubSeqs. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2100892318\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/CommunityModules/issues/97\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/CommunityModules/pull/97/hovercard\" href=\"https://github.com/tlaplus/CommunityModules/pull/97\">#97</a>)"}},{"before":"32d89c070e442eb3764b905a0d25fcaadd827160","after":"12abb41cdfbbfbd9cae357ee10250990948d9dec","ref":"refs/heads/mku-allsubseqs","pushedAt":"2024-01-25T18:03:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add Java Module Override for SequencesExt!AllSubSeqs.\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add Java Module Override for SequencesExt!AllSubSeqs."}},{"before":"070954c86d891cd1f6178f2814a8cb1ea8e28ba5","after":"32d89c070e442eb3764b905a0d25fcaadd827160","ref":"refs/heads/mku-allsubseqs","pushedAt":"2024-01-25T17:51:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add Java Module Override for SequencesExt!AllSubSeqs.\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add Java Module Override for SequencesExt!AllSubSeqs."}},{"before":null,"after":"070954c86d891cd1f6178f2814a8cb1ea8e28ba5","ref":"refs/heads/mku-allsubseqs","pushedAt":"2024-01-25T17:50:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add Java Module Override for SequencesExt!AllSubSeqs.\n\n[Feature]","shortMessageHtmlLink":"Add Java Module Override for SequencesExt!AllSubSeqs."}},{"before":"243fa679bfa80fc5099f9911cf99fa0f029d9b2b","after":"e6a395429682a90f6b2f36541d08faa34ef3394c","ref":"refs/heads/master","pushedAt":"2024-01-20T05:11:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add SequencesExt!Snoc and SequencesExt!AllSubSeqs.","shortMessageHtmlLink":"Add SequencesExt!Snoc and SequencesExt!AllSubSeqs."}},{"before":"64513ec1fc4e02bf2b826064a00fa49d97d7eef7","after":"243fa679bfa80fc5099f9911cf99fa0f029d9b2b","ref":"refs/heads/master","pushedAt":"2024-01-05T20:11:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add Functions!Pointwise\n\nAdds Github issue #96\nhttps://github.com/tlaplus/CommunityModules/issues/96\n\n[Feature]","shortMessageHtmlLink":"Add Functions!Pointwise"}},{"before":"83f931a283f3f765c1cd8a369e9250e1b7c5d3fd","after":"64513ec1fc4e02bf2b826064a00fa49d97d7eef7","ref":"refs/heads/master","pushedAt":"2023-12-27T05:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Most users likely want the dependencies","shortMessageHtmlLink":"Most users likely want the dependencies"}},{"before":"6ff741987211f2388daae946a504095b116aa3dd","after":"83f931a283f3f765c1cd8a369e9250e1b7c5d3fd","ref":"refs/heads/master","pushedAt":"2023-12-16T05:28:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Support serializing records (RecordValue) in addition to sequences\n(TupleValues) in JsonSerialize operator.\n\nA RecordValue is serialized to a Json object, with the record value's\n(finite) domain of strings being the Json keys.\n\n[Feature][TLC]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support serializing records (RecordValue) in addition to sequences"}},{"before":"c48eb7c0b23e75a523abab6b0ba8a3256866f5ed","after":"6ff741987211f2388daae946a504095b116aa3dd","ref":"refs/heads/master","pushedAt":"2023-11-16T22:48:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Remove use of deprecated `Applicable` interface (#93)\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Remove use of deprecated <code>Applicable</code> interface (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1997755201\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/CommunityModules/issues/93\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/CommunityModules/pull/93/hovercard\" href=\"https://github.com/tlaplus/CommunityModules/pull/93\">#93</a>)"}},{"before":"00d3635549456a3f3dd47455faf03d484472d7f7","after":"c48eb7c0b23e75a523abab6b0ba8a3256866f5ed","ref":"refs/heads/master","pushedAt":"2023-11-03T23:10:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Update README.md with missing modules, updated contributors and cosmetic changes (#92)\n\n* Changed HTML tags to Markdown syntax\r\n* A few small fixes:\r\n- Add missing spaces after commas;\r\n- Add URL syntax around will62794/tlaplus_animation;\r\n- Add missing URLs to module overrides;\r\n- \"page 178ff\" -> \"page 178\"\r\n* Add (original) contributor to Functions.tla\r\n* Add contributors\r\n* Add missing modules to README.md\r\n* Sort modules alphabetically; Right-align 'Name' column; Center-align 'module override?' column;\r\n* Fix Combinatorics.tla module description\r\n* Change module descriptions and add operator examples\r\n\r\nSigned-off-by: Jones Martins <15959626+jonesmartins@users.noreply.github.com>","shortMessageHtmlLink":"Update README.md with missing modules, updated contributors and cosme…"}},{"before":"065e7b74225c58062b7ee77a8dddb70673aa24f1","after":"00d3635549456a3f3dd47455faf03d484472d7f7","ref":"refs/heads/master","pushedAt":"2023-11-01T16:27:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Gracefully fail on a non-tuple argument in Json!JsonSerialize and\nJson!ndJsonSerialize.\n\nRelated to https://github.com/microsoft/CCF/pull/5807\n\n[Feature][TLC]","shortMessageHtmlLink":"Gracefully fail on a non-tuple argument in Json!JsonSerialize and"}},{"before":"82f48f140b29f860ce14fd531219f7a576e8e5b0","after":"065e7b74225c58062b7ee77a8dddb70673aa24f1","ref":"refs/heads/master","pushedAt":"2023-10-11T21:04:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add SequencesExt!RemoveFirst and RemoveFirstMatch.","shortMessageHtmlLink":"Add SequencesExt!RemoveFirst and RemoveFirstMatch."}},{"before":"5a39d5cdf59892ac840deb743ed7d496f4a26513","after":"82f48f140b29f860ce14fd531219f7a576e8e5b0","ref":"refs/heads/master","pushedAt":"2023-10-08T23:09:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Add SequencesExt!Suffixes","shortMessageHtmlLink":"Add SequencesExt!Suffixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEuhXokgA","startCursor":null,"endCursor":null}},"title":"Activity · tlaplus/CommunityModules"}