{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":196869490,"defaultBranch":"master","name":"vscode-tlaplus","ownerLogin":"tlaplus","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-07-14T18:21:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2684289?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707028166.0","currentOid":""},"activityList":{"items":[{"before":"5e032cf00f92083b7a7a2bb960f4134497119bf3","after":null,"ref":"refs/heads/module-paths","pushedAt":"2024-02-04T06:29:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"}},{"before":"766ee9869b6e1f55eba949966f3df9ae2751a6ae","after":"d2e1743cfe4d5cba7f204736eeafcc7cd2e11eed","ref":"refs/heads/master","pushedAt":"2024-02-04T06:29:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Merge pull request #325 from tlaplus/module-paths\n\nModule search paths can be shared between tools.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2116537391\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/vscode-tlaplus/issues/325\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/vscode-tlaplus/pull/325/hovercard\" href=\"https://github.com/tlaplus/vscode-tlaplus/pull/325\">#325</a> from tlaplus/module-paths"}},{"before":"16ebbce302dc0a81e5c717e81525a36179825571","after":"5e032cf00f92083b7a7a2bb960f4134497119bf3","ref":"refs/heads/module-paths","pushedAt":"2024-02-03T20:10:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Add community modules to the paths supplied by TLC.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Add community modules to the paths supplied by TLC."}},{"before":null,"after":"16ebbce302dc0a81e5c717e81525a36179825571","ref":"refs/heads/module-paths","pushedAt":"2024-02-03T15:33:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Module search paths can be shared between tools.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Module search paths can be shared between tools."}},{"before":"829a87ae05cd40a2d5a92d67f8a68bbf20023bd8","after":null,"ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-31T14:53:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"}},{"before":"56daa35a87cb7656281a5ab001fd71b9e72e3a23","after":"766ee9869b6e1f55eba949966f3df9ae2751a6ae","ref":"refs/heads/master","pushedAt":"2024-01-31T14:53:06.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Merge pull request #322 from tlaplus/tlaps-proof-state-v2\n\nAdapt to changes in the lsp server.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094550965\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/vscode-tlaplus/issues/322\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/vscode-tlaplus/pull/322/hovercard\" href=\"https://github.com/tlaplus/vscode-tlaplus/pull/322\">#322</a> from tlaplus/tlaps-proof-state-v2"}},{"before":"6d9a1f2091f437e30617ab023f7fedbd0d9d33cd","after":"829a87ae05cd40a2d5a92d67f8a68bbf20023bd8","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-31T07:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Cleanup after a review.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Cleanup after a review."}},{"before":"38aa440e55c08afcbf68212e0b4dc7c6215a3c16","after":"6d9a1f2091f437e30617ab023f7fedbd0d9d33cd","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-29T22:04:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Restore accidentally broken formatting.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Restore accidentally broken formatting."}},{"before":"234b4b700cfefd355a28a14636496aa8c26f646e","after":"38aa440e55c08afcbf68212e0b4dc7c6215a3c16","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-28T18:11:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Don't show aux obligations, unless they are failed.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Don't show aux obligations, unless they are failed."}},{"before":"3308eb49c20979e3533b561c548b225bcc90ad52","after":"234b4b700cfefd355a28a14636496aa8c26f646e","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-28T17:31:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Do not mix the range class and interface.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Do not mix the range class and interface."}},{"before":"1ca8a753b75ca6f1a25e81803702f3a5f3bdb9f4","after":"3308eb49c20979e3533b561c548b225bcc90ad52","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-28T08:39:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Make proof step details look nicer.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Make proof step details look nicer."}},{"before":"71319fb2ecefe011451b51ee039a3b0bc3eb210e","after":"1ca8a753b75ca6f1a25e81803702f3a5f3bdb9f4","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-27T22:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Use react for proof step details view.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Use react for proof step details view."}},{"before":"a5157325c67d3dbb789b75816a61d635d4912b0f","after":"71319fb2ecefe011451b51ee039a3b0bc3eb210e","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-27T17:29:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Set the current proof step via explicit LSP command.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Set the current proof step via explicit LSP command."}},{"before":"ff06f3e2df9f8f4cb6da9e07c4c14be0ef5b6c18","after":"a5157325c67d3dbb789b75816a61d635d4912b0f","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-27T16:38:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Retain decorators after tabs are switched.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Retain decorators after tabs are switched."}},{"before":"7f4b577c2dbd9e20154e37c6c4285449a993b002","after":"ff06f3e2df9f8f4cb6da9e07c4c14be0ef5b6c18","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-26T15:35:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Icons and other improvements on TLAPS.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Icons and other improvements on TLAPS."}},{"before":null,"after":"7f4b577c2dbd9e20154e37c6c4285449a993b002","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-22T18:58:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Adapt to changes in the lsp server.\n\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Adapt to changes in the lsp server."}},{"before":"7b4970e60bf2d1a745a1b033e7ca625a6ee56702","after":"56daa35a87cb7656281a5ab001fd71b9e72e3a23","ref":"refs/heads/master","pushedAt":"2024-01-10T21:36:29.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Merge pull request #319 from kape1395/tlaps-proof-state\n\nInitial version for the proof state view.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2068623022\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/vscode-tlaplus/issues/319\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/vscode-tlaplus/pull/319/hovercard\" href=\"https://github.com/tlaplus/vscode-tlaplus/pull/319\">#319</a> from kape1395/tlaps-proof-state"}},{"before":"d2e62d2394ddfce8a6ac5cfa636b4cabcbfc7c9a","after":"7b4970e60bf2d1a745a1b033e7ca625a6ee56702","ref":"refs/heads/master","pushedAt":"2024-01-10T18:59: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":"Bow to the linter.","shortMessageHtmlLink":"Bow to the linter."}},{"before":"175b1c7ae18ff2f39447d23e09e5818b1b69cea7","after":"d2e62d2394ddfce8a6ac5cfa636b4cabcbfc7c9a","ref":"refs/heads/master","pushedAt":"2024-01-10T18:51:07.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":"Tolerate/ignore ASNI escape sequences around the conjunct symbol.\n\nRelated:\n- https://github.com/microsoft/CCF/pull/5904#issuecomment-1885182087\n- https://github.com/tlaplus/tlaplus/commit/63e2a4c040fd476f651f3561e8fef842beaf74aa\n\n[Feature]","shortMessageHtmlLink":"Tolerate/ignore ASNI escape sequences around the conjunct symbol."}},{"before":"180c012a3f1773fe1fd1e72639bf0645f8cc638b","after":"175b1c7ae18ff2f39447d23e09e5818b1b69cea7","ref":"refs/heads/master","pushedAt":"2024-01-08T21:58:22.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":"Support ANSI escape sequence in trace explorer web view.\n\nansi-to-react does not need `unsafe-inline`.\n\nCorrects merge mistake of Github issue #320\nhttps://github.com/tlaplus/vscode-tlaplus/issues/320\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support ANSI escape sequence in trace explorer web view."}},{"before":"4844ee1dc91b1612d99272b658be18db7474b8c2","after":null,"ref":"refs/heads/mku-gh320","pushedAt":"2024-01-08T20:41:03.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":"0b39653426ddb8511c77b0b67aa0bc090bfe2208","after":"180c012a3f1773fe1fd1e72639bf0645f8cc638b","ref":"refs/heads/master","pushedAt":"2024-01-08T20:41:02.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Support ANSI escape sequence in trace explorer web view.\n\nMoar fun: https://github.com/microsoft/vscode/issues/200708#issuecomment-1858175293\n\nFixes build breakage of Github issue #320\nhttps://github.com/tlaplus/vscode-tlaplus/issues/320\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support ANSI escape sequence in trace explorer web view."}},{"before":"18fe74676c71acc1a702f11d01ad14a893f797fa","after":"4844ee1dc91b1612d99272b658be18db7474b8c2","ref":"refs/heads/mku-gh320","pushedAt":"2024-01-08T20:36:47.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":"Support ANSI escape sequence in trace explorer web view.\n\nMoar fun: https://github.com/microsoft/vscode/issues/200708#issuecomment-1858175293\n\nFixes build breakage of Github issue #320\nhttps://github.com/tlaplus/vscode-tlaplus/issues/320\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support ANSI escape sequence in trace explorer web view."}},{"before":"62383d47ec916822765ed4678663942fa6b2192d","after":"18fe74676c71acc1a702f11d01ad14a893f797fa","ref":"refs/heads/mku-gh320","pushedAt":"2024-01-08T20:24:06.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":"Support ANSI escape sequence in trace explorer web view.\n\nThe JS ecosystem keeps on giving.\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support ANSI escape sequence in trace explorer web view."}},{"before":null,"after":"62383d47ec916822765ed4678663942fa6b2192d","ref":"refs/heads/mku-gh320","pushedAt":"2024-01-08T20:13:37.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":"Support ANSI escape sequence in trace explorer web view.\n\nThe library `ansi-to-react` automatically wraps the content of `value.str` in a `<code>` tag. This results in the text being displayed with a distinct color and a grayish background. Ideally, `ansi-to-react` would not insert a `<code>` tag. However, the tag is [hardcoded into the library](https://github.com/lemmy/ansi-to-react/blob/681753c5e897c80c3afb269f9b3bbf33abab2a2e/src/index.ts#L170).\n\nPolishes Github issue #320\nhttps://github.com/tlaplus/vscode-tlaplus/issues/320\n\n[Feature]\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Support ANSI escape sequence in trace explorer web view."}},{"before":"78303b2362db56aaf4830ea73ebc82fc63231518","after":null,"ref":"refs/heads/mku-checkDebugCustom","pushedAt":"2023-12-19T01:56:26.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":"84b151dfb530e7f9cdd8aaffb60997f5ca7372d9","after":"0b39653426ddb8511c77b0b67aa0bc090bfe2208","ref":"refs/heads/master","pushedAt":"2023-12-19T01:56:24.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 a \"Check and debug model with TLC using non-default config...\" command. (#317)\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add a \"Check and debug model with TLC using non-default config...\" co…"}},{"before":"c16779f181f1bc0db98ae01762da43cf1ce9ba60","after":"78303b2362db56aaf4830ea73ebc82fc63231518","ref":"refs/heads/mku-checkDebugCustom","pushedAt":"2023-12-19T01:54:01.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 a \"Check and debug model with TLC using non-default config...\" command.\n\nSigned-off-by: Markus Alexander Kuppe <github.com@lemmster.de>","shortMessageHtmlLink":"Add a \"Check and debug model with TLC using non-default config...\" co…"}},{"before":null,"after":"c16779f181f1bc0db98ae01762da43cf1ce9ba60","ref":"refs/heads/mku-checkDebugCustom","pushedAt":"2023-12-19T01:52:18.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 a \"Check and debug model with TLC using non-default config...\" command.","shortMessageHtmlLink":"Add a \"Check and debug model with TLC using non-default config...\" co…"}},{"before":"7c1a114af901c122a5cc3b8fd3648294a00bd91e","after":"84b151dfb530e7f9cdd8aaffb60997f5ca7372d9","ref":"refs/heads/master","pushedAt":"2023-12-17T16:20:05.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":"Make TLAPS proof step decorators less distractive. (#316)\n\n* Make TLAPS proof step decorators less distractive.\r\n* Attempt to make icons more clear.\r\n\r\nSigned-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>","shortMessageHtmlLink":"Make TLAPS proof step decorators less distractive. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033720874\" data-permission-text=\"Title is private\" data-url=\"https://github.com/tlaplus/vscode-tlaplus/issues/316\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/tlaplus/vscode-tlaplus/pull/316/hovercard\" href=\"https://github.com/tlaplus/vscode-tlaplus/pull/316\">#316</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8VukQQA","startCursor":null,"endCursor":null}},"title":"Activity · tlaplus/vscode-tlaplus"}