{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":225621880,"defaultBranch":"master","name":"ReachabilityAnalysis.jl","ownerLogin":"JuliaReach","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-12-03T13:04:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33028082?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719460190.0","currentOid":""},"activityList":{"items":[{"before":"e3b238d5c5d4187b217126c3ef81d94ab443bed4","after":"40636670dd3fc296c4ed06c6c703c9527489a387","ref":"refs/heads/gh-pages","pushedAt":"2024-06-27T20:42:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on f8a9764","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/f8a976460900d51c5343f74db7210483a0a0a1ef/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/f8a976460900d51c5343f74db7210483a0a0a1ef\"><tt>f8a9764</tt></a>"}},{"before":null,"after":"09d7995d0321f3ec012feec6f8ed16eeedade2aa","ref":"refs/heads/schillic/RB","pushedAt":"2024-06-27T03:49:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"allow ReachabilityBase v0.3","shortMessageHtmlLink":"allow ReachabilityBase v0.3"}},{"before":"25f332888ed80b4b105f7e2121a25303fa0b4915","after":"40b0d39b2e345396a444818248a658fdbae1afa0","ref":"refs/heads/compathelper/new_version/2024-06-27-01-19-13-630-01603005983","pushedAt":"2024-06-27T01:19:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for ReachabilityBase to 0.3 for package docs, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for ReachabilityBase to 0.3 for package doc…"}},{"before":null,"after":"25f332888ed80b4b105f7e2121a25303fa0b4915","ref":"refs/heads/compathelper/new_version/2024-06-27-01-19-13-630-01603005983","pushedAt":"2024-06-27T01:19:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for ReachabilityBase to 0.3 for package docs, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for ReachabilityBase to 0.3 for package doc…"}},{"before":"0c469603688e29db21413360b1412dc6d1b0d6b6","after":"e7b7b0b6740b2887d76d68ed6a03a6f2d9de2af3","ref":"refs/heads/compathelper/new_version/2024-06-27-01-18-18-110-01558399885","pushedAt":"2024-06-27T01:18:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing…"}},{"before":null,"after":"0c469603688e29db21413360b1412dc6d1b0d6b6","ref":"refs/heads/compathelper/new_version/2024-06-27-01-18-18-110-01558399885","pushedAt":"2024-06-27T01:18:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing…"}},{"before":"5f150f6ddf477bcc8c372b0948e4cbb1cc56c133","after":"e3b238d5c5d4187b217126c3ef81d94ab443bed4","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T15:47:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 2f8cd53","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/2f8cd53b13259201803168ecb0e2ced50a1b39ed/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/2f8cd53b13259201803168ecb0e2ced50a1b39ed\"><tt>2f8cd53</tt></a>"}},{"before":null,"after":"9f79f0a721fae87fa097e8a2a57ab16fd1a5af31","ref":"refs/heads/schillic/require","pushedAt":"2024-06-16T15:24:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"replace 'requires' macro with 'require'","shortMessageHtmlLink":"replace 'requires' macro with 'require'"}},{"before":"749ab52d6cf1cae4d565b3b28f80277b6092081d","after":"5f150f6ddf477bcc8c372b0948e4cbb1cc56c133","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T09:21:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 788ea80","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/788ea800bf30a903d032fc1a7f788ea0fb7ba6d4/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/788ea800bf30a903d032fc1a7f788ea0fb7ba6d4\"><tt>788ea80</tt></a>"}},{"before":"97c98b7102c7d6f0b9aa74c6934e4b41932419c7","after":"749ab52d6cf1cae4d565b3b28f80277b6092081d","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T09:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on b0c95d8","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/b0c95d8aeb74be4e17ccecec61d0fb2919383a9d/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/b0c95d8aeb74be4e17ccecec61d0fb2919383a9d\"><tt>b0c95d8</tt></a>"}},{"before":"02d89e29f5945811cf284c04572cf3a4d65e04f8","after":"97c98b7102c7d6f0b9aa74c6934e4b41932419c7","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T09:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on df5c2a2","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/df5c2a2f33b3f9122c6e5461a047001cd2ef65e1/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/df5c2a2f33b3f9122c6e5461a047001cd2ef65e1\"><tt>df5c2a2</tt></a>"}},{"before":"8fc2c7846e03c22c8b87d54107097af658008d2e","after":"0bb1aaafdd9d315dc6245a0a18d464cbac7b1696","ref":"refs/heads/schillic/overapproximate","pushedAt":"2024-06-16T08:59:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"merge/generalize overapproximate methods","shortMessageHtmlLink":"merge/generalize overapproximate methods"}},{"before":"cba72378bc13fd827be784f59e07ee782d6193e4","after":"02d89e29f5945811cf284c04572cf3a4d65e04f8","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T08:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on c853715","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/c8537152465465e4670e4931db7ef8bfb5e37fd8/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/c8537152465465e4670e4931db7ef8bfb5e37fd8\"><tt>c853715</tt></a>"}},{"before":null,"after":"0a0fd52f221c7e48b9bf9073e6f019f5fd881eb8","ref":"refs/heads/schillic/GLGM06_reach_homog","pushedAt":"2024-06-16T08:43:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"do not pass redundant 'max_order' to algorithm","shortMessageHtmlLink":"do not pass redundant 'max_order' to algorithm"}},{"before":null,"after":"3a2df6ecc1cec9b066f16b6cc4e80ead31cdbd58","ref":"refs/heads/schillic/GLGM06","pushedAt":"2024-06-16T08:38:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"use 'preallocate' argument in GLGM06","shortMessageHtmlLink":"use 'preallocate' argument in GLGM06"}},{"before":null,"after":"2d7071b014e834c21c216a5aafd33152b63db9b7","ref":"refs/heads/schillic/algorithms","pushedAt":"2024-06-16T08:33:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"remove redundant variables","shortMessageHtmlLink":"remove redundant variables"}},{"before":"447d76b6c25fea4b25b49cdc77133b8407fcf255","after":"cba72378bc13fd827be784f59e07ee782d6193e4","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T07:52:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on b414c55","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/b414c5577d9566a6b327f2770f6bc168b97a7b1d/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/b414c5577d9566a6b327f2770f6bc168b97a7b1d\"><tt>b414c55</tt></a>"}},{"before":null,"after":"8fc2c7846e03c22c8b87d54107097af658008d2e","ref":"refs/heads/schillic/overapproximate","pushedAt":"2024-06-16T07:46:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"merge/generalize overapproximate methods","shortMessageHtmlLink":"merge/generalize overapproximate methods"}},{"before":null,"after":"6ad352560188c44c6fdb70ce99f5e8df0a7ecede","ref":"refs/heads/schillic/_convert_or_overapproximate","pushedAt":"2024-06-16T07:29:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"fix argument order of _convert_or_overapproximate","shortMessageHtmlLink":"fix argument order of _convert_or_overapproximate"}},{"before":"4607073cba72946de4f8b0958a46321620ba4ea3","after":"447d76b6c25fea4b25b49cdc77133b8407fcf255","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T07:29:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 791f458","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/791f4582c1963606161eff44c50c80b151d59da9/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/791f4582c1963606161eff44c50c80b151d59da9\"><tt>791f458</tt></a>"}},{"before":null,"after":"9111c043657ef692f8c1986ae1bab5599161eff0","ref":"refs/heads/schillic/fixes","pushedAt":"2024-06-16T07:06:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"surround with 'function ... end'","shortMessageHtmlLink":"surround with 'function ... end'"}},{"before":"4fe8ef77a699307f33a7fa9359b0860dd93dc6b5","after":"4607073cba72946de4f8b0958a46321620ba4ea3","ref":"refs/heads/gh-pages","pushedAt":"2024-06-16T06:29:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on cb81583","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/cb8158303ed3b45b5edf8043353c37ffa140d746/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/cb8158303ed3b45b5edf8043353c37ffa140d746\"><tt>cb81583</tt></a>"}},{"before":"08ff97f7c35f61523ea0119a84bc3d8021e46378","after":"582e8914eda530d269144eb8e048ed367ff26132","ref":"refs/heads/schillic/discretization","pushedAt":"2024-06-16T06:06:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"revise discretization module","shortMessageHtmlLink":"revise discretization module"}},{"before":"89973f02d6483456eb9190203168ae8425b5c17d","after":"08ff97f7c35f61523ea0119a84bc3d8021e46378","ref":"refs/heads/schillic/discretization","pushedAt":"2024-06-16T05:53:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"revise discretization module","shortMessageHtmlLink":"revise discretization module"}},{"before":"bc837a9f4d5a6116a8b2165f946a0823a4583556","after":"89973f02d6483456eb9190203168ae8425b5c17d","ref":"refs/heads/schillic/discretization","pushedAt":"2024-06-16T04:54:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"revise discretization module","shortMessageHtmlLink":"revise discretization module"}},{"before":null,"after":"bc837a9f4d5a6116a8b2165f946a0823a4583556","ref":"refs/heads/schillic/discretization","pushedAt":"2024-06-15T21:43:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"revise discretization module","shortMessageHtmlLink":"revise discretization module"}},{"before":"61d2835546e4f617ef1803be89be166d6df4b7cf","after":"4fe8ef77a699307f33a7fa9359b0860dd93dc6b5","ref":"refs/heads/gh-pages","pushedAt":"2024-06-15T06:34:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 3053039","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/30530392566c8a5e909a8b42fafc6484cb85a8b5/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/30530392566c8a5e909a8b42fafc6484cb85a8b5\"><tt>3053039</tt></a>"}},{"before":"f4db9cb34680fcaeafe032a78e2f270c0d9b48d8","after":"7f12877d6f3bc8239e2a5563beb891f7f9e93d7d","ref":"refs/heads/schillic/in","pushedAt":"2024-06-15T06:20:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"resolve broken tests for ambiguities","shortMessageHtmlLink":"resolve broken tests for ambiguities"}},{"before":"9c38bf8f458b589493a55ce45e6918c79c3957c9","after":"61d2835546e4f617ef1803be89be166d6df4b7cf","ref":"refs/heads/gh-pages","pushedAt":"2024-06-14T18:29:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 8fd25ec","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/8fd25ec48d7d0d65e069657acc8c50c310cb33d2/hovercard\" href=\"https://github.com/JuliaReach/ReachabilityAnalysis.jl/commit/8fd25ec48d7d0d65e069657acc8c50c310cb33d2\"><tt>8fd25ec</tt></a>"}},{"before":"70a95340ff128ecfa4d7fa1ce60319393252f8c2","after":"f4db9cb34680fcaeafe032a78e2f270c0d9b48d8","ref":"refs/heads/schillic/in","pushedAt":"2024-06-14T18:07:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"resolve broken tests for ambiguities","shortMessageHtmlLink":"resolve broken tests for ambiguities"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcT8Q3AA","startCursor":null,"endCursor":null}},"title":"Activity · JuliaReach/ReachabilityAnalysis.jl"}