{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":50906927,"defaultBranch":"master","name":"tlaplus","ownerLogin":"tlaplus","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-02-02T08:48:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2684289?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726259456.0","currentOid":""},"activityList":{"items":[{"before":"d7980317a3179a966f5eabb8a82fd4cffe3a80bd","after":"475477653f01447f60603288a2785df1447bdbeb","ref":"refs/heads/master","pushedAt":"2024-09-18T19:57:09.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":"Allow CommunityModules to trigger a build by sending a repository_dispatch\n\n[Build]","shortMessageHtmlLink":"Allow CommunityModules to trigger a build by sending a repository_dis…"}},{"before":"caf0c33ca59c67f253c9b356cb25fc3c6c06a76d","after":"d7980317a3179a966f5eabb8a82fd4cffe3a80bd","ref":"refs/heads/master","pushedAt":"2024-09-18T18:49:42.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":"Allow CommunityModules to trigger a build by sending a repository_dispatch\n\n[Build]","shortMessageHtmlLink":"Allow CommunityModules to trigger a build by sending a repository_dis…"}},{"before":"8c0f2d3279e2ad7b067352da20b29c067d1f0993","after":null,"ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T20:30:56.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":"2039099c27a5310618d70a2ed9f58975dae77607","after":"caf0c33ca59c67f253c9b356cb25fc3c6c06a76d","ref":"refs/heads/master","pushedAt":"2024-09-13T20:30:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Better parameterized instantiation support in behavior spec.\n\nRelated to Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\nContrary to a property (see predecessor commit), do not handle OPCODE_bf\nwhen processing the specification.\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: loki der quaeler <quaeler@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Better parameterized instantiation support in behavior spec."}},{"before":"690a379e5bfcf8dae596753a382334b28743adfc","after":"8c0f2d3279e2ad7b067352da20b29c067d1f0993","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T19:43:10.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":"Better parameterized instantiation support in behavior spec.\n\nRelated to Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\nContrary to a property (see predecessor commit), do not handle OPCODE_bf\nwhen processing the specification.\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: loki der quaeler <quaeler@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Better parameterized instantiation support in behavior spec."}},{"before":"37b50b6c982162b7549ac3b274a9e40f74c79145","after":"690a379e5bfcf8dae596753a382334b28743adfc","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T19:41:18.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":"Better parameterized instantiation support in behavior spec.\n\nRelated to Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\nContrary to a property (see predecessor commit), do not handle OPCODE_bf\nwhen processing the specification.\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: loki der quaeler <quaeler@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Better parameterized instantiation support in behavior spec."}},{"before":"dbe57ba5bc60d53e3b520bee667138551888ad34","after":"37b50b6c982162b7549ac3b274a9e40f74c79145","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T19:33:40.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":"Better parameterized instantiation support in behavior spec.\n\nRelated to Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\nContrary to a property (see predecessor commit), do not handle OPCODE_bf\nwhen processing the specification.\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: loki der quaeler <quaeler@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Better parameterized instantiation support in behavior spec."}},{"before":"2a5c9e5640d2eaa36ba97f7f8b66c778e3529969","after":"dbe57ba5bc60d53e3b520bee667138551888ad34","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T18:58:57.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: loki der quaeler <quaeler@users.noreply.github.com>\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"cbd9217c4c8325cd1d9cc0e36ca4726dae96604c","after":"2a5c9e5640d2eaa36ba97f7f8b66c778e3529969","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T13:38:50.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"cd2bba11b51687cd72cd38f7b7aeea424b177ba1","after":"cbd9217c4c8325cd1d9cc0e36ca4726dae96604c","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T13:33:58.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"014e8d3c742ba7db56f802e9ab3fd1c15ac1d68a","after":"cd2bba11b51687cd72cd38f7b7aeea424b177ba1","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T00:40:58.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"947537a39d29696b014fe79316cb496b940858da","after":"014e8d3c742ba7db56f802e9ab3fd1c15ac1d68a","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-13T00:25:27.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"36be9dc301808f057a60d45fd6883abeceb58b0c","after":"947537a39d29696b014fe79316cb496b940858da","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-12T18:22:54.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issues #687 and #720\nhttps://github.com/tlaplus/tlaplus/issues/687\nhttps://github.com/tlaplus/tlaplus/issues/720\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nCo-authored-by: Dmitry Kulagin <craft095@users.noreply.github.com>\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"626fc3b569717c9ae895e448dbe307ab5aae365a","after":"36be9dc301808f057a60d45fd6883abeceb58b0c","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-12T00:30:18.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":"Refinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"67152b6961e2d93a421c42976ac7fd6b4b455fa8","after":"626fc3b569717c9ae895e448dbe307ab5aae365a","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-11T21:00:03.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":"Squash into\n\nRefinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Squash into"}},{"before":"adb1aa19109d5289279d6b94184a743a47cd5390","after":"67152b6961e2d93a421c42976ac7fd6b4b455fa8","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-11T20:53: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":"Squash into\n\nRefinement checking for INSTANCEs with arguments.\n\n* Support parameter lookups by maintaining the operator context\n* Unroll \\A s \\in S: P(s) in properties iff S can be determined during\nspec processing\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Squash into"}},{"before":"f16c07d28e6a3dbd6ba34e65f442e3a8d09bf6f2","after":"adb1aa19109d5289279d6b94184a743a47cd5390","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-11T01:56:16.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":"Refinement checking for INSTANCEs with arguments.\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"cb23b1abdb5d89513131939151b7f6476c5db817","after":"f16c07d28e6a3dbd6ba34e65f442e3a8d09bf6f2","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-11T00:56:40.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":"Refinement checking for INSTANCEs with arguments.\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":null,"after":"cb23b1abdb5d89513131939151b7f6476c5db817","ref":"refs/heads/mku-gh687","pushedAt":"2024-09-10T18:40:39.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":"Refinement checking for INSTANCEs with arguments.\n\nAddresses Github issue #687\nhttps://github.com/tlaplus/tlaplus/issues/687\n\n[Feature][TLC][Changelog]\n\nCo-authored-by: Calvin Loncaric <calvin.loncaric@oracle.com>\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Refinement checking for INSTANCEs with arguments."}},{"before":"0dbe98d51d6f05c356303b5e0e7d8ae4a85d144b","after":"2039099c27a5310618d70a2ed9f58975dae77607","ref":"refs/heads/master","pushedAt":"2024-09-04T20:46:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Remove old parser files\n\nSigned-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>","shortMessageHtmlLink":"Remove old parser files"}},{"before":"8e5bd930ce0ccdb950ae5d9ff1b061a23b58edf9","after":"44612f51d49afc7a5c304ee74ee1260db4395b76","ref":"refs/heads/cal-repl-help","pushedAt":"2024-08-20T20:52:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Add a `:help` command to the REPL\n\nOriginally requested in a comment:\n\nhttps://github.com/tlaplus/tlaplus/issues/627#issuecomment-844538528\n\nI chose the `:` prefix for `:help` because\n\n - it is already used in at least one other REPL (ghci)\n - it cannot appear at the start of any legal TLA+ expression.\n\nThis commit also lays out a bit of infrastructure for adding additional\ncommands.\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Add a <code>:help</code> command to the REPL"}},{"before":"94cbf175abb0107b42cb0152071804647d14fbfb","after":"8e5bd930ce0ccdb950ae5d9ff1b061a23b58edf9","ref":"refs/heads/cal-repl-help","pushedAt":"2024-08-20T20:51:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Add a `:help` command to the REPL\n\nOriginally requested in a comment:\n\nhttps://github.com/tlaplus/tlaplus/issues/627#issuecomment-844538528\n\nI chose the `:` prefix for `:help` because\n\n - it is already used in at least one other REPL (ghci)\n - it cannot appear at the start of any legal TLA+ expression.\n\nThis commit also lays out a bit of infrastructure for adding additional\ncommands.\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Add a <code>:help</code> command to the REPL"}},{"before":null,"after":"94cbf175abb0107b42cb0152071804647d14fbfb","ref":"refs/heads/cal-repl-help","pushedAt":"2024-08-20T20:50:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Add a `:help` command to the REPL\n\nOriginally requested in a comment:\n\nhttps://github.com/tlaplus/tlaplus/issues/627#issuecomment-844538528\n\nI chose the `:` prefix for `:help` because\n\n - it is already used in at least one other REPL (ghci)\n - it cannot appear at the start of any legal TLA+ expression.\n\nThis commit also lays out a bit of infrastructure for adding additional\ncommands.\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Add a <code>:help</code> command to the REPL"}},{"before":"2ddd288eafeb7a440c64e0c00741069ae828aea3","after":null,"ref":"refs/heads/cal-remove-applicable","pushedAt":"2024-08-19T19:30:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"}},{"before":"6a1ea006b4561f0978b5e706ebc7f81c0679b1e2","after":"0dbe98d51d6f05c356303b5e0e7d8ae4a85d144b","ref":"refs/heads/master","pushedAt":"2024-08-19T19:30:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Remove `Applicable`\n\nThis finishes the work that started in #843 (commit b125618).\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Remove <code>Applicable</code>"}},{"before":"4570af457c840182afc10836dadf44147761bc12","after":"6a1ea006b4561f0978b5e706ebc7f81c0679b1e2","ref":"refs/heads/master","pushedAt":"2024-08-19T13:01:51.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":"Terminate other simulation workers ungracefully if they take too long to\nterminate gracefully.\n\nReal-world project where some simulation workers seemingly never\nterminate: https://github.com/heidihoward/pbft-tlaplus/actions/workflows/tla.yml\n\n[Feature][TLC]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Terminate other simulation workers ungracefully if they take too long to"}},{"before":null,"after":"2ddd288eafeb7a440c64e0c00741069ae828aea3","ref":"refs/heads/cal-remove-applicable","pushedAt":"2024-08-16T23:00:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Remove `Applicable`\n\nThis finishes the work that started in #843 (commit b125618).\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Remove <code>Applicable</code>"}},{"before":"4570af457c840182afc10836dadf44147761bc12","after":null,"ref":"refs/heads/cal-remove-assignable","pushedAt":"2024-08-13T17:33:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"}},{"before":"5aa8b19cefeb04c4d6dee703e8413595cd9a97a2","after":"4570af457c840182afc10836dadf44147761bc12","ref":"refs/heads/master","pushedAt":"2024-08-13T17:33:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Remove `Value.assignable()`\n\nThis method is not used by the Toolbox, the Community Modules, or TLC\nitself.\n\nThe `assignable()` method creates problems for Java module overrides\nbecause it is package-private.  A package-private method cannot be\noverridden by another class in a different package, meaning that module\noverrides cannot create their own `Value` implementations.\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Remove <code>Value.assignable()</code>"}},{"before":"7c5f5917abc8d43f97051fcd833e3aac839c3e0c","after":"4570af457c840182afc10836dadf44147761bc12","ref":"refs/heads/cal-remove-assignable","pushedAt":"2024-08-13T00:23:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Calvin-L","name":"Calvin Loncaric","path":"/Calvin-L","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1393639?s=80&v=4"},"commit":{"message":"Remove `Value.assignable()`\n\nThis method is not used by the Toolbox, the Community Modules, or TLC\nitself.\n\nThe `assignable()` method creates problems for Java module overrides\nbecause it is package-private.  A package-private method cannot be\noverridden by another class in a different package, meaning that module\noverrides cannot create their own `Value` implementations.\n\nSigned-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>","shortMessageHtmlLink":"Remove <code>Value.assignable()</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEuhxeUQA","startCursor":null,"endCursor":null}},"title":"Activity · tlaplus/tlaplus"}