{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":765451814,"defaultBranch":"master","name":"klee","ownerLogin":"sreeshmaheshwar","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-01T00:09:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/109487764?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719212198.0","currentOid":""},"activityList":{"items":[{"before":"e1af77a13b311444adb221a5efed43d6580865c1","after":"816ada1220122abac184f526c103fbf1b39c86de","ref":"refs/heads/unique-ptr-independence","pushedAt":"2024-07-15T14:20:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Use `unique_ptr` within `getAllIndependentConstraintsSets`","shortMessageHtmlLink":"Use <code>unique_ptr</code> within <code>getAllIndependentConstraintsSets</code>"}},{"before":"093b63ccfc0dd03c1c308407d06e491323624b28","after":"9bba934d87d53df662e5733925b94e743a1a60e6","ref":"refs/heads/master","pushedAt":"2024-06-25T02:58:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Removed some old aux files","shortMessageHtmlLink":"Removed some old aux files"}},{"before":"99d03136b96bd987d2a1cfc3d79b9b173ed6dfc9","after":"093b63ccfc0dd03c1c308407d06e491323624b28","ref":"refs/heads/master","pushedAt":"2024-06-25T02:57:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add wider evaluation","shortMessageHtmlLink":"Add wider evaluation"}},{"before":"3b838010f1ecdcb4ad2596593a2168636b162c7d","after":"99d03136b96bd987d2a1cfc3d79b9b173ed6dfc9","ref":"refs/heads/master","pushedAt":"2024-06-25T02:56:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Removed some old aux files","shortMessageHtmlLink":"Removed some old aux files"}},{"before":"8a4baa0a4a9673a4d701b7b18c60b06f7a82ca7b","after":"3b838010f1ecdcb4ad2596593a2168636b162c7d","ref":"refs/heads/master","pushedAt":"2024-06-25T02:54:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add wider eval","shortMessageHtmlLink":"Add wider eval"}},{"before":"e61374d9182e7b67f2e959265e7cb67a0afd4fc0","after":"8a4baa0a4a9673a4d701b7b18c60b06f7a82ca7b","ref":"refs/heads/master","pushedAt":"2024-06-25T02:54:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add wider eval","shortMessageHtmlLink":"Add wider eval"}},{"before":"9c8c192a62291d20ef5e265caf79dec9eb80b98c","after":"e61374d9182e7b67f2e959265e7cb67a0afd4fc0","ref":"refs/heads/master","pushedAt":"2024-06-25T02:53:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Removed cluttering csvs","shortMessageHtmlLink":"Removed cluttering csvs"}},{"before":"b6234ab75a75d562eea396a227690f50e3050261","after":"9c8c192a62291d20ef5e265caf79dec9eb80b98c","ref":"refs/heads/master","pushedAt":"2024-06-25T02:35:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add wider evaluation code and generation","shortMessageHtmlLink":"Add wider evaluation code and generation"}},{"before":"0b3d124b880c053e6ced1836d36f024bdf9be064","after":"b6234ab75a75d562eea396a227690f50e3050261","ref":"refs/heads/master","pushedAt":"2024-06-25T02:16:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add updated note that specific experiment used","shortMessageHtmlLink":"Add updated note that specific experiment used"}},{"before":"1c7092061ea04c49c343b6952ac0e61ac9f51ad0","after":"a45cbbdefe98c808828c94d08e4a86375d9263ca","ref":"refs/heads/pooling-final","pushedAt":"2024-06-24T07:03:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add final pooling for testing","shortMessageHtmlLink":"Add final pooling for testing"}},{"before":null,"after":"1c7092061ea04c49c343b6952ac0e61ac9f51ad0","ref":"refs/heads/pooling-final","pushedAt":"2024-06-24T06:56:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"made member private","shortMessageHtmlLink":"made member private"}},{"before":"ac2e6e657123431bc97a2f448cd50199540372d3","after":"e47435b33c61a9bd048ae0689a1a86174c0411dd","ref":"refs/heads/soft-arrays","pushedAt":"2024-06-23T19:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Fix: increment core solver queries correctly","shortMessageHtmlLink":"Fix: increment core solver queries correctly"}},{"before":null,"after":"9a372f6bb224633d56f60b17fe36dcc1efae79a6","ref":"refs/heads/best-lcp-pp-unopt","pushedAt":"2024-06-23T16:12:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Comment out debugging statements","shortMessageHtmlLink":"Comment out debugging statements"}},{"before":null,"after":"b758b1f9fdbc5616cb9ba7d6b87875b3bd4297c8","ref":"refs/heads/csa-timeout","pushedAt":"2024-06-23T02:39:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add analyse","shortMessageHtmlLink":"Add analyse"}},{"before":"f1de83718bb9447f7a84df6f72cea4640216a830","after":"c3e0ca848ef58a45b6726e27a5f887c381564e36","ref":"refs/heads/global-s2-replaytime","pushedAt":"2024-06-22T04:00:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add incremental timeout as a parameter","shortMessageHtmlLink":"Add incremental timeout as a parameter"}},{"before":null,"after":"f1de83718bb9447f7a84df6f72cea4640216a830","ref":"refs/heads/global-s2-replaytime","pushedAt":"2024-06-22T03:21:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add core solver timing","shortMessageHtmlLink":"Add core solver timing"}},{"before":null,"after":"c6ae2703f5408f1f3bf032a9940a127ed5de2ca5","ref":"refs/heads/master-det-read-2time","pushedAt":"2024-06-22T03:18:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add core solver timing","shortMessageHtmlLink":"Add core solver timing"}},{"before":null,"after":"38c5101e297e37eff10105319cd388aada23f880","ref":"refs/heads/global-s2-replay","pushedAt":"2024-06-21T02:15:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"made member private","shortMessageHtmlLink":"made member private"}},{"before":null,"after":"13dec59751871fa1b28a1c1d9456e3816de5c4cb","ref":"refs/heads/master-det-read-2","pushedAt":"2024-06-21T02:11:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"made member private","shortMessageHtmlLink":"made member private"}},{"before":"ddd036fcf02128361dbdbe69c2a8d48fcf854a81","after":"0b3d124b880c053e6ced1836d36f024bdf9be064","ref":"refs/heads/master","pushedAt":"2024-06-20T13:36:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"40214172c00ff00604fd1393fc7b64cca2c1437f","after":"ddd036fcf02128361dbdbe69c2a8d48fcf854a81","ref":"refs/heads/master","pushedAt":"2024-06-20T13:36:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f12210e5cb58a3cfcc05d80363d706c33eab8e70","after":"40214172c00ff00604fd1393fc7b64cca2c1437f","ref":"refs/heads/master","pushedAt":"2024-06-20T12:10:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3e75c9f13deb467fb3e1ae0e66579135ccad1e18","after":"f12210e5cb58a3cfcc05d80363d706c33eab8e70","ref":"refs/heads/master","pushedAt":"2024-06-20T12:10:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"637e325d46d110917449661c8badfabb7812c954","after":"3e75c9f13deb467fb3e1ae0e66579135ccad1e18","ref":"refs/heads/master","pushedAt":"2024-06-20T12:09:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Add README with links to PRs and experimental code","shortMessageHtmlLink":"Add README with links to PRs and experimental code"}},{"before":null,"after":"3636a76ed5d7b495813ef2151beabf4dae5f4803","ref":"refs/heads/master-det2","pushedAt":"2024-06-17T10:47:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Comment out debugging statements","shortMessageHtmlLink":"Comment out debugging statements"}},{"before":"d36169aef03e47dde1e07dfce5ecc8d834d386d3","after":"dc4e97be851f28d27380018fe4aac56b17ed1f91","ref":"refs/heads/best-lcp-pp","pushedAt":"2024-06-17T10:27:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Fix: propagate back hashing comparison","shortMessageHtmlLink":"Fix: propagate back hashing comparison"}},{"before":null,"after":"ac2e6e657123431bc97a2f448cd50199540372d3","ref":"refs/heads/soft-arrays","pushedAt":"2024-06-17T08:42:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Removed solver clearing","shortMessageHtmlLink":"Removed solver clearing"}},{"before":"d6b18d6a1ab722d30abda68b92704f54314bf18b","after":"526256f65110a058fbfff242939e60ee80bce932","ref":"refs/heads/k-early","pushedAt":"2024-06-16T20:57:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Improved solver eviction","shortMessageHtmlLink":"Improved solver eviction"}},{"before":"bb343ea0f4ac439f8c75f3134f480690f96c310a","after":"d6b18d6a1ab722d30abda68b92704f54314bf18b","ref":"refs/heads/k-early","pushedAt":"2024-06-16T20:03:11.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Comment out debugging statements","shortMessageHtmlLink":"Comment out debugging statements"}},{"before":null,"after":"bb343ea0f4ac439f8c75f3134f480690f96c310a","ref":"refs/heads/k-early","pushedAt":"2024-06-16T19:30:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sreeshmaheshwar","name":"Sreesh Maheshwar","path":"/sreeshmaheshwar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109487764?s=80&v=4"},"commit":{"message":"Combine simplify early with k pooling, v0","shortMessageHtmlLink":"Combine simplify early with k pooling, v0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEf8qiJwA","startCursor":null,"endCursor":null}},"title":"Activity · sreeshmaheshwar/klee"}