{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":756940423,"defaultBranch":"main","name":"stm-benchmark","ownerLogin":"nokia","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-13T15:50:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/341053?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709715219.0","currentOid":""},"activityList":{"items":[{"before":"8388c2ba5dc5ea1ffe52567456f88ae931da3d2d","after":"6632504de8d3d4db87e1e8a38f45a0101fc7465a","ref":"refs/heads/main","pushedAt":"2024-05-09T15:30:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Dependency updates: Scala 2.13.14, ZSTM 2.1.0, CHOAM 0.4-23f772a","shortMessageHtmlLink":"Dependency updates: Scala 2.13.14, ZSTM 2.1.0, CHOAM 0.4-23f772a"}},{"before":"e3fa7277ce438111e03108890c855ccb58a21e8b","after":"8388c2ba5dc5ea1ffe52567456f88ae931da3d2d","ref":"refs/heads/main","pushedAt":"2024-05-02T16:12:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Fix WrStm on Scala 2.13","shortMessageHtmlLink":"Fix WrStm on Scala 2.13"}},{"before":"ab8ce05f62b9c98edbbbd48b990f630f37004c48","after":"e3fa7277ce438111e03108890c855ccb58a21e8b","ref":"refs/heads/main","pushedAt":"2024-04-29T16:19:08.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Add WrStmSolver to benchmarks","shortMessageHtmlLink":"Add WrStmSolver to benchmarks"}},{"before":"e9eaa878e5dd88a2ac3adfbcb47ffacb01c8c8ab","after":"ab8ce05f62b9c98edbbbd48b990f630f37004c48","ref":"refs/heads/main","pushedAt":"2024-04-25T16:01:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Dependency updates","shortMessageHtmlLink":"Dependency updates"}},{"before":"459b846a013bd3f01db403bc05c84f6921a492a6","after":"e9eaa878e5dd88a2ac3adfbcb47ffacb01c8c8ab","ref":"refs/heads/main","pushedAt":"2024-04-22T15:48:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Dependency updates","shortMessageHtmlLink":"Dependency updates"}},{"before":"3ab8ad3f2b03f94acefeb87d7ea20203e86b2ab3","after":"459b846a013bd3f01db403bc05c84f6921a492a6","ref":"refs/heads/main","pushedAt":"2024-04-15T16:25:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Tweak zio.Runtime for benchmarks","shortMessageHtmlLink":"Tweak zio.Runtime for benchmarks"}},{"before":"60eee0e55e429917b82641453824585b732e5464","after":"3ab8ad3f2b03f94acefeb87d7ea20203e86b2ab3","ref":"refs/heads/main","pushedAt":"2024-04-05T16:02:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Add memboard.txt","shortMessageHtmlLink":"Add memboard.txt"}},{"before":"9d2a1a38f68b028753449c31c515f59e1623d16f","after":"60eee0e55e429917b82641453824585b732e5464","ref":"refs/heads/main","pushedAt":"2024-04-04T15:40:42.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Print some JMX info after each test","shortMessageHtmlLink":"Print some JMX info after each test"}},{"before":"1322d1c84674c716825a87b18e52399ee332ccab","after":"9d2a1a38f68b028753449c31c515f59e1623d16f","ref":"refs/heads/main","pushedAt":"2024-03-27T17:25:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Board parser: ignore comment lines starting with '# '","shortMessageHtmlLink":"Board parser: ignore comment lines starting with '# '"}},{"before":"1a8a174c649f56d580c2057bd4eb7d66e7b2dd5b","after":"1322d1c84674c716825a87b18e52399ee332ccab","ref":"refs/heads/main","pushedAt":"2024-03-22T17:43:27.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Run more tests on restricted boards","shortMessageHtmlLink":"Run more tests on restricted boards"}},{"before":"efcc5a25551b8a0f4794f24ee58b13a26b1781de","after":"1a8a174c649f56d580c2057bd4eb7d66e7b2dd5b","ref":"refs/heads/main","pushedAt":"2024-03-14T17:06:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Improve explanation in readme","shortMessageHtmlLink":"Improve explanation in readme"}},{"before":"71f2ce195a6345a49cb83beb6db2cb3105545fb0","after":"efcc5a25551b8a0f4794f24ee58b13a26b1781de","ref":"refs/heads/main","pushedAt":"2024-03-14T16:59:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Add restrict parameter to benchmarks","shortMessageHtmlLink":"Add restrict parameter to benchmarks"}},{"before":"e29df07c59d816cd9991d025c01dad1c4aea0bd2","after":"71f2ce195a6345a49cb83beb6db2cb3105545fb0","ref":"refs/heads/main","pushedAt":"2024-03-13T17:20:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"WrStm: wrapped scala-stm","shortMessageHtmlLink":"WrStm: wrapped scala-stm"}},{"before":"31faa8e766295d56dfb81472f43b2ad2462c718d","after":"e29df07c59d816cd9991d025c01dad1c4aea0bd2","ref":"refs/heads/main","pushedAt":"2024-03-12T15:26:38.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Tests: get back on the WSTP before solving","shortMessageHtmlLink":"Tests: get back on the WSTP before solving"}},{"before":"14149fbac56f19302bf17ed765115913c9805223","after":"31faa8e766295d56dfb81472f43b2ad2462c718d","ref":"refs/heads/main","pushedAt":"2024-03-08T15:47:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Less nondeterminism if parLimit=1","shortMessageHtmlLink":"Less nondeterminism if parLimit=1"}},{"before":"07cabba31b0271b39004baebff379538aaaa6df9","after":"14149fbac56f19302bf17ed765115913c9805223","ref":"refs/heads/main","pushedAt":"2024-03-08T15:38:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Tests: create 1 solver, and reuse it for tests","shortMessageHtmlLink":"Tests: create 1 solver, and reuse it for tests"}},{"before":"e51f22666a78238ee44d34b2cc2bbc25e02b724c","after":"07cabba31b0271b39004baebff379538aaaa6df9","ref":"refs/heads/main","pushedAt":"2024-03-08T14:05:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"scala-stm","shortMessageHtmlLink":"scala-stm"}},{"before":"45ed9c185215ba9e87e7512bfb4dd3267f31fe58","after":"e51f22666a78238ee44d34b2cc2bbc25e02b724c","ref":"refs/heads/main","pushedAt":"2024-03-07T13:16:19.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Fix a warning","shortMessageHtmlLink":"Fix a warning"}},{"before":"d8b7e08a21ef7b90f5114448a47ff08d86216246","after":"45ed9c185215ba9e87e7512bfb4dd3267f31fe58","ref":"refs/heads/main","pushedAt":"2024-03-06T13:28:25.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Write about benchmarks in README.md","shortMessageHtmlLink":"Write about benchmarks in README.md"}},{"before":"c7a0e31c855ea7bdcaa069c2834efcbf73e27a4b","after":"d8b7e08a21ef7b90f5114448a47ff08d86216246","ref":"refs/heads/main","pushedAt":"2024-03-06T09:20:23.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Whitespace cleanup","shortMessageHtmlLink":"Whitespace cleanup"}},{"before":"c7a0e31c855ea7bdcaa069c2834efcbf73e27a4b","after":null,"ref":"refs/heads/master","pushedAt":"2024-03-06T08:53:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"CsatariGergely","name":"Gergely Csatari","path":"/CsatariGergely","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11458775?s=80&v=4"}},{"before":"4e82081777df77ee3953f7aeace68416d2f35cac","after":"c7a0e31c855ea7bdcaa069c2834efcbf73e27a4b","ref":"refs/heads/master","pushedAt":"2024-03-04T12:52:01.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Build updates","shortMessageHtmlLink":"Build updates"}},{"before":"4e82081777df77ee3953f7aeace68416d2f35cac","after":"c7a0e31c855ea7bdcaa069c2834efcbf73e27a4b","ref":"refs/heads/main","pushedAt":"2024-03-04T12:52:01.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Build updates","shortMessageHtmlLink":"Build updates"}},{"before":"b023f445b6154ea86c5dd33a873a83cb9abf0f59","after":"4e82081777df77ee3953f7aeace68416d2f35cac","ref":"refs/heads/master","pushedAt":"2024-02-29T17:13:04.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"sparselong_mini.txt: a smaller version of sparselong.txt (all solvers can solve it)","shortMessageHtmlLink":"sparselong_mini.txt: a smaller version of sparselong.txt (all solvers…"}},{"before":"b023f445b6154ea86c5dd33a873a83cb9abf0f59","after":"4e82081777df77ee3953f7aeace68416d2f35cac","ref":"refs/heads/main","pushedAt":"2024-02-29T17:13:04.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"sparselong_mini.txt: a smaller version of sparselong.txt (all solvers can solve it)","shortMessageHtmlLink":"sparselong_mini.txt: a smaller version of sparselong.txt (all solvers…"}},{"before":"755aae683c75c24b3f29c031509639df49faf178","after":"b023f445b6154ea86c5dd33a873a83cb9abf0f59","ref":"refs/heads/master","pushedAt":"2024-02-26T17:47:01.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Add minimal README.md","shortMessageHtmlLink":"Add minimal README.md"}},{"before":"755aae683c75c24b3f29c031509639df49faf178","after":"b023f445b6154ea86c5dd33a873a83cb9abf0f59","ref":"refs/heads/main","pushedAt":"2024-02-26T17:47:01.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Add minimal README.md","shortMessageHtmlLink":"Add minimal README.md"}},{"before":"9a85ecb3dcde5fa630302c021c11bfee2b498679","after":"755aae683c75c24b3f29c031509639df49faf178","ref":"refs/heads/main","pushedAt":"2024-02-23T10:20:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Make sure there is no CE threadpool running when measuring ZSTM","shortMessageHtmlLink":"Make sure there is no CE threadpool running when measuring ZSTM"}},{"before":"81ec38873d8ede5653a721230ce81d30bdb96b0d","after":"755aae683c75c24b3f29c031509639df49faf178","ref":"refs/heads/master","pushedAt":"2024-02-23T10:19:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Make sure there is no CE threadpool running when measuring ZSTM","shortMessageHtmlLink":"Make sure there is no CE threadpool running when measuring ZSTM"}},{"before":"9a85ecb3dcde5fa630302c021c11bfee2b498679","after":"81ec38873d8ede5653a721230ce81d30bdb96b0d","ref":"refs/heads/master","pushedAt":"2024-02-23T09:55:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dilation","name":"Daniel Urban","path":"/dilation","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20088715?s=80&v=4"},"commit":{"message":"Fix source file location","shortMessageHtmlLink":"Fix source file location"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERcJWKQA","startCursor":null,"endCursor":null}},"title":"Activity · nokia/stm-benchmark"}