{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":784198420,"defaultBranch":"main","name":"kit2024","ownerLogin":"satlecture","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-04-09T11:37:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/166508635?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712662624.642555","currentOid":""},"activityList":{"items":[{"before":"bb2f5a719d30e492fbab37504f048f28d70b1b5a","after":"da49d9db43d9012adf12132b86cea95d82aeab56","ref":"refs/heads/main","pushedAt":"2024-08-12T17:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"bugfix in slide","shortMessageHtmlLink":"bugfix in slide"}},{"before":"8c92b161d5d8788c4a8174968a456134cfb903e4","after":"bb2f5a719d30e492fbab37504f048f28d70b1b5a","ref":"refs/heads/main","pushedAt":"2024-07-18T06:26:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"a94550ba6c74c41cb1e5d6f0dde7918bc14ad450","after":"8c92b161d5d8788c4a8174968a456134cfb903e4","ref":"refs/heads/main","pushedAt":"2024-07-18T06:21:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"l14 (SMT)","shortMessageHtmlLink":"l14 (SMT)"}},{"before":"3efbe9f8c01e152596b121e973700b8d466d83df","after":"a94550ba6c74c41cb1e5d6f0dde7918bc14ad450","ref":"refs/heads/main","pushedAt":"2024-07-15T12:41:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Update l13","shortMessageHtmlLink":"Update l13"}},{"before":"7f63b0b05425fba881c660f6f7c0693371716935","after":"3efbe9f8c01e152596b121e973700b8d466d83df","ref":"refs/heads/main","pushedAt":"2024-07-11T09:09:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"l13","shortMessageHtmlLink":"l13"}},{"before":"e025845e2f913e3aa2901637f97e7d24f5d77445","after":"7f63b0b05425fba881c660f6f7c0693371716935","ref":"refs/heads/main","pushedAt":"2024-07-09T12:53:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Add link to Ex5","shortMessageHtmlLink":"Add link to Ex5"}},{"before":"aeaaeac1d78190d9c45d635ec7687f5a08e6ee97","after":"e025845e2f913e3aa2901637f97e7d24f5d77445","ref":"refs/heads/main","pushedAt":"2024-07-08T11:51:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Ex05","shortMessageHtmlLink":"Ex05"}},{"before":"e8377706e553b88c5238096d61e7cd8cb1a796ea","after":"aeaaeac1d78190d9c45d635ec7687f5a08e6ee97","ref":"refs/heads/main","pushedAt":"2024-07-08T10:49:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"proofs","shortMessageHtmlLink":"proofs"}},{"before":"8b490d945bbab55bbbc4658e2d58ebab3dc43a83","after":"e8377706e553b88c5238096d61e7cd8cb1a796ea","ref":"refs/heads/main","pushedAt":"2024-07-03T15:46:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Additional assumptions for Ex04 task 2 (perfect hashing competition)","shortMessageHtmlLink":"Additional assumptions for Ex04 task 2 (perfect hashing competition)"}},{"before":"aa21856491cbdc2ade8efc636a09031a9b7a3a3b","after":"8b490d945bbab55bbbc4658e2d58ebab3dc43a83","ref":"refs/heads/main","pushedAt":"2024-07-01T17:51:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Integrate l11","shortMessageHtmlLink":"Integrate l11"}},{"before":"259ac7b863d86d8429f4200b262fe823f7fe70c7","after":"aa21856491cbdc2ade8efc636a09031a9b7a3a3b","ref":"refs/heads/main","pushedAt":"2024-06-27T13:01:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Delay deadline of Ex. 04","shortMessageHtmlLink":"Delay deadline of Ex. 04"}},{"before":"cabc394fc0c07b165d1d0b65e0501ee857416eb9","after":"259ac7b863d86d8429f4200b262fe823f7fe70c7","ref":"refs/heads/main","pushedAt":"2024-06-27T12:41:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"First version of l11 (application highlights)","shortMessageHtmlLink":"First version of l11 (application highlights)"}},{"before":"72cc8066016614407ddc5432af1c22e817469003","after":"cabc394fc0c07b165d1d0b65e0501ee857416eb9","ref":"refs/heads/main","pushedAt":"2024-06-25T08:02:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Add reference to ex04","shortMessageHtmlLink":"Add reference to ex04"}},{"before":"d875cdbd1ce2f1fadefe1a4c35c571005f2a6d45","after":"72cc8066016614407ddc5432af1c22e817469003","ref":"refs/heads/main","pushedAt":"2024-06-25T07:58:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"domschrei","name":"Dominik Schreiber","path":"/domschrei","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17687040?s=80&v=4"},"commit":{"message":"Add parallel SAT lectures (still w/o sources, need to sort out dependencies)","shortMessageHtmlLink":"Add parallel SAT lectures (still w/o sources, need to sort out depend…"}},{"before":"cbb6013f2112d8505d4d129d1f03f3359ceeb26a","after":"d875cdbd1ce2f1fadefe1a4c35c571005f2a6d45","ref":"refs/heads/main","pushedAt":"2024-06-17T20:31:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"biotomas","name":"Tomas Balyo","path":"/biotomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2384447?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6e55a2d65fc95b21af559f310c447107244eb7ab","after":"cbb6013f2112d8505d4d129d1f03f3359ceeb26a","ref":"refs/heads/main","pushedAt":"2024-06-17T20:30:19.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"biotomas","name":"Tomas Balyo","path":"/biotomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2384447?s=80&v=4"},"commit":{"message":"Merge pull request #2 from biotomas/main\n\nupdated l10 slides and readme","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358200755\" data-permission-text=\"Title is private\" data-url=\"https://github.com/satlecture/kit2024/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/satlecture/kit2024/pull/2/hovercard\" href=\"https://github.com/satlecture/kit2024/pull/2\">#2</a> from biotomas/main"}},{"before":"fc79c5dc977967562ab218a6a3e0d0b62d1a6d87","after":"6e55a2d65fc95b21af559f310c447107244eb7ab","ref":"refs/heads/main","pushedAt":"2024-06-16T14:48:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"Merge pull request #1 from biotomas/main\n\nAdding slides for lectures about maxsat and planning as SAT","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2355808006\" data-permission-text=\"Title is private\" data-url=\"https://github.com/satlecture/kit2024/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/satlecture/kit2024/pull/1/hovercard\" href=\"https://github.com/satlecture/kit2024/pull/1\">#1</a> from biotomas/main"}},{"before":"fd0ddc8e229f19303609acbf23d471c6a8c3c845","after":"fc79c5dc977967562ab218a6a3e0d0b62d1a6d87","ref":"refs/heads/main","pushedAt":"2024-06-12T09:21:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"ex4","shortMessageHtmlLink":"ex4"}},{"before":"48b6cb6ea8a132c3358aa6fef709aa0281e3f466","after":"fd0ddc8e229f19303609acbf23d471c6a8c3c845","ref":"refs/heads/main","pushedAt":"2024-06-11T11:44:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"ex4 draft","shortMessageHtmlLink":"ex4 draft"}},{"before":"ba246072bbad421334f5ed24b9743d17a90e1238","after":"48b6cb6ea8a132c3358aa6fef709aa0281e3f466","ref":"refs/heads/main","pushedAt":"2024-06-10T12:02:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"0b4c6d60e3e70968b718b9d90ad6423fb42cf564","after":"ba246072bbad421334f5ed24b9743d17a90e1238","ref":"refs/heads/main","pushedAt":"2024-06-08T11:37:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"reanem","shortMessageHtmlLink":"reanem"}},{"before":"54423423b86a9fc0ec466093e23977645adb5ff3","after":"0b4c6d60e3e70968b718b9d90ad6423fb42cf564","ref":"refs/heads/main","pushedAt":"2024-06-08T11:27:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"2629650664d43deabe25742553843acfbe7c9e4e","after":"54423423b86a9fc0ec466093e23977645adb5ff3","ref":"refs/heads/main","pushedAt":"2024-06-07T09:48:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ba9f3e67030581343146a6288fb259ca5688470f","after":"2629650664d43deabe25742553843acfbe7c9e4e","ref":"refs/heads/main","pushedAt":"2024-06-07T09:46:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a69fef859c9ae1daefb655ddd1130b2c5d22343d","after":"ba9f3e67030581343146a6288fb259ca5688470f","ref":"refs/heads/main","pushedAt":"2024-06-07T09:42:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"repository link","shortMessageHtmlLink":"repository link"}},{"before":"df40ac82fedc35e9448601515c8fd2cf8161bd1e","after":"a69fef859c9ae1daefb655ddd1130b2c5d22343d","ref":"refs/heads/main","pushedAt":"2024-06-04T12:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"space","shortMessageHtmlLink":"space"}},{"before":"67f822f497c9dbb65a41a9430b48300c1b2f28f7","after":"df40ac82fedc35e9448601515c8fd2cf8161bd1e","ref":"refs/heads/main","pushedAt":"2024-06-04T12:23:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"ex3","shortMessageHtmlLink":"ex3"}},{"before":"41952a2a784000983da3bc709a17e11bf7db092f","after":"67f822f497c9dbb65a41a9430b48300c1b2f28f7","ref":"refs/heads/main","pushedAt":"2024-06-03T13:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"lecture today","shortMessageHtmlLink":"lecture today"}},{"before":"8ab38932dd58112ca2dd83b47a6d57b33403cdc3","after":"41952a2a784000983da3bc709a17e11bf7db092f","ref":"refs/heads/main","pushedAt":"2024-05-27T13:42:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"f580e6c643c9b8391f39a6c7818afd90ca249651","after":"8ab38932dd58112ca2dd83b47a6d57b33403cdc3","ref":"refs/heads/main","pushedAt":"2024-05-27T13:00:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Udopia","name":"Markus Iser","path":"/Udopia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5645870?s=80&v=4"},"commit":{"message":"slidestoday","shortMessageHtmlLink":"slidestoday"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQxNzoxMjoyNi4wMDAwMDBazwAAAASYXLVw","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQxNzoxMjoyNi4wMDAwMDBazwAAAASYXLVw","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yN1QxMzowMDozMy4wMDAwMDBazwAAAARU5sJg"}},"title":"Activity · satlecture/kit2024"}