{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":101111047,"defaultBranch":"master","name":"oink","ownerLogin":"trolando","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-08-22T21:58:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/613469?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1625414447.886789","currentOid":""},"activityList":{"items":[{"before":"3982fe109f3ab2580d8ba36c789531beae0b46f5","after":"416487b12405cabed73472f22a2ccd3d4f67612c","ref":"refs/heads/master","pushedAt":"2024-03-26T10:56:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Fix compiling error due to missing include","shortMessageHtmlLink":"Fix compiling error due to missing include"}},{"before":"34dbd4f2c624938110fa3b2ad92b502714408813","after":"3982fe109f3ab2580d8ba36c789531beae0b46f5","ref":"refs/heads/master","pushedAt":"2023-12-10T18:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Added parity game examples from SYNTCOMP benchmarks","shortMessageHtmlLink":"Added parity game examples from SYNTCOMP benchmarks"}},{"before":"6f849c74bdaa3dbf44c808654f29864df45dcaa4","after":"34dbd4f2c624938110fa3b2ad92b502714408813","ref":"refs/heads/master","pushedAt":"2023-11-07T13:34:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Fix error in symsi counterexample","shortMessageHtmlLink":"Fix error in symsi counterexample"}},{"before":"a3cd3d193c99f4e116e07f2c824223a4089836a6","after":"6f849c74bdaa3dbf44c808654f29864df45dcaa4","ref":"refs/heads/master","pushedAt":"2023-10-25T22:59:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"73dc74bbce45e8cacfc504a24c6e701521d58197","after":"a3cd3d193c99f4e116e07f2c824223a4089836a6","ref":"refs/heads/master","pushedAt":"2023-10-25T22:55:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"3e844a96f7b4aeb629997946b315514accd42693","after":"73dc74bbce45e8cacfc504a24c6e701521d58197","ref":"refs/heads/master","pushedAt":"2023-10-25T22:47:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"24686cef5d67ee12066a64bdbe199f5aad6a693b","after":"3e844a96f7b4aeb629997946b315514accd42693","ref":"refs/heads/master","pushedAt":"2023-10-25T22:46:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"f87b4267c7b9be875725d31f1995c4e96f33188c","after":"24686cef5d67ee12066a64bdbe199f5aad6a693b","ref":"refs/heads/master","pushedAt":"2023-10-25T22:37:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"f497582659e4b149e189cb9e793a3e47e1322b3e","after":"f87b4267c7b9be875725d31f1995c4e96f33188c","ref":"refs/heads/master","pushedAt":"2023-10-25T22:33:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"e24fa12ea7b92df7ebb022b733902fb694a8ef6e","after":"f497582659e4b149e189cb9e793a3e47e1322b3e","ref":"refs/heads/master","pushedAt":"2023-10-25T22:31:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Try to fix CMake export","shortMessageHtmlLink":"Try to fix CMake export"}},{"before":"8d234964b8596799832aada2652e01b37e48a7ef","after":"e24fa12ea7b92df7ebb022b733902fb694a8ef6e","ref":"refs/heads/master","pushedAt":"2023-10-25T22:28:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":":Always build the solver (for consistency with export/install)","shortMessageHtmlLink":":Always build the solver (for consistency with export/install)"}},{"before":"bb52a1084e3ef0ab5b4b696a776991b4b62f1568","after":"8d234964b8596799832aada2652e01b37e48a7ef","ref":"refs/heads/master","pushedAt":"2023-10-25T22:27:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Always build the solver (for consistency with export/install)","shortMessageHtmlLink":"Always build the solver (for consistency with export/install)"}},{"before":"b8c0f3e2662007f266543066e721a9ad940dd8f4","after":"bb52a1084e3ef0ab5b4b696a776991b4b62f1568","ref":"refs/heads/master","pushedAt":"2023-10-25T22:21:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Move public headers out of the src folder","shortMessageHtmlLink":"Move public headers out of the src folder"}},{"before":"b12320849bc8af0ab44b233cf6211d9d0db57f6d","after":"b8c0f3e2662007f266543066e721a9ad940dd8f4","ref":"refs/heads/master","pushedAt":"2023-10-25T22:13:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Move public headers out of the src folder","shortMessageHtmlLink":"Move public headers out of the src folder"}},{"before":"c0c646b08bcab1a5ae3afba7921d9cdab53b05e8","after":"b12320849bc8af0ab44b233cf6211d9d0db57f6d","ref":"refs/heads/master","pushedAt":"2023-10-25T21:48:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update compiler versions for GitHub Actions","shortMessageHtmlLink":"Update compiler versions for GitHub Actions"}},{"before":"0ea14c96239b3e456fb2366212e011ee36d6a7fe","after":"c0c646b08bcab1a5ae3afba7921d9cdab53b05e8","ref":"refs/heads/master","pushedAt":"2023-10-25T21:48:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"fix things","shortMessageHtmlLink":"fix things"}},{"before":"e49109d1ab31c1300a3f283ebcf93d81468d2fc3","after":"0ea14c96239b3e456fb2366212e011ee36d6a7fe","ref":"refs/heads/master","pushedAt":"2023-10-25T21:45:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update compiler versions for GitHub Actions","shortMessageHtmlLink":"Update compiler versions for GitHub Actions"}},{"before":"15571d30f5c0f76048e84e352ce82ad4af60cd8e","after":"e49109d1ab31c1300a3f283ebcf93d81468d2fc3","ref":"refs/heads/master","pushedAt":"2023-10-25T21:44:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update compiler versions for GitHub Actions","shortMessageHtmlLink":"Update compiler versions for GitHub Actions"}},{"before":"dceb8d747494c2d8be8691ec5943c19aeaa9534b","after":"15571d30f5c0f76048e84e352ce82ad4af60cd8e","ref":"refs/heads/master","pushedAt":"2023-10-25T21:44:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update compiler versions for GitHub Actions","shortMessageHtmlLink":"Update compiler versions for GitHub Actions"}},{"before":"df3b84e198df2a4136fbe269ce2915c450ec2995","after":"dceb8d747494c2d8be8691ec5943c19aeaa9534b","ref":"refs/heads/master","pushedAt":"2023-10-25T21:41:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Allow installing the Oink library and the solver","shortMessageHtmlLink":"Allow installing the Oink library and the solver"}},{"before":"c51ee3bbcb1f5fdcc477609e2c563d7d9fc5b006","after":"df3b84e198df2a4136fbe269ce2915c450ec2995","ref":"refs/heads/master","pushedAt":"2023-09-28T16:26:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"2f430e7062798f586c09ee1103e053f4975e2a22","after":"c51ee3bbcb1f5fdcc477609e2c563d7d9fc5b006","ref":"refs/heads/master","pushedAt":"2023-07-25T13:48:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Added labels to counter_symsi","shortMessageHtmlLink":"Added labels to counter_symsi"}},{"before":"13ccfb3c1c425837c28404750aaddb18d863970f","after":"2f430e7062798f586c09ee1103e053f4975e2a22","ref":"refs/heads/master","pushedAt":"2023-07-25T13:43:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Improved order of edges in counterexample","shortMessageHtmlLink":"Improved order of edges in counterexample"}},{"before":"2271682df50ecc2c9ae9225d4fbd808176c60240","after":"13ccfb3c1c425837c28404750aaddb18d863970f","ref":"refs/heads/master","pushedAt":"2023-07-25T13:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Counterexample of Matthew Maat for SSI generalized version","shortMessageHtmlLink":"Counterexample of Matthew Maat for SSI generalized version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEH4NPIwA","startCursor":null,"endCursor":null}},"title":"Activity · trolando/oink"}