{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":280927821,"defaultBranch":"master","name":"mathy_core","ownerLogin":"mathy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-19T18:38:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/68291633?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707174116.0","currentOid":""},"activityList":{"items":[{"before":"40a2d887b11908a59516d9372f38070356a18d32","after":"6ffb752957dc481c279a39c7c41f66cc1fcc7dbf","ref":"refs/heads/master","pushedAt":"2024-02-06T00:44:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore(release): 0.9.4\n\n## [0.9.4](https://github.com/mathy/mathy_core/compare/v0.9.3...v0.9.4) (2024-02-06)\n\n### Features\n\n* **rules:** add MultiplicativeInverse rule ([#19](https://github.com/mathy/mathy_core/issues/19)) ([40a2d88](https://github.com/mathy/mathy_core/commit/40a2d887b11908a59516d9372f38070356a18d32))","shortMessageHtmlLink":"chore(release): 0.9.4"}},{"before":"3743b4f55321215210db74f692567f6c59fa0e80","after":null,"ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-06T00:43:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"}},{"before":"ce56d371a870bab916aee6aa4915037597e22e84","after":"40a2d887b11908a59516d9372f38070356a18d32","ref":"refs/heads/master","pushedAt":"2024-02-06T00:43:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"feat(rules): add MultiplicativeInverse rule (#19)\n\n* feat(rules): add MultiplicativeInverse rule\r\n\r\n - for converting division into multiplication with the reciprocal, unlocking distributive property, commutative, etc. \r\n- `a / b = a * (1 / b)`","shortMessageHtmlLink":"feat(rules): add MultiplicativeInverse rule (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2119631928\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mathy/mathy_core/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mathy/mathy_core/pull/19/hovercard\" href=\"https://github.com/mathy/mathy_core/pull/19\">#19</a>)"}},{"before":"3fa8012d26096df8080e29c77550496c2f881c52","after":"3743b4f55321215210db74f692567f6c59fa0e80","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-06T00:22:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"docs: fix variable multiply markdown name\n\n - oops, the md was being ignored multiply vs multiplication. naming is hard. consistency is also hard.","shortMessageHtmlLink":"docs: fix variable multiply markdown name"}},{"before":"9663bbae0de80297b7a8bb7b27f355e97343ffc0","after":"3fa8012d26096df8080e29c77550496c2f881c52","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-06T00:17:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"docs(rules): better multiplicative inverse docs","shortMessageHtmlLink":"docs(rules): better multiplicative inverse docs"}},{"before":"d328c5a7a7b2a00e03db6e5cead10811fd732590","after":"9663bbae0de80297b7a8bb7b27f355e97343ffc0","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:58:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore(ci): update docs script to use venv and latest mathy_core","shortMessageHtmlLink":"chore(ci): update docs script to use venv and latest mathy_core"}},{"before":"d194eb9c64564d4d34da0094369b3f5e7c06a613","after":"d328c5a7a7b2a00e03db6e5cead10811fd732590","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:38:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"test(rules): add name/code to generic rule testing harness","shortMessageHtmlLink":"test(rules): add name/code to generic rule testing harness"}},{"before":"e49a44862e10d1b472214ecb857075fa69718195","after":"d194eb9c64564d4d34da0094369b3f5e7c06a613","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:28:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: update black version","shortMessageHtmlLink":"chore: update black version"}},{"before":"ecd8232c003e4d9d144daa5afd4bb0ea75fb589d","after":"e49a44862e10d1b472214ecb857075fa69718195","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:26:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: more cleanup from review","shortMessageHtmlLink":"chore: more cleanup from review"}},{"before":"f1b5bc2010aa4186ef8d47b650576318f2058af3","after":"ecd8232c003e4d9d144daa5afd4bb0ea75fb589d","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:20:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: fix lint from inadequate typing","shortMessageHtmlLink":"chore: fix lint from inadequate typing"}},{"before":"06f334164cc80cdd71defbe5e932873f5e9fb327","after":"f1b5bc2010aa4186ef8d47b650576318f2058af3","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:14:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: cleanup from review","shortMessageHtmlLink":"chore: cleanup from review"}},{"before":null,"after":"06f334164cc80cdd71defbe5e932873f5e9fb327","ref":"refs/heads/feat/multiplicative_inverse","pushedAt":"2024-02-05T23:01:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"feat(rules): add MultiplicativeInverse rule\n\n - for handling / in expressions","shortMessageHtmlLink":"feat(rules): add MultiplicativeInverse rule"}},{"before":"7dd1865f47953e9db605461ae1f86cf20bf744b4","after":"ce56d371a870bab916aee6aa4915037597e22e84","ref":"refs/heads/master","pushedAt":"2024-01-17T23:43:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: update copyright years","shortMessageHtmlLink":"chore: update copyright years"}},{"before":"d295661aaf852a4da46a743e5dd2bf2dfce64172","after":"7dd1865f47953e9db605461ae1f86cf20bf744b4","ref":"refs/heads/master","pushedAt":"2024-01-17T23:40:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: fix social card color","shortMessageHtmlLink":"chore: fix social card color"}},{"before":"6ea0b661c5076915d00b52d983855ccef308b8fd","after":"d295661aaf852a4da46a743e5dd2bf2dfce64172","ref":"refs/heads/master","pushedAt":"2024-01-17T19:09:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: add dark mode option to website [skip ci]","shortMessageHtmlLink":"chore: add dark mode option to website [skip ci]"}},{"before":"71467c29c5555aabaeecfce4662592e91166bcc2","after":"6ea0b661c5076915d00b52d983855ccef308b8fd","ref":"refs/heads/master","pushedAt":"2024-01-15T18:14:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"chore(release): 0.9.3\n\n## [0.9.3](https://github.com/mathy/mathy_core/compare/v0.9.2...v0.9.3) (2024-01-15)\n\n### Bug Fixes\n\n* **rule:** RestateSubtraction failed to produce simple forms ([#18](https://github.com/mathy/mathy_core/issues/18)) ([71467c2](https://github.com/mathy/mathy_core/commit/71467c29c5555aabaeecfce4662592e91166bcc2))","shortMessageHtmlLink":"chore(release): 0.9.3"}},{"before":"934ed93ff19ed130c189e4ddcd82144223d9e5f4","after":null,"ref":"refs/heads/fix/restate-subtraction","pushedAt":"2024-01-15T18:12:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"}},{"before":"52093d9ae2caad700551adc8c710fa640bd78ffa","after":"71467c29c5555aabaeecfce4662592e91166bcc2","ref":"refs/heads/master","pushedAt":"2024-01-15T18:12:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"fix(rule): RestateSubtraction failed to produce simple forms (#18)\n\n* fix(rule): RestateSubtraction failed to produce simple forms\r\n\r\n - in the case of \"4x - 3x\" the output would add a NegateExpression around the 3x term, yielding `Negate(Multiply(Constant,Variable))` instead of Multiply(Constant(Variable))` with a negated constant value\r\n - distributive factor out requires this form to be applied, not handling the negation of a term node. I believe the correct fix is a simpler output from the new RestateSubtraction rule rather than more corner cases being added to DFO.","shortMessageHtmlLink":"fix(rule): RestateSubtraction failed to produce simple forms (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2082491372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mathy/mathy_core/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mathy/mathy_core/pull/18/hovercard\" href=\"https://github.com/mathy/mathy_core/pull/18\">#18</a>)"}},{"before":"55a1226c479b9aa6fc36b2beb2db01cc202c116d","after":"934ed93ff19ed130c189e4ddcd82144223d9e5f4","ref":"refs/heads/fix/restate-subtraction","pushedAt":"2024-01-15T18:10:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: cleanup lint","shortMessageHtmlLink":"chore: cleanup lint"}},{"before":null,"after":"55a1226c479b9aa6fc36b2beb2db01cc202c116d","ref":"refs/heads/fix/restate-subtraction","pushedAt":"2024-01-15T18:03:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: misc cleanup","shortMessageHtmlLink":"chore: misc cleanup"}},{"before":"665f9d56403c4b5816b07b795f652f6253e82dd4","after":"52093d9ae2caad700551adc8c710fa640bd78ffa","ref":"refs/heads/master","pushedAt":"2023-12-19T03:36:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore(docs): auto expand rules api","shortMessageHtmlLink":"chore(docs): auto expand rules api"}},{"before":"5f81ef94e033696f85eccbdb8fb3621b2c3dffbf","after":"665f9d56403c4b5816b07b795f652f6253e82dd4","ref":"refs/heads/master","pushedAt":"2023-12-18T23:41:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: update codecov thresholds\n\n - 5% change is okay for failing a build. I'm tired of builds failing because there's randomness in our test suite that sometimes misses a line or two. At 5% we'll still know if we accidentally break tests or something.","shortMessageHtmlLink":"chore: update codecov thresholds"}},{"before":"c2ba6eebcedbb60e468a1d4934870f6ab1ed2f4d","after":null,"ref":"refs/heads/feat/all-contributors","pushedAt":"2023-12-16T17:01:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"}},{"before":"ad57aeedbb6696aa00888c50f5a8ed3d201a9315","after":"5f81ef94e033696f85eccbdb8fb3621b2c3dffbf","ref":"refs/heads/master","pushedAt":"2023-12-16T06:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: prettify the navigation and fix some typos\n\n - title up the API and give it a nav section so it's clear where docs end and the API begins\n - modify docs.py accordingly","shortMessageHtmlLink":"chore: prettify the navigation and fix some typos"}},{"before":"fe51015d5f477cb65924107c3b24f03a5406b2c2","after":"ad57aeedbb6696aa00888c50f5a8ed3d201a9315","ref":"refs/heads/master","pushedAt":"2023-12-16T02:22:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: drop API from readme\n\nthe website covers it and has a table of contents, deep links, etc.","shortMessageHtmlLink":"chore: drop API from readme"}},{"before":"e8eff9a9a52436a44f21ad7040826c355f5aeb1a","after":"fe51015d5f477cb65924107c3b24f03a5406b2c2","ref":"refs/heads/master","pushedAt":"2023-12-15T23:17:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"docs: add footer nav tooltips and view/edit links\n\n - also better api docs formatting","shortMessageHtmlLink":"docs: add footer nav tooltips and view/edit links"}},{"before":"05f58437a4bb9e3a037f4914fc5152a967f8cb16","after":"e8eff9a9a52436a44f21ad7040826c355f5aeb1a","ref":"refs/heads/master","pushedAt":"2023-12-15T21:16:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"Merge pull request #17 from mathy/feat/all-contributors\n\ndocs: add contributors to website home","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2044378329\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mathy/mathy_core/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mathy/mathy_core/pull/17/hovercard\" href=\"https://github.com/mathy/mathy_core/pull/17\">#17</a> from mathy/feat/all-contributors"}},{"before":null,"after":"c2ba6eebcedbb60e468a1d4934870f6ab1ed2f4d","ref":"refs/heads/feat/all-contributors","pushedAt":"2023-12-15T21:13:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"docs: add contributors to website home","shortMessageHtmlLink":"docs: add contributors to website home"}},{"before":"181b95364e2645cf9755ca8d30973cead6c08102","after":"05f58437a4bb9e3a037f4914fc5152a967f8cb16","ref":"refs/heads/master","pushedAt":"2023-12-15T20:45:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"chore: fix toc in release page","shortMessageHtmlLink":"chore: fix toc in release page"}},{"before":"673e70bf5db7f70b558cd01a31a4ca6c7faa4fa5","after":"181b95364e2645cf9755ca8d30973cead6c08102","ref":"refs/heads/master","pushedAt":"2023-12-15T20:43:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justindujardin","name":"Justin DuJardin","path":"/justindujardin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101493?s=80&v=4"},"commit":{"message":"docs(changelog): update changelog from github releases\n\n - the file was empty because I never hooked it up in the past :sweat:","shortMessageHtmlLink":"docs(changelog): update changelog from github releases"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8tZCIwA","startCursor":null,"endCursor":null}},"title":"Activity · mathy/mathy_core"}