{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":533962098,"defaultBranch":"main","name":"mlir-fuzz","ownerLogin":"opencompl","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-07T22:24:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/76971994?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726413424.0","currentOid":""},"activityList":{"items":[{"before":"efacb1c6a2ddbbe210ddd950eb5d3e4dc9b84426","after":null,"ref":"refs/heads/comm","pushedAt":"2024-09-15T15:17:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"}},{"before":"80097f1e46bf202a87523c72e74dcbcfb20999ac","after":"4b358fd8620123b863cc6c9947863a06847c5fb7","ref":"refs/heads/main","pushedAt":"2024-09-15T14:57:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add commutativity optimization support for generation (#8)\n\n* find operations with satisfied type with filter added\r\n\r\n* comm implemented\r\n\r\n* test file for commutativity added\r\n\r\n* commutativity optimization\r\n\r\n* commutativity test added","shortMessageHtmlLink":"Add commutativity optimization support for generation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2500437280\" data-permission-text=\"Title is private\" data-url=\"https://github.com/opencompl/mlir-fuzz/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/opencompl/mlir-fuzz/pull/8/hovercard\" href=\"https://github.com/opencompl/mlir-fuzz/pull/8\">#8</a>)"}},{"before":"51dae905e05bf423c8d091ac5d4d4c1c1f4543ba","after":"efacb1c6a2ddbbe210ddd950eb5d3e4dc9b84426","ref":"refs/heads/comm","pushedAt":"2024-09-02T02:58:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"commutativity test added","shortMessageHtmlLink":"commutativity test added"}},{"before":null,"after":"16445d6b472024e946f3b43797b23153b71262c7","ref":"refs/heads/comm-fix","pushedAt":"2024-07-15T16:33:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"arith test files added","shortMessageHtmlLink":"arith test files added"}},{"before":"ec14ce6f23daa84056cab81a10d8cbc2c4bf2b38","after":"51dae905e05bf423c8d091ac5d4d4c1c1f4543ba","ref":"refs/heads/comm","pushedAt":"2024-05-14T08:03:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"test file for commutativity added","shortMessageHtmlLink":"test file for commutativity added"}},{"before":null,"after":"ec14ce6f23daa84056cab81a10d8cbc2c4bf2b38","ref":"refs/heads/comm","pushedAt":"2024-05-06T02:38:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"filter function when add rooted operation added","shortMessageHtmlLink":"filter function when add rooted operation added"}},{"before":"6884a00e653f2e416fb0eddc678b5c89b8b4d5e8","after":"80097f1e46bf202a87523c72e74dcbcfb20999ac","ref":"refs/heads/main","pushedAt":"2024-05-06T01:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"add random seed argument from outside","shortMessageHtmlLink":"add random seed argument from outside"}},{"before":"9cfb31820fae6919a5c49e8b9303aa5d7533260d","after":"6884a00e653f2e416fb0eddc678b5c89b8b4d5e8","ref":"refs/heads/main","pushedAt":"2024-05-05T23:26:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"Add the `--no-constant` option","shortMessageHtmlLink":"Add the <code>--no-constant</code> option"}},{"before":"39725be2cddf8e820e49e29e6edb1db39d397925","after":null,"ref":"refs/heads/seed","pushedAt":"2024-05-05T23:12:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"}},{"before":"c0dfc3455b0553956d8e0f0f7aa89bde37fdc09a","after":"9cfb31820fae6919a5c49e8b9303aa5d7533260d","ref":"refs/heads/main","pushedAt":"2024-05-05T23:12:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"Merge pull request #7 from opencompl/seed\n\ninit random seed at first","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2279783116\" data-permission-text=\"Title is private\" data-url=\"https://github.com/opencompl/mlir-fuzz/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/opencompl/mlir-fuzz/pull/7/hovercard\" href=\"https://github.com/opencompl/mlir-fuzz/pull/7\">#7</a> from opencompl/seed"}},{"before":null,"after":"39725be2cddf8e820e49e29e6edb1db39d397925","ref":"refs/heads/seed","pushedAt":"2024-05-05T22:56:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"init random seed at first","shortMessageHtmlLink":"init random seed at first"}},{"before":"d05e3bdd4b90166adbebe7cfbbbf84ab4116a27f","after":null,"ref":"refs/heads/seed","pushedAt":"2024-05-05T20:48:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"}},{"before":"6884a00e653f2e416fb0eddc678b5c89b8b4d5e8","after":"c0dfc3455b0553956d8e0f0f7aa89bde37fdc09a","ref":"refs/heads/main","pushedAt":"2024-05-05T20:48:49.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"Merge pull request #6 from opencompl/seed\n\nadd random seed to mlir-enumerator","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2279724640\" data-permission-text=\"Title is private\" data-url=\"https://github.com/opencompl/mlir-fuzz/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/opencompl/mlir-fuzz/pull/6/hovercard\" href=\"https://github.com/opencompl/mlir-fuzz/pull/6\">#6</a> from opencompl/seed"}},{"before":"6aeeb33a5857c532508f0981a397ac0051db73ba","after":"d05e3bdd4b90166adbebe7cfbbbf84ab4116a27f","ref":"refs/heads/seed","pushedAt":"2024-05-05T20:48:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":null,"after":"6aeeb33a5857c532508f0981a397ac0051db73ba","ref":"refs/heads/seed","pushedAt":"2024-05-05T20:47:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hatsunespica","name":"Spica","path":"/Hatsunespica","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16065863?s=80&v=4"},"commit":{"message":"add random seed","shortMessageHtmlLink":"add random seed"}},{"before":"fc1479a98f733de967be4d4dc587fafb9cf4605c","after":"6884a00e653f2e416fb0eddc678b5c89b8b4d5e8","ref":"refs/heads/main","pushedAt":"2024-04-30T14:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add the `--no-constant` option","shortMessageHtmlLink":"Add the <code>--no-constant</code> option"}},{"before":"a9a8c4bc2ab22afb23cf0bff0818a2ccc2d2e58c","after":"fc1479a98f733de967be4d4dc587fafb9cf4605c","ref":"refs/heads/main","pushedAt":"2024-04-30T13:51:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Improve mlir-enumerate","shortMessageHtmlLink":"Improve mlir-enumerate"}},{"before":"45304c93c410c19ffb15e09fa97ecbd4364ea840","after":"a9a8c4bc2ab22afb23cf0bff0818a2ccc2d2e58c","ref":"refs/heads/main","pushedAt":"2024-04-30T02:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Only generate program with less operations","shortMessageHtmlLink":"Only generate program with less operations"}},{"before":"61a770418c40cc8ef2c5739b7656df2a7c1e7d49","after":"45304c93c410c19ffb15e09fa97ecbd4364ea840","ref":"refs/heads/main","pushedAt":"2024-04-25T04:20:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Only optionally use the input operations","shortMessageHtmlLink":"Only optionally use the input operations"}},{"before":"e7b87b25b93700c4f6873189ee8791fbfb402452","after":"61a770418c40cc8ef2c5739b7656df2a7c1e7d49","ref":"refs/heads/main","pushedAt":"2024-04-25T04:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Fix bug in example","shortMessageHtmlLink":"Fix bug in example"}},{"before":"6b73aa532ecdccd2476de79d6af65ff920bc269c","after":"e7b87b25b93700c4f6873189ee8791fbfb402452","ref":"refs/heads/main","pushedAt":"2024-04-25T02:28:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Finish superoptimizer enumerator given an example","shortMessageHtmlLink":"Finish superoptimizer enumerator given an example"}},{"before":"e5d81e1e3d62d5b1a1c13a980154d8b11e138764","after":"6b73aa532ecdccd2476de79d6af65ff920bc269c","ref":"refs/heads/main","pushedAt":"2024-04-25T02:00:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Remove some old scripts","shortMessageHtmlLink":"Remove some old scripts"}},{"before":"007857db4ec4dcefb62a9f5034abd38719c8aefb","after":"e5d81e1e3d62d5b1a1c13a980154d8b11e138764","ref":"refs/heads/main","pushedAt":"2024-04-24T17:41:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Make the superoptimizer work","shortMessageHtmlLink":"Make the superoptimizer work"}},{"before":"5ad7f5712968be2e1c329257e1f5af2c1153caf6","after":"007857db4ec4dcefb62a9f5034abd38719c8aefb","ref":"refs/heads/main","pushedAt":"2024-04-24T17:12:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add base superoptimizer tool","shortMessageHtmlLink":"Add base superoptimizer tool"}},{"before":"e897e056e55689ab59d86f1495952ac298184132","after":"5ad7f5712968be2e1c329257e1f5af2c1153caf6","ref":"refs/heads/main","pushedAt":"2024-04-23T14:35:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Make `createIntegerValue` public","shortMessageHtmlLink":"Make <code>createIntegerValue</code> public"}},{"before":"b4f51be9e364ff598567c78ad24c4291acbd4102","after":"e897e056e55689ab59d86f1495952ac298184132","ref":"refs/heads/main","pushedAt":"2024-04-02T01:39:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Update LLVM version, and add new options","shortMessageHtmlLink":"Update LLVM version, and add new options"}},{"before":"f42324c998acc80665a9a15b156c1ff7265e72e6","after":"b4f51be9e364ff598567c78ad24c4291acbd4102","ref":"refs/heads/main","pushedAt":"2024-03-26T15:36:24.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add an option to set the number of operations to generate","shortMessageHtmlLink":"Add an option to set the number of operations to generate"}},{"before":"9a143ed63a8a0f89ab30aef1bec822508cccbf91","after":"f42324c998acc80665a9a15b156c1ff7265e72e6","ref":"refs/heads/main","pushedAt":"2024-03-21T17:03:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add option to print operations in the generic syntax","shortMessageHtmlLink":"Add option to print operations in the generic syntax"}},{"before":"7ab04fb39dd58890df2dae4ef7a3cdecf24231ed","after":"9a143ed63a8a0f89ab30aef1bec822508cccbf91","ref":"refs/heads/main","pushedAt":"2024-03-21T03:25:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Add separator","shortMessageHtmlLink":"Add separator"}},{"before":"fa2122f7d65adb9d287e89c8d8f56e0a83c46aab","after":"7ab04fb39dd58890df2dae4ef7a3cdecf24231ed","ref":"refs/heads/main","pushedAt":"2024-03-20T17:16:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"math-fehr","name":"Fehr Mathieu","path":"/math-fehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20801162?s=80&v=4"},"commit":{"message":"Stop the generation after enumerating all programs","shortMessageHtmlLink":"Stop the generation after enumerating all programs"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtr4HjAA","startCursor":null,"endCursor":null}},"title":"Activity · opencompl/mlir-fuzz"}