{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":9504887,"defaultBranch":"master","name":"slugs","ownerLogin":"VerifiableRobotics","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-04-17T18:48:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/545134?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709068992.0","currentOid":""},"activityList":{"items":[{"before":"a0c2893048dcae24d79404fc6f34f54d7f1f9575","after":"13218b5722e161f7d427ad2df769fc9be26cfa6c","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-05-03T11:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Removed old \"SATSolver.py\" mentioning (not used any more), updated command line option for the \"computeInvariants\" plugin","shortMessageHtmlLink":"Removed old \"SATSolver.py\" mentioning (not used any more), updated co…"}},{"before":"96d9dd49446a9267db80fc8721b8615e176f4d3f","after":"a0c2893048dcae24d79404fc6f34f54d7f1f9575","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-05-03T10:51:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Github actions build update","shortMessageHtmlLink":"Github actions build update"}},{"before":"ab770faf332849fe8e1f7f4e9e4ce8e5b2d3f672","after":"96d9dd49446a9267db80fc8721b8615e176f4d3f","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-05-01T20:13:28.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Option in the invariant computation for starting from a bigger state set (\"beMoreStrict\")","shortMessageHtmlLink":"Option in the invariant computation for starting from a bigger state …"}},{"before":"a935741655aa12aff79b3f1f06376e0a5890f020","after":"ab770faf332849fe8e1f7f4e9e4ce8e5b2d3f672","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-04-04T12:25:54.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Updated invariant computation plugin","shortMessageHtmlLink":"Updated invariant computation plugin"}},{"before":"c2ed655add2d9600fcfefc8a1d480644a37bba73","after":"a935741655aa12aff79b3f1f06376e0a5890f020","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-02-27T21:37:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Merge branch 'unstable' into unstable-linuxonly-extensions","shortMessageHtmlLink":"Merge branch 'unstable' into unstable-linuxonly-extensions"}},{"before":"b19ba0c2ec98383a7a332ea41c76272665588bfe","after":"fa238ef939a84ecc08d44270cc51af4d54de5d74","ref":"refs/heads/unstable","pushedAt":"2024-02-27T21:34:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Cast to remove warning","shortMessageHtmlLink":"Cast to remove warning"}},{"before":"2bbbfe73c46a3a485c34ad481adef79c0a4cd85c","after":"b19ba0c2ec98383a7a332ea41c76272665588bfe","ref":"refs/heads/unstable","pushedAt":"2024-02-27T21:31:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into unstable","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into unstable"}},{"before":"2bbbfe73c46a3a485c34ad481adef79c0a4cd85c","after":"c2ed655add2d9600fcfefc8a1d480644a37bba73","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-02-27T21:26:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Linux-only branch first proper commit -- for plugins that use subprocesses","shortMessageHtmlLink":"Linux-only branch first proper commit -- for plugins that use subproc…"}},{"before":null,"after":"2bbbfe73c46a3a485c34ad481adef79c0a4cd85c","ref":"refs/heads/unstable-linuxonly-extensions","pushedAt":"2024-02-27T21:23:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"MacOS Build?","shortMessageHtmlLink":"MacOS Build?"}},{"before":"a4581b0b308adf2a5ed8c852da1d6e1ae33bf932","after":"2bbbfe73c46a3a485c34ad481adef79c0a4cd85c","ref":"refs/heads/unstable","pushedAt":"2024-02-27T21:12:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"MacOS Build?","shortMessageHtmlLink":"MacOS Build?"}},{"before":"a4ccf95807ece764f58e86ba3c492ec89a254079","after":"a4581b0b308adf2a5ed8c852da1d6e1ae33bf932","ref":"refs/heads/unstable","pushedAt":"2024-02-27T21:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Test gcc version 10 for mac","shortMessageHtmlLink":"Test gcc version 10 for mac"}},{"before":"3a3b49bd5050487eca3b097823b2735aa7259e63","after":"a4ccf95807ece764f58e86ba3c492ec89a254079","ref":"refs/heads/unstable","pushedAt":"2024-02-27T20:55:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Fixed MacOS to GCC","shortMessageHtmlLink":"Fixed MacOS to GCC"}},{"before":"fd72a76da06145cf65191a5d4bc6f4ab845ce650","after":"3a3b49bd5050487eca3b097823b2735aa7259e63","ref":"refs/heads/unstable","pushedAt":"2024-02-27T20:48:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Makefile update","shortMessageHtmlLink":"Makefile update"}},{"before":"dfa5ab3bbc7ef987de1f5b6864935f6b13c5455a","after":"fd72a76da06145cf65191a5d4bc6f4ab845ce650","ref":"refs/heads/unstable","pushedAt":"2024-02-27T20:46:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Added new extension (unfinished version)","shortMessageHtmlLink":"Added new extension (unfinished version)"}},{"before":"b19ba0c2ec98383a7a332ea41c76272665588bfe","after":"dfa5ab3bbc7ef987de1f5b6864935f6b13c5455a","ref":"refs/heads/unstable","pushedAt":"2024-02-27T20:43:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Intermediate commit of not-yet-working additional plugin\n\nBut let's see if this compiles on a Mac","shortMessageHtmlLink":"Intermediate commit of not-yet-working additional plugin"}},{"before":"066719fbcea9e2c0d5efa39009437d3f260882d8","after":"b19ba0c2ec98383a7a332ea41c76272665588bfe","ref":"refs/heads/unstable","pushedAt":"2024-02-26T22:50:05.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into unstable","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into unstable"}},{"before":"b01d192ec0cc3f08c21f358ce2e2add49f76968f","after":"066719fbcea9e2c0d5efa39009437d3f260882d8","ref":"refs/heads/unstable","pushedAt":"2024-02-26T22:39:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Removed warning from newly integrated plugin","shortMessageHtmlLink":"Removed warning from newly integrated plugin"}},{"before":"973ea06d5f263fbdc3d0d9be94ff576270ef9c73","after":"b01d192ec0cc3f08c21f358ce2e2add49f76968f","ref":"refs/heads/unstable","pushedAt":"2024-02-26T18:00:50.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Merge branch 'akschmuck-env-friendly' into unstable","shortMessageHtmlLink":"Merge branch 'akschmuck-env-friendly' into unstable"}},{"before":"2bff87a5969642a1274059a3928d20c8a6048ada","after":"a188d83bccc2086e086c26266de659a7f556e48e","ref":"refs/heads/master","pushedAt":"2023-12-29T22:41:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Merge pull request #25 from slivingston/patch-1\n\nUpdate link to paper","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2060428871\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VerifiableRobotics/slugs/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VerifiableRobotics/slugs/pull/25/hovercard\" href=\"https://github.com/VerifiableRobotics/slugs/pull/25\">#25</a> from slivingston/patch-1"}},{"before":"dc2b1e0cdcaf798ba5313c468ec612e2da702d7c","after":"2bff87a5969642a1274059a3928d20c8a6048ada","ref":"refs/heads/master","pushedAt":"2023-11-08T22:13:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"progirep","name":"Ruediger Ehlers","path":"/progirep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3358713?s=80&v=4"},"commit":{"message":"Added \"explicitStrategyToGraphviz.py\" script","shortMessageHtmlLink":"Added \"explicitStrategyToGraphviz.py\" script"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQKysZQA","startCursor":null,"endCursor":null}},"title":"Activity · VerifiableRobotics/slugs"}