{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":458453074,"defaultBranch":"main","name":"expr","ownerLogin":"sillydan1","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-02-12T07:33:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4085393?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720538517.0","currentOid":""},"activityList":{"items":[{"before":"31877def74bdd60aafc49ecf46c8f413e4b4db87","after":"b46ad681cb623ab114c8da637c68d40fbf856ebd","ref":"refs/heads/main","pushedAt":"2024-07-09T15:21:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"chore: update yalibs dependencies","shortMessageHtmlLink":"chore: update yalibs dependencies"}},{"before":"7df4f9bcda73ef67943b453432e28bde9d0d9893","after":"31877def74bdd60aafc49ecf46c8f413e4b4db87","ref":"refs/heads/main","pushedAt":"2024-07-09T15:21:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"chore: update yalibs dependencies","shortMessageHtmlLink":"chore: update yalibs dependencies"}},{"before":"8d27e99123036c714f4952c377d56fd69f1ca245","after":"7df4f9bcda73ef67943b453432e28bde9d0d9893","ref":"refs/heads/dev","pushedAt":"2024-07-09T15:20:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Revert \"fix: use left recursion for statements\"\n\nThis breaks assignments.\n\nThis reverts commit 8d27e99123036c714f4952c377d56fd69f1ca245.","shortMessageHtmlLink":"Revert \"fix: use left recursion for statements\""}},{"before":"3cc1ca0013b457237c8b609fc6b675fd4ec0870f","after":null,"ref":"refs/tags/v3.0.5","pushedAt":"2024-07-07T10:22:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}},{"before":"3cc1ca0013b457237c8b609fc6b675fd4ec0870f","after":"7df4f9bcda73ef67943b453432e28bde9d0d9893","ref":"refs/heads/main","pushedAt":"2024-07-07T10:22:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Revert \"fix: use left recursion for statements\"\n\nThis breaks assignments.\n\nThis reverts commit 8d27e99123036c714f4952c377d56fd69f1ca245.","shortMessageHtmlLink":"Revert \"fix: use left recursion for statements\""}},{"before":"4b5c4f965b073f4cd2d5e2adef96bc2a46e939d6","after":null,"ref":"refs/tags/v3.0.5","pushedAt":"2024-07-07T10:09:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}},{"before":"4b5c4f965b073f4cd2d5e2adef96bc2a46e939d6","after":"3cc1ca0013b457237c8b609fc6b675fd4ec0870f","ref":"refs/heads/main","pushedAt":"2024-07-07T10:09:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #20 from sillydan1/dev\n\nRelease v3.0.5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393975308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/20/hovercard\" href=\"https://github.com/sillydan1/expr/pull/20\">#20</a> from sillydan1/dev"}},{"before":"8f2e0a4a7b096946a407279130af6c13f79acea0","after":null,"ref":"refs/tags/v3.0.5","pushedAt":"2024-07-07T09:46:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}},{"before":"8f2e0a4a7b096946a407279130af6c13f79acea0","after":"4b5c4f965b073f4cd2d5e2adef96bc2a46e939d6","ref":"refs/heads/main","pushedAt":"2024-07-07T09:46:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #20 from sillydan1/dev\n\nRelease v3.0.5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393975308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/20/hovercard\" href=\"https://github.com/sillydan1/expr/pull/20\">#20</a> from sillydan1/dev"}},{"before":"b30fc879353565a79733fee43bd82d17bd51910a","after":"8f2e0a4a7b096946a407279130af6c13f79acea0","ref":"refs/heads/main","pushedAt":"2024-07-07T09:45:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #20 from sillydan1/dev\n\nRelease v3.0.5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393975308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/20/hovercard\" href=\"https://github.com/sillydan1/expr/pull/20\">#20</a> from sillydan1/dev"}},{"before":"07be55cd3cb9161b766e03c92c29753ab3e44b27","after":"b30fc879353565a79733fee43bd82d17bd51910a","ref":"refs/heads/main","pushedAt":"2024-07-07T09:44:57.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #20 from sillydan1/dev\n\nRelease v3.0.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393975308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/20/hovercard\" href=\"https://github.com/sillydan1/expr/pull/20\">#20</a> from sillydan1/dev"}},{"before":"ad86a0daefc773d8fe5bf71deadd67321035b027","after":"8d27e99123036c714f4952c377d56fd69f1ca245","ref":"refs/heads/dev","pushedAt":"2024-07-07T09:42:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: use left recursion for statements\n\nPlease see\nhttps://github.com/sillydan1/expr/issues/12#issuecomment-1721109290","shortMessageHtmlLink":"fix: use left recursion for statements"}},{"before":"555682a539cf982e08ca2544b032387e566a5c1a","after":"ad86a0daefc773d8fe5bf71deadd67321035b027","ref":"refs/heads/dev","pushedAt":"2024-07-07T09:39:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: use the system z3 if available\n\nalso upgrade the auto-downloaded version","shortMessageHtmlLink":"fix: use the system z3 if available"}},{"before":"331fb0b851fd34aca4722b5289016b642764e795","after":null,"ref":"refs/tags/v3.0.4","pushedAt":"2024-06-10T16:14:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}},{"before":"331fb0b851fd34aca4722b5289016b642764e795","after":"07be55cd3cb9161b766e03c92c29753ab3e44b27","ref":"refs/heads/main","pushedAt":"2024-06-10T16:14:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #19 from sillydan1/dev\n\nrelease v3.0.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2344266047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/19/hovercard\" href=\"https://github.com/sillydan1/expr/pull/19\">#19</a> from sillydan1/dev"}},{"before":"64e4e37aac0523b7c054248c4e70b39678f85336","after":"331fb0b851fd34aca4722b5289016b642764e795","ref":"refs/heads/main","pushedAt":"2024-06-10T15:50:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #19 from sillydan1/dev\n\nrelease v3.0.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2344266047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/19/hovercard\" href=\"https://github.com/sillydan1/expr/pull/19\">#19</a> from sillydan1/dev"}},{"before":"01a55449b00dd7f832304d6993a20c7b20b65aed","after":"555682a539cf982e08ca2544b032387e566a5c1a","ref":"refs/heads/dev","pushedAt":"2024-06-10T15:49:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: missing algorithm include\n\nI guess the stl got updates :shrug:","shortMessageHtmlLink":"fix: missing algorithm include"}},{"before":"901757740f58e6b32c46071f2aef9d5e4ff8dc84","after":"64e4e37aac0523b7c054248c4e70b39678f85336","ref":"refs/heads/main","pushedAt":"2024-04-23T17:16:57.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"Merge pull request #18 from sillydan1/dev\n\nRelease v3.0.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259375781\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sillydan1/expr/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sillydan1/expr/pull/18/hovercard\" href=\"https://github.com/sillydan1/expr/pull/18\">#18</a> from sillydan1/dev"}},{"before":"99b1a756dfc7e713a3c10090031086cc0569e258","after":"01a55449b00dd7f832304d6993a20c7b20b65aed","ref":"refs/heads/dev","pushedAt":"2023-09-18T20:02:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"core: update versions\n\nz3 patch update\nCPM patch update","shortMessageHtmlLink":"core: update versions"}},{"before":"94fd160bf5ac5df484653a339ef88036d92437a5","after":"99b1a756dfc7e713a3c10090031086cc0569e258","ref":"refs/heads/dev","pushedAt":"2023-05-24T17:59:33.940Z","pushType":"push","commitsCount":2,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"chore: update version","shortMessageHtmlLink":"chore: update version"}},{"before":"901757740f58e6b32c46071f2aef9d5e4ff8dc84","after":"94fd160bf5ac5df484653a339ef88036d92437a5","ref":"refs/heads/dev","pushedAt":"2023-04-28T20:38:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"chore: bump z3 version to z3-4.12.1 and expr version to v3.0.1","shortMessageHtmlLink":"chore: bump z3 version to z3-4.12.1 and expr version to v3.0.1"}},{"before":"275f55c0ae2135ce86a7b20a3943fca78254479a","after":"901757740f58e6b32c46071f2aef9d5e4ff8dc84","ref":"refs/heads/dev","pushedAt":"2023-03-23T17:12:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: solve todos","shortMessageHtmlLink":"fix: solve todos"}},{"before":"7663c0409b15368b8b976ff0e7aba20c5132eefa","after":"901757740f58e6b32c46071f2aef9d5e4ff8dc84","ref":"refs/heads/main","pushedAt":"2023-03-20T18:18:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: solve todos","shortMessageHtmlLink":"fix: solve todos"}},{"before":"d3e27593adab8a4c35c737ab725d20dae2769eea","after":"7663c0409b15368b8b976ff0e7aba20c5132eefa","ref":"refs/heads/main","pushedAt":"2023-03-20T18:13:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: solve todos","shortMessageHtmlLink":"fix: solve todos"}},{"before":"2c954546fceb354d31ef9515392693de9813b2a4","after":"d3e27593adab8a4c35c737ab725d20dae2769eea","ref":"refs/heads/main","pushedAt":"2023-03-20T17:57:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: solve todos","shortMessageHtmlLink":"fix: solve todos"}},{"before":null,"after":"275f55c0ae2135ce86a7b20a3943fca78254479a","ref":"refs/heads/dev","pushedAt":"2023-03-20T17:56:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: github ci's osx image is x86_64, not x64...","shortMessageHtmlLink":"fix: github ci's osx image is x86_64, not x64..."}},{"before":"d3e27593adab8a4c35c737ab725d20dae2769eea","after":"2c954546fceb354d31ef9515392693de9813b2a4","ref":"refs/heads/main","pushedAt":"2023-03-20T17:56:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: github ci's osx image is x86_64, not x64...","shortMessageHtmlLink":"fix: github ci's osx image is x86_64, not x64..."}},{"before":"4e80daa344957c891862ba43921be18721d11f79","after":null,"ref":"refs/tags/latest","pushedAt":"2023-03-19T08:38:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}},{"before":"4e80daa344957c891862ba43921be18721d11f79","after":"d3e27593adab8a4c35c737ab725d20dae2769eea","ref":"refs/heads/main","pushedAt":"2023-03-19T08:36:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"},"commit":{"message":"fix: solve todos","shortMessageHtmlLink":"fix: solve todos"}},{"before":"4e80daa344957c891862ba43921be18721d11f79","after":null,"ref":"refs/tags/v3.0.0","pushedAt":"2023-03-19T07:15:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sillydan1","name":"Asger Gitz-Johansen","path":"/sillydan1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4085393?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEetPpPQA","startCursor":null,"endCursor":null}},"title":"Activity · sillydan1/expr"}