{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":649461617,"defaultBranch":"master","name":"cxxsat","ownerLogin":"vedadux","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-04T22:56:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6968225?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1685919435.187534","currentOid":""},"activityList":{"items":[{"before":"4b3e339326cd08c1d1ce5235e0a3e9c39d612067","after":"032652bb66c9b572f36cebf38b3c6fa5cf4af3f9","ref":"refs/heads/master","pushedAt":"2024-07-08T09:08:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Fixed dependency on GLIBC hashing function","shortMessageHtmlLink":"Fixed dependency on GLIBC hashing function"}},{"before":"f2fbd3ebc8049ad3579dac2ddd8af66032c8007f","after":"4b3e339326cd08c1d1ce5235e0a3e9c39d612067","ref":"refs/heads/master","pushedAt":"2024-05-23T08:41:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Repaired timed solver calls","shortMessageHtmlLink":"Repaired timed solver calls"}},{"before":"f62647bc80c2005cda7d7772b662193193281d33","after":"f2fbd3ebc8049ad3579dac2ddd8af66032c8007f","ref":"refs/heads/master","pushedAt":"2024-05-16T13:14:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Minor change to constexpr","shortMessageHtmlLink":"Minor change to constexpr"}},{"before":"fd3bbb61b2102ec3ecadafec0c0b7e932c645b1f","after":"f62647bc80c2005cda7d7772b662193193281d33","ref":"refs/heads/master","pushedAt":"2024-05-14T11:18:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added missing dependency","shortMessageHtmlLink":"Added missing dependency"}},{"before":"f4d9c361e9fe75d739cabcd0ab85424151a6377b","after":"fd3bbb61b2102ec3ecadafec0c0b7e932c645b1f","ref":"refs/heads/master","pushedAt":"2023-10-16T07:47:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added license making the code usable by others","shortMessageHtmlLink":"Added license making the code usable by others"}},{"before":"505be911153e037fa24c002f66ddbe8b9aefbdef","after":"f4d9c361e9fe75d739cabcd0ab85424151a6377b","ref":"refs/heads/master","pushedAt":"2023-10-05T15:11:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:vedadux/cxxsat","shortMessageHtmlLink":"Merge branch 'master' of github.com:vedadux/cxxsat"}},{"before":"fccf08da9301c9f1f3563f1dbdf23351deac6e10","after":"505be911153e037fa24c002f66ddbe8b9aefbdef","ref":"refs/heads/master","pushedAt":"2023-10-03T09:18:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added conversion from bool","shortMessageHtmlLink":"Added conversion from bool"}},{"before":"ce249ea34e7a0c4752fd3a26b5963a447e9a62a5","after":"fccf08da9301c9f1f3563f1dbdf23351deac6e10","ref":"refs/heads/master","pushedAt":"2023-10-03T07:30:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added output capabilities","shortMessageHtmlLink":"Added output capabilities"}},{"before":"411b74efa54955b3d80b64f9748727869a7684f4","after":"ce249ea34e7a0c4752fd3a26b5963a447e9a62a5","ref":"refs/heads/master","pushedAt":"2023-09-15T00:16:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added xor over multiple","shortMessageHtmlLink":"Added xor over multiple"}},{"before":"2e3939211d9775cdb1b6a61989fc78b6b0d95220","after":"411b74efa54955b3d80b64f9748727869a7684f4","ref":"refs/heads/master","pushedAt":"2023-08-14T08:26:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"e7a30a30b88aad6a491af463a9125abf8eba3946","after":"2e3939211d9775cdb1b6a61989fc78b6b0d95220","ref":"refs/heads/master","pushedAt":"2023-08-14T07:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added operator test to cmake","shortMessageHtmlLink":"Added operator test to cmake"}},{"before":"2cb38dd274fa3a7ace004d4cba49dbd322d24884","after":"e7a30a30b88aad6a491af463a9125abf8eba3946","ref":"refs/heads/master","pushedAt":"2023-08-14T07:46:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Fixed operator issue, spurious big and","shortMessageHtmlLink":"Fixed operator issue, spurious big and"}},{"before":"fa7ad13c0f8116cf6305d5d73e859f4149ea1739","after":"2cb38dd274fa3a7ace004d4cba49dbd322d24884","ref":"refs/heads/master","pushedAt":"2023-06-06T10:48:54.126Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Minor fix","shortMessageHtmlLink":"Minor fix"}},{"before":"f85e731d745c37404ccb0f5bba71ee500a208c33","after":"fa7ad13c0f8116cf6305d5d73e859f4149ea1739","ref":"refs/heads/master","pushedAt":"2023-06-06T10:45:51.007Z","pushType":"push","commitsCount":2,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Improved tests","shortMessageHtmlLink":"Improved tests"}},{"before":"da80b65785e9458d44e0471b7efcf2e67f0fadee","after":"f85e731d745c37404ccb0f5bba71ee500a208c33","ref":"refs/heads/master","pushedAt":"2023-06-05T11:45:04.990Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Added more tests, better at_most implementation","shortMessageHtmlLink":"Added more tests, better at_most implementation"}},{"before":"2ab2e2fa6bed49767dfa62306e60cc84b097743c","after":"da80b65785e9458d44e0471b7efcf2e67f0fadee","ref":"refs/heads/master","pushedAt":"2023-06-04T23:16:03.976Z","pushType":"push","commitsCount":2,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:vedadux/cxxsat","shortMessageHtmlLink":"Merge branch 'master' of github.com:vedadux/cxxsat"}},{"before":"cea33af5325fcc2d9f2584fb0a8691fa0bd44b0c","after":"2ab2e2fa6bed49767dfa62306e60cc84b097743c","ref":"refs/heads/master","pushedAt":"2023-06-04T22:59:04.576Z","pushType":"push","commitsCount":1,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Create cmake.yml","shortMessageHtmlLink":"Create cmake.yml"}},{"before":null,"after":"cea33af5325fcc2d9f2584fb0a8691fa0bd44b0c","ref":"refs/heads/master","pushedAt":"2023-06-04T22:57:15.187Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vedadux","name":"Vedad Hadžić","path":"/vedadux","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6968225?s=80&v=4"},"commit":{"message":"Testing","shortMessageHtmlLink":"Testing"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEeWMz9QA","startCursor":null,"endCursor":null}},"title":"Activity · vedadux/cxxsat"}