{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":69588580,"defaultBranch":"master","name":"hypro","ownerLogin":"hypro","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-09-29T16:58:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22522169?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1694074350.0","currentOid":""},"activityList":{"items":[{"before":"3b9e5a8f50ea34ff108949279d6e118c18bb843b","after":"9e91ca798b71e7891bc29c23281f443916be458f","ref":"refs/heads/fix/github_actions","pushedAt":"2023-09-07T10:36:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"},"commit":{"message":"try 3","shortMessageHtmlLink":"try 3"}},{"before":"9e964e0f0c20ca250822140f5eaea2184ac920f7","after":"3b9e5a8f50ea34ff108949279d6e118c18bb843b","ref":"refs/heads/fix/github_actions","pushedAt":"2023-09-07T10:29:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"},"commit":{"message":"try 2","shortMessageHtmlLink":"try 2"}},{"before":null,"after":"9e964e0f0c20ca250822140f5eaea2184ac920f7","ref":"refs/heads/fix/github_actions","pushedAt":"2023-09-07T08:12:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"},"commit":{"message":"first try fixing the actions","shortMessageHtmlLink":"first try fixing the actions"}},{"before":"d6138e4a0722a71a6a18ff8c23acda409838f929","after":"fde882c14bb8851c7010644637d41611de35c77a","ref":"refs/heads/alpha","pushedAt":"2023-09-07T07:30:32.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"},"commit":{"message":"Merge pull request #41 from hypro/master\n\nMake it up to date","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1885283204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hypro/hypro/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hypro/hypro/pull/41/hovercard\" href=\"https://github.com/hypro/hypro/pull/41\">#41</a> from hypro/master"}},{"before":null,"after":"d6138e4a0722a71a6a18ff8c23acda409838f929","ref":"refs/heads/alpha","pushedAt":"2023-09-07T07:24:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"e32adea8de2a2cab95c74134a150857a6b00c43e","after":null,"ref":"refs/heads/antallaszlo011-patch-1","pushedAt":"2023-09-06T13:53:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"}},{"before":"82cae39028d0646d6b6a6fa2f217080282767d10","after":"717ecb760af34f036280d6a2509554a9f9a85484","ref":"refs/heads/master","pushedAt":"2023-09-06T13:52:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Merge pull request #40 from hypro/antallaszlo011-patch-1\n\nChangelog update","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1884068970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hypro/hypro/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hypro/hypro/pull/40/hovercard\" href=\"https://github.com/hypro/hypro/pull/40\">#40</a> from hypro/antallaszlo011-patch-1"}},{"before":null,"after":"e32adea8de2a2cab95c74134a150857a6b00c43e","ref":"refs/heads/antallaszlo011-patch-1","pushedAt":"2023-09-06T13:52:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Update CHANGELOG.md","shortMessageHtmlLink":"Update CHANGELOG.md"}},{"before":"d6138e4a0722a71a6a18ff8c23acda409838f929","after":null,"ref":"refs/heads/alpha","pushedAt":"2023-09-06T09:33:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"}},{"before":"97cd5cf8c4112b40adf0e6180776cbe0f73ba9e9","after":"82cae39028d0646d6b6a6fa2f217080282767d10","ref":"refs/heads/master","pushedAt":"2023-09-06T09:22:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Merge pull request #39 from hypro/alpha\n\nFixing Dockerfile by adding required dependency","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1883607783\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hypro/hypro/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hypro/hypro/pull/39/hovercard\" href=\"https://github.com/hypro/hypro/pull/39\">#39</a> from hypro/alpha"}},{"before":"13f34d04f81c08fdf4d73dfda88dbe02bb7f2df8","after":"d6138e4a0722a71a6a18ff8c23acda409838f929","ref":"refs/heads/alpha","pushedAt":"2023-09-06T09:19:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"9333eb4d9319f0462b33802c5de76f6ad6c0cbe2","after":"97cd5cf8c4112b40adf0e6180776cbe0f73ba9e9","ref":"refs/heads/master","pushedAt":"2023-09-05T14:32:13.000Z","pushType":"pr_merge","commitsCount":908,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Merge pull request #38 from hypro/alpha\n\nPull request for mergeing the star-based NN reachability into master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1859555439\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hypro/hypro/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hypro/hypro/pull/38/hovercard\" href=\"https://github.com/hypro/hypro/pull/38\">#38</a> from hypro/alpha"}},{"before":"eacc46755fc8176c70b3eb87ee744d9d2e87adb3","after":"13f34d04f81c08fdf4d73dfda88dbe02bb7f2df8","ref":"refs/heads/alpha","pushedAt":"2023-09-05T14:31:38.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Merge branch 'alpha' of github.com:hypro/hypro into alpha","shortMessageHtmlLink":"Merge branch 'alpha' of github.com:hypro/hypro into alpha"}},{"before":"d93673a7368e12781ab7a36d8c95f4d723aa40af","after":"eacc46755fc8176c70b3eb87ee744d9d2e87adb3","ref":"refs/heads/alpha","pushedAt":"2023-08-28T07:56:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"Merge branch 'master' into alpha","shortMessageHtmlLink":"Merge branch 'master' into alpha"}},{"before":"020a80b4b53443795d6dcca2eeb77b3f37b387c2","after":"d93673a7368e12781ab7a36d8c95f4d723aa40af","ref":"refs/heads/alpha","pushedAt":"2023-08-21T14:52:16.000Z","pushType":"push","commitsCount":115,"pusher":{"login":"antallaszlo011","name":"László Antal","path":"/antallaszlo011","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22348753?s=80&v=4"},"commit":{"message":"Sonar benchmark input properties fixed","shortMessageHtmlLink":"Sonar benchmark input properties fixed"}},{"before":"43b206744ed8166b019805a63998972429f1e2c8","after":"020a80b4b53443795d6dcca2eeb77b3f37b387c2","ref":"refs/heads/alpha","pushedAt":"2023-06-26T07:50:19.781Z","pushType":"push","commitsCount":6,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"re-arrange order of linkage to allow static builds\n\nSigned-off-by: Stefan Schupp <stefan.schupp@tuwien.ac.at>","shortMessageHtmlLink":"re-arrange order of linkage to allow static builds"}},{"before":"3bf5db7abefbfd2418667c102ef6654bdccbf695","after":"43b206744ed8166b019805a63998972429f1e2c8","ref":"refs/heads/alpha","pushedAt":"2023-06-15T12:59:33.594Z","pushType":"push","commitsCount":146,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"fix bug in assertion\n\nSigned-off-by: Stefan Schupp <stefan.schupp@tuwien.ac.at>","shortMessageHtmlLink":"fix bug in assertion"}},{"before":"3129b36d1422bdc0b9cde5a30a6afaa2ee8a4ea8","after":"53dabad5aa6ba59f16a9f12f725cf91cf04b0be4","ref":"refs/heads/documentation","pushedAt":"2023-06-14T19:05:20.724Z","pushType":"push","commitsCount":379,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'github/documentation' into documentation\n\n# Conflicts:\n#\tdocs/_data/sidebars/mydoc_sidebar.yml\n#\tresources/glpk-5.0/configure","shortMessageHtmlLink":"Merge remote-tracking branch 'github/documentation' into documentation"}},{"before":"4406361a4f161f91c3b646aa213457b6985736ac","after":"3129b36d1422bdc0b9cde5a30a6afaa2ee8a4ea8","ref":"refs/heads/documentation","pushedAt":"2023-05-24T15:01:22.542Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"update setup: add description for all relevant compile flags\n\nSigned-off-by: Stefan Schupp <stefan.schupp@tuwien.ac.at>","shortMessageHtmlLink":"update setup: add description for all relevant compile flags"}},{"before":"ff260d041986253ff3489bd86dc9247d6a16e4da","after":"4406361a4f161f91c3b646aa213457b6985736ac","ref":"refs/heads/documentation","pushedAt":"2023-05-24T14:46:31.662Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"add description of the general API for state sets\n\nSigned-off-by: Stefan Schupp <stefan.schupp@tuwien.ac.at>","shortMessageHtmlLink":"add description of the general API for state sets"}},{"before":"2517a778cb9550ede4cf2f5b28c356031b90cfbc","after":"3bf5db7abefbfd2418667c102ef6654bdccbf695","ref":"refs/heads/alpha","pushedAt":"2023-03-29T09:57:31.658Z","pushType":"push","commitsCount":22,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/alpha' into alpha","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/alpha' into alpha"}},{"before":"e801d91abfd418407cea152134022ce23d969a13","after":"a37cd3b22aa93bc049eb20f81eb0842bc0296d7d","ref":"refs/heads/maintenance/codeCleanup","pushedAt":"2023-03-28T08:22:40.899Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"fix: correct usage of std::forward\n\nSigned-off-by: Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>","shortMessageHtmlLink":"fix: correct usage of std::forward"}},{"before":"ff9ae59ccce76b9381f2983d5537fb5493495b34","after":"e801d91abfd418407cea152134022ce23d969a13","ref":"refs/heads/maintenance/codeCleanup","pushedAt":"2023-03-28T08:03:56.053Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"fix function signature\n\nSigned-off-by: Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>","shortMessageHtmlLink":"fix function signature"}},{"before":null,"after":"ff9ae59ccce76b9381f2983d5537fb5493495b34","ref":"refs/heads/maintenance/codeCleanup","pushedAt":"2023-03-28T07:50:47.263Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"add noxecept statements\n\nSigned-off-by: Stefan Schupp <stefan.schupp@cs.rwth-aachen.de>","shortMessageHtmlLink":"add noxecept statements"}},{"before":"d2a2edea1746ae5b408d1d2e08b0a3eb49cdeec2","after":"2517a778cb9550ede4cf2f5b28c356031b90cfbc","ref":"refs/heads/alpha","pushedAt":"2023-03-23T18:01:36.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"Merge branch 'alpha' of github.com:hypro/hypro into alpha","shortMessageHtmlLink":"Merge branch 'alpha' of github.com:hypro/hypro into alpha"}},{"before":"d88d76d38ccdb45f37cc93baf7b70342a3071841","after":null,"ref":"refs/heads/maintenance/fixCI","pushedAt":"2023-03-23T09:55:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"}},{"before":"770010338fe9893420f2d5685fa335025f78683d","after":"d2a2edea1746ae5b408d1d2e08b0a3eb49cdeec2","ref":"refs/heads/alpha","pushedAt":"2023-03-23T09:55:21.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"hypro","name":"HyPro project","path":"/hypro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22522169?s=80&v=4"},"commit":{"message":"Merge pull request #37 from hypro/maintenance/fixCI\n\nFix CI for current carl versions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635852828\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hypro/hypro/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hypro/hypro/pull/37/hovercard\" href=\"https://github.com/hypro/hypro/pull/37\">#37</a> from hypro/maintenance/fixCI"}},{"before":"4a35e8aebddd3ca072f03a83a192e273af55246a","after":"d88d76d38ccdb45f37cc93baf7b70342a3071841","ref":"refs/heads/maintenance/fixCI","pushedAt":"2023-03-23T08:57:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"update carl targets to build","shortMessageHtmlLink":"update carl targets to build"}},{"before":"dcc3536a4ce659bcec29983935d783cba25bcd5c","after":"4a35e8aebddd3ca072f03a83a192e273af55246a","ref":"refs/heads/maintenance/fixCI","pushedAt":"2023-03-23T08:54:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"Adapt coverage script to carl versions","shortMessageHtmlLink":"Adapt coverage script to carl versions"}},{"before":"503f899d64f7fc69f698265a6a17ab4f5c0cf554","after":"dcc3536a4ce659bcec29983935d783cba25bcd5c","ref":"refs/heads/maintenance/fixCI","pushedAt":"2023-03-22T14:17:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"modass","name":"Stefan Schupp","path":"/modass","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10206409?s=80&v=4"},"commit":{"message":"build carl modules","shortMessageHtmlLink":"build carl modules"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADe14e_QA","startCursor":null,"endCursor":null}},"title":"Activity · hypro/hypro"}