{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":688801994,"defaultBranch":"main","name":"caesar","ownerLogin":"moves-rwth","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-08T06:21:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22944638?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719321919.0","currentOid":""},"activityList":{"items":[{"before":"e74328c2033ce223f01a742182b351e2d775966b","after":"3a2472673077a4fbff61ba9daf22ba37bf2b1e22","ref":"refs/heads/main","pushedAt":"2024-08-10T06:48:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"vscode-ext: autostart server by default\n\nthis should have been enabled from the start","shortMessageHtmlLink":"vscode-ext: autostart server by default"}},{"before":"dbb1d678e6a8e34deef0c038dad0bc2866533f6b","after":"e74328c2033ce223f01a742182b351e2d775966b","ref":"refs/heads/main","pushedAt":"2024-08-05T07:30:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"proof rules: add empty line in doc comment\n\notherwise clippy complains","shortMessageHtmlLink":"proof rules: add empty line in doc comment"}},{"before":"efe661459f8179566c8ed4b521bf99648e7548a3","after":"dbb1d678e6a8e34deef0c038dad0bc2866533f6b","ref":"refs/heads/main","pushedAt":"2024-07-29T11:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"slicing: better wording in the model","shortMessageHtmlLink":"slicing: better wording in the model"}},{"before":"184bf9901bb6c68ad0df325d656e40baf9df2438","after":"e9ca6c01ccad8ba29546c1566463945fc232d431","ref":"refs/heads/gh-pages","pushedAt":"2024-06-25T13:27:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: efe661459f8179566c8ed4b521bf99648e7548a3","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/caesar/commit/efe661459f8179566c8ed4b521bf99648e7548a3/hovercard\" href=\"https://github.com/moves-rwth/caesar/commit/efe661459f8179566c8ed4b521bf99648e7548a3\"><tt>efe6614</tt></a>"}},{"before":"a734b28f942729cf3623b70b7befc006f25b551f","after":"efe661459f8179566c8ed4b521bf99648e7548a3","ref":"refs/heads/main","pushedAt":"2024-06-25T13:25:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.8","shortMessageHtmlLink":"version 2.0.8"}},{"before":"ff1961e572cc2dd793bbfc9e99cade79994025eb","after":"a734b28f942729cf3623b70b7befc006f25b551f","ref":"refs/heads/main","pushedAt":"2024-06-22T22:20:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"lsp: also show diagnostic note in client","shortMessageHtmlLink":"lsp: also show diagnostic note in client"}},{"before":"9bc90faf3bedb42b39f71598dc75ada711bfedd0","after":"184bf9901bb6c68ad0df325d656e40baf9df2438","ref":"refs/heads/gh-pages","pushedAt":"2024-06-22T22:07:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: ff1961e572cc2dd793bbfc9e99cade79994025eb","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/caesar/commit/ff1961e572cc2dd793bbfc9e99cade79994025eb/hovercard\" href=\"https://github.com/moves-rwth/caesar/commit/ff1961e572cc2dd793bbfc9e99cade79994025eb\"><tt>ff1961e</tt></a>"}},{"before":"ff829391f4dad9fa6411eec8949dd8beea0d40b8","after":"ff1961e572cc2dd793bbfc9e99cade79994025eb","ref":"refs/heads/main","pushedAt":"2024-06-22T22:05:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"tycheck: better error message for immutable assigns\n\nfixes #31","shortMessageHtmlLink":"tycheck: better error message for immutable assigns"}},{"before":"0e47be9ef78b23459609ada3543524ac51a70c48","after":"ff829391f4dad9fa6411eec8949dd8beea0d40b8","ref":"refs/heads/main","pushedAt":"2024-06-22T14:17:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"mc: fix translation of local variable initializers\n\nvariable initializers were erroneously not executed if they were not a\nproc call.","shortMessageHtmlLink":"mc: fix translation of local variable initializers"}},{"before":"d432bbd036f6edd72fb197df006026e920b5aa57","after":"0e47be9ef78b23459609ada3543524ac51a70c48","ref":"refs/heads/main","pushedAt":"2024-06-21T14:09:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"clippy","shortMessageHtmlLink":"clippy"}},{"before":"8a45abb7ab7278fc9a256fc01ab6eeba668af718","after":"d432bbd036f6edd72fb197df006026e920b5aa57","ref":"refs/heads/main","pushedAt":"2024-06-21T13:29:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"proof rules: better error handling\n\nwhen proof rules were invoked with the wrong number of arguments, Caesar\nwould just crash because the implementations of `resolve` assumed the\ncorrect number of arguments already, before type checking was done.\n\nwe now do resolving independently of the number of arguments and let the\ntype checking do that checking later.\n\nadditionally, we also now properly handle the case where the first\nargument to the omega proof rule is not an identifier.","shortMessageHtmlLink":"proof rules: better error handling"}},{"before":"d505e9e566061540e3f8d237d71c83ed9f71c4c2","after":"8a45abb7ab7278fc9a256fc01ab6eeba668af718","ref":"refs/heads/main","pushedAt":"2024-06-19T12:13:05.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"vscode-ext: make show output command always available","shortMessageHtmlLink":"vscode-ext: make show output command always available"}},{"before":"bba327def1762a1464fbe943d51d3b7455e639b5","after":"9bc90faf3bedb42b39f71598dc75ada711bfedd0","ref":"refs/heads/gh-pages","pushedAt":"2024-06-18T12:26:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d505e9e566061540e3f8d237d71c83ed9f71c4c2","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/caesar/commit/d505e9e566061540e3f8d237d71c83ed9f71c4c2/hovercard\" href=\"https://github.com/moves-rwth/caesar/commit/d505e9e566061540e3f8d237d71c83ed9f71c4c2\"><tt>d505e9e</tt></a>"}},{"before":"ab9cbd3f0a61ce10670471a842299309dfe5d904","after":"d505e9e566061540e3f8d237d71c83ed9f71c4c2","ref":"refs/heads/main","pushedAt":"2024-06-18T12:25:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"website: add expression documentation (fix #28)","shortMessageHtmlLink":"website: add expression documentation (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #28.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336364279\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/caesar/issues/28\" data-hovercard-type=\"issue\" data-hovercard-url=\"/moves-rwth/caesar/issues/28/hovercard\" href=\"https://github.com/moves-rwth/caesar/issues/28\">#28</a>)"}},{"before":"cb6bcf0837badf4125326379b687da3d45c4bb34","after":"ab9cbd3f0a61ce10670471a842299309dfe5d904","ref":"refs/heads/main","pushedAt":"2024-06-05T09:57:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.7","shortMessageHtmlLink":"version 2.0.7"}},{"before":"a3cb5058757e50be7b3b322f3dd48991861928e3","after":"bba327def1762a1464fbe943d51d3b7455e639b5","ref":"refs/heads/gh-pages","pushedAt":"2024-06-04T11:51:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: cb6bcf0837badf4125326379b687da3d45c4bb34","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/caesar/commit/cb6bcf0837badf4125326379b687da3d45c4bb34/hovercard\" href=\"https://github.com/moves-rwth/caesar/commit/cb6bcf0837badf4125326379b687da3d45c4bb34\"><tt>cb6bcf0</tt></a>"}},{"before":"2e4ddca5e873989f9f5c016b120f6d47b78768ee","after":"cb6bcf0837badf4125326379b687da3d45c4bb34","ref":"refs/heads/main","pushedAt":"2024-06-04T11:40:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"website: add section on while loops","shortMessageHtmlLink":"website: add section on while loops"}},{"before":"f617f0112b36e09624aa7870c31d45bea19e7609","after":"2e4ddca5e873989f9f5c016b120f6d47b78768ee","ref":"refs/heads/main","pushedAt":"2024-06-04T11:13:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.6","shortMessageHtmlLink":"version 2.0.6"}},{"before":"d089b90cef1f3ef483e931c707e10182f78b3424","after":"f617f0112b36e09624aa7870c31d45bea19e7609","ref":"refs/heads/main","pushedAt":"2024-06-04T11:12:21.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"Merge pull request #27 from umutdural/vscode-ext\n\nvscode-ext: fix flickering view rendering after server restart","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2324446386\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/caesar/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/caesar/pull/27/hovercard\" href=\"https://github.com/moves-rwth/caesar/pull/27\">#27</a> from umutdural/vscode-ext"}},{"before":"fdd39331b672f9c2efbe370ab47b2f0312320bd6","after":"a3cb5058757e50be7b3b322f3dd48991861928e3","ref":"refs/heads/gh-pages","pushedAt":"2024-06-04T11:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d089b90cef1f3ef483e931c707e10182f78b3424","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/caesar/commit/d089b90cef1f3ef483e931c707e10182f78b3424/hovercard\" href=\"https://github.com/moves-rwth/caesar/commit/d089b90cef1f3ef483e931c707e10182f78b3424\"><tt>d089b90</tt></a>"}},{"before":"fa95480f74b44184af7d3ac010297e0026c6b697","after":"d089b90cef1f3ef483e931c707e10182f78b3424","ref":"refs/heads/main","pushedAt":"2024-06-04T11:10:14.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"slicing: update warning text","shortMessageHtmlLink":"slicing: update warning text"}},{"before":"6408a17ac160b87074bc5197b14014919d03574a","after":"fa95480f74b44184af7d3ac010297e0026c6b697","ref":"refs/heads/vscode-ext","pushedAt":"2024-05-30T00:25:35.000Z","pushType":"push","commitsCount":61,"pusher":{"login":"umutdural","name":"Umut Yiğit Dural","path":"/umutdural","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29923269?s=80&v=4"},"commit":{"message":"Merge pull request #26 from darionhaase/main\n\n[CI] Proper secret passing between workflows","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319197991\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/caesar/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/caesar/pull/26/hovercard\" href=\"https://github.com/moves-rwth/caesar/pull/26\">#26</a> from darionhaase/main"}},{"before":"8577e532c6dff8eaab6e01deecc43620ad70d59c","after":"fa95480f74b44184af7d3ac010297e0026c6b697","ref":"refs/heads/main","pushedAt":"2024-05-27T14:49:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"Merge pull request #26 from darionhaase/main\n\n[CI] Proper secret passing between workflows","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319197991\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/caesar/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/caesar/pull/26/hovercard\" href=\"https://github.com/moves-rwth/caesar/pull/26\">#26</a> from darionhaase/main"}},{"before":"6491a142b3b44de5c5ea7ed8715132fa21a45e94","after":null,"ref":"refs/tags/v2.0.5","pushedAt":"2024-05-22T16:29:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"}},{"before":"33c689e9df6bd3490219ebbeaaab2fc36fa078af","after":"8577e532c6dff8eaab6e01deecc43620ad70d59c","ref":"refs/heads/main","pushedAt":"2024-05-22T16:29:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.5","shortMessageHtmlLink":"version 2.0.5"}},{"before":"8d35b381ceeec6dec1214eecac4e33eb96d29833","after":"33c689e9df6bd3490219ebbeaaab2fc36fa078af","ref":"refs/heads/main","pushedAt":"2024-05-22T16:25:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.5 (fixes windows unzip)\n\nsee https://github.com/cthackers/adm-zip/issues/484","shortMessageHtmlLink":"version 2.0.5 (fixes windows unzip)"}},{"before":"ce54ac184b597474d0e63b7a459227d3985f924d","after":"8d35b381ceeec6dec1214eecac4e33eb96d29833","ref":"refs/heads/main","pushedAt":"2024-05-22T13:41:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"version 2.0.4","shortMessageHtmlLink":"version 2.0.4"}},{"before":"b0d89a6c6a2ac388757b63ba643f95ddcf77cf49","after":"ce54ac184b597474d0e63b7a459227d3985f924d","ref":"refs/heads/main","pushedAt":"2024-05-22T13:36:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"vscode-ext: more error handling","shortMessageHtmlLink":"vscode-ext: more error handling"}},{"before":"29ed615725df123ced3b193e29afd13d0d44fc9a","after":"b0d89a6c6a2ac388757b63ba643f95ddcf77cf49","ref":"refs/heads/main","pushedAt":"2024-05-22T12:36:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"CI: add necessary ./ prefix for 7z command\n\notherwise 7z will create a subdirectory in the zip file. this is\nexpected behavior for our .tar.gz files, but on windows the convention\ndoesn't have a directory at the top of the zip.","shortMessageHtmlLink":"CI: add necessary ./ prefix for 7z command"}},{"before":"a3dc47e8282cd46ac50c3d40ae9f39c0e48d6a0a","after":"29ed615725df123ced3b193e29afd13d0d44fc9a","ref":"refs/heads/main","pushedAt":"2024-05-22T11:41:37.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Philipp15b","name":"Philipp Schröer","path":"/Philipp15b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/425358?s=80&v=4"},"commit":{"message":"vscode-ext: minor walkthrough change","shortMessageHtmlLink":"vscode-ext: minor walkthrough change"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEltV2IQA","startCursor":null,"endCursor":null}},"title":"Activity · moves-rwth/caesar"}