{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":556779948,"defaultBranch":"main","name":"LoRe","ownerLogin":"stg-tud","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-24T13:55:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/660194?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712761086.0","currentOid":""},"activityList":{"items":[{"before":"bdc87ca5c818a5a59f709d658119c7a6a668a15c","after":"82c9f27f136dbf407a260c203b51976f4064f29b","ref":"refs/heads/main","pushedAt":"2024-04-30T18:45:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add movement notice to readme","shortMessageHtmlLink":"add movement notice to readme"}},{"before":"3ff2863735c351cd76caac1dcc1c0d3eef9aee57","after":null,"ref":"refs/heads/invariants","pushedAt":"2024-04-10T14:58:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"}},{"before":"5cebc12640f5f9328b522237040e8bc46934f6d3","after":"bdc87ca5c818a5a59f709d658119c7a6a668a15c","ref":"refs/heads/main","pushedAt":"2024-04-10T14:57:53.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"Merge pull request #1 from stg-tud/invariants\n\nadd integrated Scala DSL","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2233461166\" data-permission-text=\"Title is private\" data-url=\"https://github.com/stg-tud/LoRe/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/stg-tud/LoRe/pull/1/hovercard\" href=\"https://github.com/stg-tud/LoRe/pull/1\">#1</a> from stg-tud/invariants"}},{"before":"1e0a0a2164275f24b790e71935be698d788786f9","after":"3ff2863735c351cd76caac1dcc1c0d3eef9aee57","ref":"refs/heads/invariants","pushedAt":"2024-04-10T14:53:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"finish migration to jsoniter and extract codecs","shortMessageHtmlLink":"finish migration to jsoniter and extract codecs"}},{"before":"ace5574549aa515cd3623087cebb9a1e84972a4c","after":"1e0a0a2164275f24b790e71935be698d788786f9","ref":"refs/heads/invariants","pushedAt":"2024-03-28T20:33:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kiibou-chan","name":"Svenja Kernig","path":"/Kiibou-chan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20756868?s=80&v=4"},"commit":{"message":"it's fucking late ~ Ragnar\n\nbut it works :)","shortMessageHtmlLink":"it's fucking late ~ Ragnar"}},{"before":"a89ec8c61fdd1b34438c7f44be15ae507c2541ca","after":"5cebc12640f5f9328b522237040e8bc46934f6d3","ref":"refs/heads/main","pushedAt":"2024-03-26T18:24:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"exclude act steps when on github","shortMessageHtmlLink":"exclude act steps when on github"}},{"before":"b2724050259712d0e0a61b174a84f47f76482bb5","after":"a89ec8c61fdd1b34438c7f44be15ae507c2541ca","ref":"refs/heads/main","pushedAt":"2024-03-26T17:54:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"experiment with workflows","shortMessageHtmlLink":"experiment with workflows"}},{"before":"826b9db4f7c588dbe4aa928e535b7badb75de7de","after":"ace5574549aa515cd3623087cebb9a1e84972a4c","ref":"refs/heads/invariants","pushedAt":"2024-02-25T10:12:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Kiibou-chan","name":"Svenja Kernig","path":"/Kiibou-chan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20756868?s=80&v=4"},"commit":{"message":"implement new Interaction API","shortMessageHtmlLink":"implement new Interaction API"}},{"before":null,"after":"826b9db4f7c588dbe4aa928e535b7badb75de7de","ref":"refs/heads/invariants","pushedAt":"2024-02-21T12:34:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kiibou-chan","name":"Svenja Kernig","path":"/Kiibou-chan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20756868?s=80&v=4"},"commit":{"message":"add prototype invariant DSL","shortMessageHtmlLink":"add prototype invariant DSL"}},{"before":null,"after":"25d1197a2d6c3a20450482ba1ae6375343dc40bc","ref":"refs/heads/refactoring","pushedAt":"2024-02-21T11:46:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kiibou-chan","name":"Svenja Kernig","path":"/Kiibou-chan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20756868?s=80&v=4"},"commit":{"message":"add type annotations","shortMessageHtmlLink":"add type annotations"}},{"before":"36d49225a7b4b0fafb01ad058dba7df92c621605","after":"b2724050259712d0e0a61b174a84f47f76482bb5","ref":"refs/heads/main","pushedAt":"2023-11-29T20:01:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"allow local publishing","shortMessageHtmlLink":"allow local publishing"}},{"before":"b45f8ffa74aacaad6d4dd35436c901ccfc7243cc","after":"36d49225a7b4b0fafb01ad058dba7df92c621605","ref":"refs/heads/main","pushedAt":"2023-10-12T12:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"trying to embed as a Scala DSL","shortMessageHtmlLink":"trying to embed as a Scala DSL"}},{"before":"38f049ce9980b6df07aa24e6581819059479be3c","after":"b45f8ffa74aacaad6d4dd35436c901ccfc7243cc","ref":"refs/heads/main","pushedAt":"2023-09-18T10:35:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add artifact readme","shortMessageHtmlLink":"add artifact readme"}},{"before":"03fa9841739b0e46b82125c1a9a7729ab6aa441f","after":"38f049ce9980b6df07aa24e6581819059479be3c","ref":"refs/heads/main","pushedAt":"2023-07-04T18:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add tests for trigger expression","shortMessageHtmlLink":"add tests for trigger expression"}},{"before":"25300674f1d96d14297de5fc71deed7384364b69","after":"03fa9841739b0e46b82125c1a9a7729ab6aa441f","ref":"refs/heads/main","pushedAt":"2023-07-04T18:12:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"improve support for triggers\n\nactually adds trigger parsing support in forall expressions\nfixes a bug where empty triggers where generated in the viper code","shortMessageHtmlLink":"improve support for triggers"}},{"before":"37566767d07c0415f2b71274ea0f8897cfd4cf65","after":"25300674f1d96d14297de5fc71deed7384364b69","ref":"refs/heads/main","pushedAt":"2023-07-04T17:30:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"improve test structure","shortMessageHtmlLink":"improve test structure"}},{"before":"410fa96e4447362775655f828a2d9b8cab3421e8","after":"37566767d07c0415f2b71274ea0f8897cfd4cf65","ref":"refs/heads/main","pushedAt":"2023-07-04T16:18:53.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add another test for windows backslashs","shortMessageHtmlLink":"add another test for windows backslashs"}},{"before":"c25ed9533aadb6a29fa2fd2c419bf3d399405e33","after":"410fa96e4447362775655f828a2d9b8cab3421e8","ref":"refs/heads/main","pushedAt":"2023-06-12T14:14:27.973Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"now without newlines...","shortMessageHtmlLink":"now without newlines..."}},{"before":"6bb40edfa11bcab5ceb980b233a958a8259613f4","after":"c25ed9533aadb6a29fa2fd2c419bf3d399405e33","ref":"refs/heads/main","pushedAt":"2023-06-12T14:05:19.481Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"test import syntax on windows","shortMessageHtmlLink":"test import syntax on windows"}},{"before":"2133bb3e982835eeb4752c8c73f5112eb23d0043","after":"6bb40edfa11bcab5ceb980b233a958a8259613f4","ref":"refs/heads/main","pushedAt":"2023-06-12T13:53:26.237Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"try to fix linefeeds in Windows tests","shortMessageHtmlLink":"try to fix linefeeds in Windows tests"}},{"before":"93ffafaedf0a8cd9682729526816725f04be07db","after":"2133bb3e982835eeb4752c8c73f5112eb23d0043","ref":"refs/heads/main","pushedAt":"2023-06-12T13:41:51.535Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"remove trailing whitespace in calendar examples","shortMessageHtmlLink":"remove trailing whitespace in calendar examples"}},{"before":"7d94f76a36d96265db330c59077719b4a7c4ee7b","after":"93ffafaedf0a8cd9682729526816725f04be07db","ref":"refs/heads/main","pushedAt":"2023-06-12T10:28:16.556Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"fix more import warnings","shortMessageHtmlLink":"fix more import warnings"}},{"before":"7c6a634c39fd240979d7dc261e365c399d5fc251","after":"7d94f76a36d96265db330c59077719b4a7c4ee7b","ref":"refs/heads/main","pushedAt":"2023-06-12T10:21:23.129Z","pushType":"push","commitsCount":3,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"remove unused values and imports","shortMessageHtmlLink":"remove unused values and imports"}},{"before":"7c6a634c39fd240979d7dc261e365c399d5fc251","after":null,"ref":"refs/heads/caret","pushedAt":"2023-06-12T09:05:42.061Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"}},{"before":"1b06026eb5f252ce871c6b99259c6d1252c98ac4","after":"7c6a634c39fd240979d7dc261e365c399d5fc251","ref":"refs/heads/main","pushedAt":"2023-06-12T09:05:12.390Z","pushType":"push","commitsCount":6,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"source pos everything","shortMessageHtmlLink":"source pos everything"}},{"before":"9bab4b202015b7adab6ff689458c69efce1d3115","after":"7c6a634c39fd240979d7dc261e365c399d5fc251","ref":"refs/heads/caret","pushedAt":"2023-06-12T08:54:24.943Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"source pos everything","shortMessageHtmlLink":"source pos everything"}},{"before":null,"after":"9bab4b202015b7adab6ff689458c69efce1d3115","ref":"refs/heads/caret","pushedAt":"2023-06-12T08:48:46.853Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"source pos everything","shortMessageHtmlLink":"source pos everything"}},{"before":"848cc3d8b4fbeeb920f462ef84361cae7d253589","after":"1b06026eb5f252ce871c6b99259c6d1252c98ac4","ref":"refs/heads/main","pushedAt":"2023-05-24T14:34:22.177Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add new exists parsing test","shortMessageHtmlLink":"add new exists parsing test"}},{"before":"7b2f39fe7eea37cf95a44bca43f6e4d9f82daaa7","after":"848cc3d8b4fbeeb920f462ef84361cae7d253589","ref":"refs/heads/main","pushedAt":"2023-05-17T16:36:47.794Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"possibly fix backslash problem on Windows","shortMessageHtmlLink":"possibly fix backslash problem on Windows"}},{"before":"c23057e26a24ccbf93fbe87e8cecf5191f0c1df4","after":"7b2f39fe7eea37cf95a44bca43f6e4d9f82daaa7","ref":"refs/heads/main","pushedAt":"2023-04-06T11:08:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haaase","name":"Julian","path":"/haaase","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9250536?s=80&v=4"},"commit":{"message":"add windows test to CI","shortMessageHtmlLink":"add windows test to CI"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPlOm4wA","startCursor":null,"endCursor":null}},"title":"Activity · stg-tud/LoRe"}