{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":509974083,"defaultBranch":"main","name":"kosat","ownerLogin":"UnitTestBot","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-03T09:12:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/87413538?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1694976476.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a425b2132644104a9a0358b383aee69539d4c429","ref":"refs/heads/feature/visulizer-layout","pushedAt":"2023-09-17T18:47:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Wording","shortMessageHtmlLink":"Wording"}},{"before":null,"after":"56e00025f545cc683fdbc95e0c7b411810cd32ae","ref":"refs/heads/feature/public-interface","pushedAt":"2023-09-06T20:27:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Doc comments","shortMessageHtmlLink":"Doc comments"}},{"before":null,"after":"09c898ff0b998438d4f6e5c7dba384e1d04339ee","ref":"refs/heads/feature/unit-reconstruction-fix","pushedAt":"2023-09-05T19:08:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Fix assignment with incremental addition of unit clauses with eliminated variable","shortMessageHtmlLink":"Fix assignment with incremental addition of unit clauses with elimina…"}},{"before":"a5cb1d1021d99790de03af996a2126cf4fa30f89","after":null,"ref":"refs/heads/feature/lazy-clauses","pushedAt":"2023-09-05T05:44:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"}},{"before":null,"after":"a5cb1d1021d99790de03af996a2126cf4fa30f89","ref":"refs/heads/feature/lazy-clauses","pushedAt":"2023-09-04T20:24:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Lazily add clauses","shortMessageHtmlLink":"Lazily add clauses"}},{"before":"f1a81e02302c07c4ffb4234daac711bcff44ebca","after":"b3fa62e8885ce0bfef31db9e67e49dc709cdebab","ref":"refs/heads/gh-pages","pushedAt":"2023-08-31T15:11:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ UnitTestBot/kosat@0d137e7e5a14e614d3d5e76b29304e09e18e3089 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/kosat/commit/0d137e7e5a14e614d3d5e76b29304e09e18e3089/hovercard\" href=\"https://github.com/UnitTestBot/kosat/commit/0d137e7e5a14e614d3d5e76b29304e09e18e3089\"><tt>0d137e7</tt></a> 🚀"}},{"before":"2074cda0e3713f408e5b9645a851a16ce84ae7e0","after":null,"ref":"refs/heads/feature/dokka","pushedAt":"2023-08-31T14:55:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"e7bf29b94a1506e00914c5ba2e12fface8898549","after":"0d137e7e5a14e614d3d5e76b29304e09e18e3089","ref":"refs/heads/dev","pushedAt":"2023-08-31T14:55:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Dokka documentation (#60)\n\nCo-authored-by: Konstantin Chukharev <lipen00@gmail.com>","shortMessageHtmlLink":"Dokka documentation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1875266123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/kosat/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/kosat/pull/60/hovercard\" href=\"https://github.com/UnitTestBot/kosat/pull/60\">#60</a>)"}},{"before":"3e38047452abd43657191ea673e364e4deb720ea","after":"2074cda0e3713f408e5b9645a851a16ce84ae7e0","ref":"refs/heads/feature/dokka","pushedAt":"2023-08-31T10:42:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Deploy docs from dokka","shortMessageHtmlLink":"Deploy docs from dokka"}},{"before":"f596d4df7a308ca00fbad9d5db4184961ca5aacf","after":"e12bef69e006f6738805c5ac325f7ff64636953b","ref":"refs/heads/feature/interface","pushedAt":"2023-08-31T09:08:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"New Line","shortMessageHtmlLink":"New Line"}},{"before":null,"after":"f596d4df7a308ca00fbad9d5db4184961ca5aacf","ref":"refs/heads/feature/interface","pushedAt":"2023-08-31T09:05:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elteammate","name":"Nikolay Stepanov","path":"/elteammate","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39872774?s=80&v=4"},"commit":{"message":"Interface improvements","shortMessageHtmlLink":"Interface improvements"}},{"before":"cd37da88a3b50edab5d6701516084937e4c1d427","after":"f1a81e02302c07c4ffb4234daac711bcff44ebca","ref":"refs/heads/gh-pages","pushedAt":"2023-08-30T18:57:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ UnitTestBot/kosat@e7bf29b94a1506e00914c5ba2e12fface8898549 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/kosat/commit/e7bf29b94a1506e00914c5ba2e12fface8898549/hovercard\" href=\"https://github.com/UnitTestBot/kosat/commit/e7bf29b94a1506e00914c5ba2e12fface8898549\"><tt>e7bf29b</tt></a> 🚀"}},{"before":"3521bdc993fac0db0c5ae94dda199cda3a0ff024","after":"cd37da88a3b50edab5d6701516084937e4c1d427","ref":"refs/heads/gh-pages","pushedAt":"2023-08-30T18:54:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ UnitTestBot/kosat@4d69f8b19f75325643ed0c943e06c0e40f6c272f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/kosat/commit/4d69f8b19f75325643ed0c943e06c0e40f6c272f/hovercard\" href=\"https://github.com/UnitTestBot/kosat/commit/4d69f8b19f75325643ed0c943e06c0e40f6c272f\"><tt>4d69f8b</tt></a> 🚀"}},{"before":"4d69f8b19f75325643ed0c943e06c0e40f6c272f","after":"e7bf29b94a1506e00914c5ba2e12fface8898549","ref":"refs/heads/dev","pushedAt":"2023-08-30T18:45:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Fix representation of `Lit`","shortMessageHtmlLink":"Fix representation of <code>Lit</code>"}},{"before":"81da4b0e36299b6e1314981b6b5a8dbaf5e654fa","after":"4d69f8b19f75325643ed0c943e06c0e40f6c272f","ref":"refs/heads/dev","pushedAt":"2023-08-30T18:40:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"a8a21d88b3ece3e5c90fe9f5c7c282a952fa3073","after":"3521bdc993fac0db0c5ae94dda199cda3a0ff024","ref":"refs/heads/gh-pages","pushedAt":"2023-08-30T18:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ UnitTestBot/kosat@81da4b0e36299b6e1314981b6b5a8dbaf5e654fa 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/kosat/commit/81da4b0e36299b6e1314981b6b5a8dbaf5e654fa/hovercard\" href=\"https://github.com/UnitTestBot/kosat/commit/81da4b0e36299b6e1314981b6b5a8dbaf5e654fa\"><tt>81da4b0</tt></a> 🚀"}},{"before":"16d268fd1b7cc0d4d6791e539efaee8be5fadbad","after":null,"ref":"refs/heads/feature/litvec-fix","pushedAt":"2023-08-30T18:21:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"b758a55dbc9fe23bd95552885151105e33661e07","after":null,"ref":"refs/heads/feature/optimization3","pushedAt":"2023-08-30T18:21:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"db804261aeeec4be065ddec56cf02989b408327a","after":null,"ref":"refs/heads/feature/cli2","pushedAt":"2023-08-30T18:21:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"2b80213aff6762b0ea5d67f917d7c96b6b8fcb2d","after":null,"ref":"refs/heads/feature/cleanup","pushedAt":"2023-08-30T18:21:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"209a6720d97546f1a0e97fdbb0a5ae949473bbfd","after":null,"ref":"refs/heads/zeitnot","pushedAt":"2023-08-30T18:20:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"756eb95b0f13bf54876d6d1b92631ac95ec5b668","after":null,"ref":"refs/heads/feature/cli","pushedAt":"2023-08-30T18:18:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"}},{"before":"a2d9193ec823309c820d0c9e51858c72a33529fd","after":"81da4b0e36299b6e1314981b6b5a8dbaf5e654fa","ref":"refs/heads/dev","pushedAt":"2023-08-30T18:18:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Internal optimizations and CLI (#43)\n\nCo-authored-by: Nikolay Stepanov <elteammate@gmail.com>","shortMessageHtmlLink":"Internal optimizations and CLI (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1815637677\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UnitTestBot/kosat/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UnitTestBot/kosat/pull/43/hovercard\" href=\"https://github.com/UnitTestBot/kosat/pull/43\">#43</a>)"}},{"before":"8cf33de1471d7cc2f64c23ff8a3fccaee6a35344","after":"756eb95b0f13bf54876d6d1b92631ac95ec5b668","ref":"refs/heads/feature/cli","pushedAt":"2023-08-30T17:20:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Fix kosat binary execution permissions","shortMessageHtmlLink":"Fix kosat binary execution permissions"}},{"before":"625f7bfe527aab266ad659bc78bb4cde41207f3e","after":"8cf33de1471d7cc2f64c23ff8a3fccaee6a35344","ref":"refs/heads/feature/cli","pushedAt":"2023-08-30T16:58:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Fix (again) bug with max var index","shortMessageHtmlLink":"Fix (again) bug with max var index"}},{"before":"e2e7a82add4f33d5864fcdeadfd8e5c15662374d","after":"625f7bfe527aab266ad659bc78bb4cde41207f3e","ref":"refs/heads/feature/cli","pushedAt":"2023-08-30T15:51:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Fix tests, cleanup","shortMessageHtmlLink":"Fix tests, cleanup"}},{"before":"d9dc99533e757aa1f3eb109814beeae4aca84b29","after":"e2e7a82add4f33d5864fcdeadfd8e5c15662374d","ref":"refs/heads/feature/cli","pushedAt":"2023-08-30T15:33:24.000Z","pushType":"push","commitsCount":166,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Cleanup","shortMessageHtmlLink":"Cleanup"}},{"before":"a98e96b09ed50c1bb54de07a07242e92b585e5fa","after":"209a6720d97546f1a0e97fdbb0a5ae949473bbfd","ref":"refs/heads/zeitnot","pushedAt":"2023-08-30T01:03:59.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Add lazy CNF parsing, fix bug with auto-allocating new vars","shortMessageHtmlLink":"Add lazy CNF parsing, fix bug with auto-allocating new vars"}},{"before":"5e4bc290c9f43bdfbc262a2ef3c9592fb2143381","after":"a98e96b09ed50c1bb54de07a07242e92b585e5fa","ref":"refs/heads/zeitnot","pushedAt":"2023-08-29T21:38:47.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Lipen","name":"Konstantin Chukharev","path":"/Lipen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1026835?s=80&v=4"},"commit":{"message":"Add ClauseVec::set","shortMessageHtmlLink":"Add ClauseVec::set"}},{"before":"6489373d8063fb6eec6207e0986680f4c103eb50","after":"a8a21d88b3ece3e5c90fe9f5c7c282a952fa3073","ref":"refs/heads/gh-pages","pushedAt":"2023-08-29T19:03:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ UnitTestBot/kosat@a2d9193ec823309c820d0c9e51858c72a33529fd 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/UnitTestBot/kosat/commit/a2d9193ec823309c820d0c9e51858c72a33529fd/hovercard\" href=\"https://github.com/UnitTestBot/kosat/commit/a2d9193ec823309c820d0c9e51858c72a33529fd\"><tt>a2d9193</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgn9TlwA","startCursor":null,"endCursor":null}},"title":"Activity · UnitTestBot/kosat"}