{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":428626626,"defaultBranch":"main","name":"isla","ownerLogin":"rindPHI","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-16T11:22:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/448160?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705074635.0","currentOid":""},"activityList":{"items":[{"before":"0ff1628ae72f47bf0bef1c2c07d23714caeae102","after":"48a05b4068a276238196809bc6ba12a631dc8e58","ref":"refs/heads/RepairSolver","pushedAt":"2024-04-15T14:00:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"-","shortMessageHtmlLink":"-"}},{"before":"b117121c77ed311c1eb66fb0d1dfae5d60acc0b0","after":"0ff1628ae72f47bf0bef1c2c07d23714caeae102","ref":"refs/heads/RepairSolver","pushedAt":"2024-04-15T13:59:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"-","shortMessageHtmlLink":"-"}},{"before":"79b9cb2e54bc15cc4f5cd2badaf7bb5eb3286821","after":"b117121c77ed311c1eb66fb0d1dfae5d60acc0b0","ref":"refs/heads/RepairSolver","pushedAt":"2024-04-15T13:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Using ISLa solver in CLI (not yet supporting all features)","shortMessageHtmlLink":"Using ISLa solver in CLI (not yet supporting all features)"}},{"before":"0bc831f4891aa4677211cf937f44d8f8d0eaa2ad","after":"79b9cb2e54bc15cc4f5cd2badaf7bb5eb3286821","ref":"refs/heads/RepairSolver","pushedAt":"2024-03-21T14:34:24.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"grammar_to_regex upgrade","shortMessageHtmlLink":"grammar_to_regex upgrade"}},{"before":"4e3e41de38aefa1bc46c9bff3ca600b69c769f02","after":"0bc831f4891aa4677211cf937f44d8f8d0eaa2ad","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-14T14:34:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Added more-itertools requirement","shortMessageHtmlLink":"Added more-itertools requirement"}},{"before":"f2b96eca8eb7d9338983d1a17d5c5b618856354d","after":"4e3e41de38aefa1bc46c9bff3ca600b69c769f02","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-09T15:58:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Stricter equality checking for conjunctions and disjunctions (no normalization/splitting); deactivated a test; left TODO","shortMessageHtmlLink":"Stricter equality checking for conjunctions and disjunctions (no norm…"}},{"before":"7d5af39f11c153ca6cc4e761f988fe39d50c5fee","after":"f2b96eca8eb7d9338983d1a17d5c5b618856354d","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-09T15:48:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Left comments regarding too weak XML attr namespace constraint; made simplified XML grammar more general to achieve valid prefixes with higher probability","shortMessageHtmlLink":"Left comments regarding too weak XML attr namespace constraint; made …"}},{"before":"9823d9c765d3c1d0f62f9d6b55ac8f5dcd69d093","after":"7d5af39f11c153ca6cc4e761f988fe39d50c5fee","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-09T14:39:28.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Fix in optimized solving, documentation, refactoring","shortMessageHtmlLink":"Fix in optimized solving, documentation, refactoring"}},{"before":"d2edf2f3d93f3b72a39fe9fb9696e53ebe19f3c7","after":"9823d9c765d3c1d0f62f9d6b55ac8f5dcd69d093","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-02T16:27:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Blacked","shortMessageHtmlLink":"Blacked"}},{"before":"188ad3eaeff4812c79cad0e89ad8518e384604dc","after":"d2edf2f3d93f3b72a39fe9fb9696e53ebe19f3c7","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-02T16:08:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Added typeguard requirement, upgraded Z3 version","shortMessageHtmlLink":"Added typeguard requirement, upgraded Z3 version"}},{"before":"3f0400e88e0c71e13dfc9cba9d67e54fa01843f9","after":"188ad3eaeff4812c79cad0e89ad8518e384604dc","ref":"refs/heads/RepairSolver","pushedAt":"2024-02-02T15:49:17.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Made old ISLaSolver work again (mostly Z3 compatibility), flake8 & black","shortMessageHtmlLink":"Made old ISLaSolver work again (mostly Z3 compatibility), flake8 &amp; black"}},{"before":"21372843fa8069412986dc6448cdfdb62d3d7f9d","after":"3f0400e88e0c71e13dfc9cba9d67e54fa01843f9","ref":"refs/heads/RepairSolver","pushedAt":"2024-01-17T13:55:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Cleanup/refactoring, fixed recursion anchor of repair function","shortMessageHtmlLink":"Cleanup/refactoring, fixed recursion anchor of repair function"}},{"before":"916aed79c5676c6d61e60f0651f6445f8da48913","after":"21372843fa8069412986dc6448cdfdb62d3d7f9d","ref":"refs/heads/RepairSolver","pushedAt":"2024-01-15T16:36:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Solved a small problem leading to XML balance not being solvable; eliminated ISLaSolver deps; added tests","shortMessageHtmlLink":"Solved a small problem leading to XML balance not being solvable; eli…"}},{"before":"252254ab4085e025128ddf3682c9412b9280f5bb","after":"916aed79c5676c6d61e60f0651f6445f8da48913","ref":"refs/heads/RepairSolver","pushedAt":"2024-01-12T16:03:47.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Merge branch 'main' into RepairSolver","shortMessageHtmlLink":"Merge branch 'main' into RepairSolver"}},{"before":null,"after":"252254ab4085e025128ddf3682c9412b9280f5bb","ref":"refs/heads/RepairSolver","pushedAt":"2024-01-12T15:50:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"First early version of RepairSolver","shortMessageHtmlLink":"First early version of RepairSolver"}},{"before":"0be5292a9a39e7d6da86be82c52c1ac46d887b7e","after":"3de029959592dafee12eb266e8da8cc42b809f9f","ref":"refs/heads/main","pushedAt":"2024-01-12T11:06:39.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Merge pull request #89 from rindPHI/dev\n\ndev","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2072357461\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rindPHI/isla/issues/89\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rindPHI/isla/pull/89/hovercard\" href=\"https://github.com/rindPHI/isla/pull/89\">#89</a> from rindPHI/dev"}},{"before":"962596bc1eb423fb29b8abc112180eed6cb3abec","after":"6d73a71bf7fd76204196a4a5e5d5db7a793327e9","ref":"refs/heads/dev","pushedAt":"2024-01-12T11:05:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dev","shortMessageHtmlLink":"Merge branch 'main' into dev"}},{"before":"7730b2b1c350a7c3aa239a44003bbe3a69786a7f","after":"962596bc1eb423fb29b8abc112180eed6cb3abec","ref":"refs/heads/dev","pushedAt":"2024-01-12T11:05:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"blacked","shortMessageHtmlLink":"blacked"}},{"before":"15215ad119252044ca4c6a788067fb8d202ae496","after":"7730b2b1c350a7c3aa239a44003bbe3a69786a7f","ref":"refs/heads/dev","pushedAt":"2024-01-12T10:21:28.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"v1.14.4","shortMessageHtmlLink":"v1.14.4"}},{"before":"41bd190fb1e734dfa036842d07477175bfbc3e31","after":"15215ad119252044ca4c6a788067fb8d202ae496","ref":"refs/heads/dev","pushedAt":"2024-01-09T14:04:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Fully switched to pyproject.toml layout","shortMessageHtmlLink":"Fully switched to pyproject.toml layout"}},{"before":"c172885b19fb2fd9598cfd387b076725382cfde3","after":"41bd190fb1e734dfa036842d07477175bfbc3e31","ref":"refs/heads/dev","pushedAt":"2024-01-09T13:48:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Fix in pyproject.toml; moved setup.py features to pyproject.toml","shortMessageHtmlLink":"Fix in pyproject.toml; moved setup.py features to pyproject.toml"}},{"before":"712f2933540d5343ad3be728d94e0f6f1287d980","after":"c172885b19fb2fd9598cfd387b076725382cfde3","ref":"refs/heads/dev","pushedAt":"2024-01-09T13:20:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"flake8","shortMessageHtmlLink":"flake8"}},{"before":"4bd77663c492605a9a7bb72ae5433f19930653cc","after":"712f2933540d5343ad3be728d94e0f6f1287d980","ref":"refs/heads/dev","pushedAt":"2024-01-09T13:18:08.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Version inc -> 1.14.3","shortMessageHtmlLink":"Version inc -&gt; 1.14.3"}},{"before":"724b2b929b272a388779506d9b20ec56e8cfdd78","after":"ce1f3004b03cc3bc4f2e8b784968ec501257d108","ref":"refs/heads/NeoDTreeIntegration","pushedAt":"2024-01-09T09:50:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Intermediate commit","shortMessageHtmlLink":"Intermediate commit"}},{"before":"7e367245a3fbdac86727b8fbea6b47492844a838","after":"724b2b929b272a388779506d9b20ec56e8cfdd78","ref":"refs/heads/NeoDTreeIntegration","pushedAt":"2023-11-17T14:55:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Ongoing work in language.py","shortMessageHtmlLink":"Ongoing work in language.py"}},{"before":"7d6e2a6a8b2b69f0d778b86f15ebf8c9ab915c44","after":"7e367245a3fbdac86727b8fbea6b47492844a838","ref":"refs/heads/NeoDTreeIntegration","pushedAt":"2023-11-16T16:49:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Doc","shortMessageHtmlLink":"Doc"}},{"before":null,"after":"7d6e2a6a8b2b69f0d778b86f15ebf8c9ab915c44","ref":"refs/heads/NeoDTreeIntegration","pushedAt":"2023-11-01T16:37:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Ongoing development","shortMessageHtmlLink":"Ongoing development"}},{"before":"2c0157ed9fe95b585a6c77088e1bd326e995ba05","after":"0be5292a9a39e7d6da86be82c52c1ac46d887b7e","ref":"refs/heads/main","pushedAt":"2023-11-01T15:09:36.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Merge pull request #88 from rindPHI/dev\n\ndev: Improved inference of numeric intervals, fixed bug in evaluation of concrete additions & multiplications.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1972227169\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rindPHI/isla/issues/88\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rindPHI/isla/pull/88/hovercard\" href=\"https://github.com/rindPHI/isla/pull/88\">#88</a> from rindPHI/dev"}},{"before":"3153f0028071e1f40689f49336529a12afba358b","after":"4bd77663c492605a9a7bb72ae5433f19930653cc","ref":"refs/heads/dev","pushedAt":"2023-11-01T14:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Bug fix","shortMessageHtmlLink":"Bug fix"}},{"before":"b2d0bd5e9f5ddf43c818101b032f94350c1ffc17","after":"3153f0028071e1f40689f49336529a12afba358b","ref":"refs/heads/dev","pushedAt":"2023-11-01T13:27:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rindPHI","name":"Dominic Steinhöfel","path":"/rindPHI","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/448160?s=80&v=4"},"commit":{"message":"Bug fix","shortMessageHtmlLink":"Bug fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEMP_DiwA","startCursor":null,"endCursor":null}},"title":"Activity · rindPHI/isla"}