{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":513926690,"defaultBranch":"master","name":"CovBoy","ownerLogin":"dee-tree","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-14T14:09:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59830756?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688402356.0","currentOid":""},"activityList":{"items":[{"before":"8d22e1c853e2fa973cf47c87f0890ddbe1f8b469","after":"9b69cb2076bf48d7cc4edc1f0c007c068c70c4d1","ref":"refs/heads/master","pushedAt":"2024-04-10T14:50:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"tests fix","shortMessageHtmlLink":"tests fix"}},{"before":"25e6155cef16c749a5da7a6147a672061d00f0d3","after":"8d22e1c853e2fa973cf47c87f0890ddbe1f8b469","ref":"refs/heads/master","pushedAt":"2024-04-10T13:48:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"idea folder ignore","shortMessageHtmlLink":"idea folder ignore"}},{"before":"096f7206da0dba7f582b3d44c92f76fb2aa73cbb","after":"25e6155cef16c749a5da7a6147a672061d00f0d3","ref":"refs/heads/master","pushedAt":"2024-04-10T13:46:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"kotlin update;\ndockerfile changes - previous platform coupling reduced\nstatistics parameter changed (bool not required anymore, instead of this used specified file if it is valid;\nbenchmark and coverage parameter names changed","shortMessageHtmlLink":"kotlin update;"}},{"before":null,"after":"a5f5a12e85b59afbb1ec611d320c2f710dd3a22d","ref":"refs/heads/relocate","pushedAt":"2023-07-03T16:39:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"1. unspecified unsimplified operations discarded for coverage;\n2. stat file creation fix;\n3. coverage compare method change due to p. 1","shortMessageHtmlLink":"1. unspecified unsimplified operations discarded for coverage;"}},{"before":"4603d697837b5edb52b4ee82812055d707dbc47d","after":"096f7206da0dba7f582b3d44c92f76fb2aa73cbb","ref":"refs/heads/master","pushedAt":"2023-06-08T12:15:11.833Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"1. unspecified unsimplified operations discarded for coverage;\n2. stat file creation fix;\n3. coverage compare method change due to p. 1","shortMessageHtmlLink":"1. unspecified unsimplified operations discarded for coverage;"}},{"before":"9be3e30b0a8f45768a2236a0926ebdf7d2cb1718","after":"4603d697837b5edb52b4ee82812055d707dbc47d","ref":"refs/heads/master","pushedAt":"2023-05-23T12:33:37.295Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"samplers statistics;\nparallel solving simplification;\ncontainer run with statistics","shortMessageHtmlLink":"samplers statistics;"}},{"before":"2a99652853a2b2ce3b09db389695b74603ea3fde","after":"9be3e30b0a8f45768a2236a0926ebdf7d2cb1718","ref":"refs/heads/master","pushedAt":"2023-05-22T13:40:07.447Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"docker fix kill on timeout;\nthreads optimization","shortMessageHtmlLink":"docker fix kill on timeout;"}},{"before":"1cf152f912109e19cc87dd630273086dc726585c","after":"2a99652853a2b2ce3b09db389695b74603ea3fde","ref":"refs/heads/master","pushedAt":"2023-05-22T11:46:22.369Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"process runner with coroutines - no callbacks\nlog to files","shortMessageHtmlLink":"process runner with coroutines - no callbacks"}},{"before":"8ffe032bfbb06c3cf0207c8937b84d5915e9ba1d","after":"1cf152f912109e19cc87dd630273086dc726585c","ref":"refs/heads/master","pushedAt":"2023-05-10T12:17:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"process runner with coroutines - no callbacks\nlog to files","shortMessageHtmlLink":"process runner with coroutines - no callbacks"}},{"before":"99cfc1d52d602f85bc485a5372b720d15974ac87","after":"8ffe032bfbb06c3cf0207c8937b84d5915e9ba1d","ref":"refs/heads/master","pushedAt":"2023-05-06T17:06:14.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Another process parser BenchmarksExtractor","shortMessageHtmlLink":"Another process parser BenchmarksExtractor"}},{"before":"3ce5c9b9b021c735b8854cfd18be308cff0b15f8","after":"8ffe032bfbb06c3cf0207c8937b84d5915e9ba1d","ref":"refs/heads/benches","pushedAt":"2023-05-06T17:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"Another process parser BenchmarksExtractor","shortMessageHtmlLink":"Another process parser BenchmarksExtractor"}},{"before":"3b0840d68596752d8f8882576c652a147d14573a","after":"3ce5c9b9b021c735b8854cfd18be308cff0b15f8","ref":"refs/heads/benches","pushedAt":"2023-05-05T13:22:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"benchmarks extractor more coroutines parallel","shortMessageHtmlLink":"benchmarks extractor more coroutines parallel"}},{"before":"c5d7cba52c14e5c345700cc4266c91f145842032","after":"3b0840d68596752d8f8882576c652a147d14573a","ref":"refs/heads/benches","pushedAt":"2023-04-24T16:46:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"benchmarks extractor args parser\nksmt new version with Z3 close ctx performance fix","shortMessageHtmlLink":"benchmarks extractor args parser"}},{"before":null,"after":"c5d7cba52c14e5c345700cc4266c91f145842032","ref":"refs/heads/benches","pushedAt":"2023-04-24T12:58:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"benches extraxtor, selector, preprocessor shuffled","shortMessageHtmlLink":"benches extraxtor, selector, preprocessor shuffled"}},{"before":"17299b63a7c1f6b225854c96643a3eab8d3d66a7","after":"99cfc1d52d602f85bc485a5372b720d15974ac87","ref":"refs/heads/master","pushedAt":"2023-04-21T21:36:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"more pretty total coverage info print","shortMessageHtmlLink":"more pretty total coverage info print"}},{"before":"4216794edb9d1addd5de0eb7f2e8f860eb97bbb2","after":"17299b63a7c1f6b225854c96643a3eab8d3d66a7","ref":"refs/heads/master","pushedAt":"2023-04-21T21:26:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"initially unsuitable (unsat/unknown) formula exception added","shortMessageHtmlLink":"initially unsuitable (unsat/unknown) formula exception added"}},{"before":"d1d74d6fef8a44cec7e78dc1e0a74917ea3af614","after":"4216794edb9d1addd5de0eb7f2e8f860eb97bbb2","ref":"refs/heads/master","pushedAt":"2023-04-21T20:59:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"ksmt version update (0.5.0 with Yices thread finish fix);\nast deserializer fresh decl temp fix","shortMessageHtmlLink":"ksmt version update (0.5.0 with Yices thread finish fix);"}},{"before":"5d21e861a3f609502f32a17ef8706d7d3fb12b48","after":"d1d74d6fef8a44cec7e78dc1e0a74917ea3af614","ref":"refs/heads/master","pushedAt":"2023-04-21T13:13:54.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"total coverage info;","shortMessageHtmlLink":"total coverage info;"}},{"before":"c5b2b000ec5c8c469da798f6fccf3758266f9f4b","after":"d1d74d6fef8a44cec7e78dc1e0a74917ea3af614","ref":"refs/heads/unknowns","pushedAt":"2023-04-21T13:11:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"total coverage info;","shortMessageHtmlLink":"total coverage info;"}},{"before":"6997634252dec5dffc737c6be440739a66ae4a04","after":"c5b2b000ec5c8c469da798f6fccf3758266f9f4b","ref":"refs/heads/unknowns","pushedAt":"2023-04-20T10:43:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"1s check-sat limit benchmarks extraction","shortMessageHtmlLink":"1s check-sat limit benchmarks extraction"}},{"before":"f786717806f6bc89d0fe50d90d6e8b9d12c3c50f","after":"6997634252dec5dffc737c6be440739a66ae4a04","ref":"refs/heads/unknowns","pushedAt":"2023-04-17T13:47:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"unknowns base for coverage sampler;\nBaselinePredicatePropagatingCoverageSampler - added unknown values sampling","shortMessageHtmlLink":"unknowns base for coverage sampler;"}},{"before":"991d83fb3f6194bf57a226bd22326707fed19763","after":"5d21e861a3f609502f32a17ef8706d7d3fb12b48","ref":"refs/heads/master","pushedAt":"2023-04-17T13:45:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"samplerRunner solver timeout set","shortMessageHtmlLink":"samplerRunner solver timeout set"}},{"before":null,"after":"f786717806f6bc89d0fe50d90d6e8b9d12c3c50f","ref":"refs/heads/unknowns","pushedAt":"2023-04-17T13:42:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"unknowns base for coverage sampler;\nBaselinePredicatePropagatingCoverageSampler - added unknown values sampling","shortMessageHtmlLink":"unknowns base for coverage sampler;"}},{"before":"041778d7820760dda34adeb90037a37317814570","after":"991d83fb3f6194bf57a226bd22326707fed19763","ref":"refs/heads/master","pushedAt":"2023-04-17T12:59:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"uncovered predicates cache","shortMessageHtmlLink":"uncovered predicates cache"}},{"before":"8e3f93da57e0ad2cb393b702b3d31e96f08b1c22","after":"041778d7820760dda34adeb90037a37317814570","ref":"refs/heads/master","pushedAt":"2023-04-17T11:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"baseline in sampler: PredicatesPropagatingSampler -> BaselinePredicatePropagatingSampler","shortMessageHtmlLink":"baseline in sampler: PredicatesPropagatingSampler -> BaselinePredicat…"}},{"before":"6b9eaf04889cd19ff1a945c136f7e12a0dc01bf4","after":"8e3f93da57e0ad2cb393b702b3d31e96f08b1c22","ref":"refs/heads/master","pushedAt":"2023-04-17T11:34:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"benchmarks refactor;\ntests refactor","shortMessageHtmlLink":"benchmarks refactor;"}},{"before":"76abf58fe8081e6a463991de6d8dabeb6734e710","after":"6b9eaf04889cd19ff1a945c136f7e12a0dc01bf4","ref":"refs/heads/master","pushedAt":"2023-04-14T13:48:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"jmh removed;\nbenchmarks filter","shortMessageHtmlLink":"jmh removed;"}},{"before":"4b4dccd968171f754490d49caa8bb7bb41e64562","after":"76abf58fe8081e6a463991de6d8dabeb6734e710","ref":"refs/heads/master","pushedAt":"2023-04-10T13:40:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"bool predicates extractor strategy correction","shortMessageHtmlLink":"bool predicates extractor strategy correction"}},{"before":"07e7c535f5037980226046604a062f81fd29343a","after":"4b4dccd968171f754490d49caa8bb7bb41e64562","ref":"refs/heads/master","pushedAt":"2023-04-10T12:36:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"* benchmarks aggregator in one csv;\n* benchmark check-sat data and covered values sync","shortMessageHtmlLink":"* benchmarks aggregator in one csv;"}},{"before":"a500f5d8e7a0e17055cf592a2fe4500040e31814","after":"07e7c535f5037980226046604a062f81fd29343a","ref":"refs/heads/master","pushedAt":"2023-04-08T12:33:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dee-tree","name":"Dmitriy Sokolov","path":"/dee-tree","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59830756?s=80&v=4"},"commit":{"message":"* bool predicates extraction strategy changed (each bool term)\n* added benchmarks on samplers\n* KContext simplification - NO_SIMPLIFY strategy","shortMessageHtmlLink":"* bool predicates extraction strategy changed (each bool term)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELSq_HQA","startCursor":null,"endCursor":null}},"title":"Activity · dee-tree/CovBoy"}