{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":272462148,"defaultBranch":"master","name":"knor","ownerLogin":"trolando","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-06-15T14:34:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/613469?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697479689.0","currentOid":""},"activityList":{"items":[{"before":"80400678c0eeff75cb1ab54066effcae5694fbab","after":"98ac18594369d3f010a20a43ae781d66ac87d742","ref":"refs/heads/master","pushedAt":"2024-03-26T21:35:54.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":"Tidy up more towards modern C++","shortMessageHtmlLink":"Tidy up more towards modern C++"}},{"before":"489b5e06a3bc4512dbca89df7f3db73b6c30fb6b","after":"80400678c0eeff75cb1ab54066effcae5694fbab","ref":"refs/heads/master","pushedAt":"2024-03-26T10:47: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":"Allow Knor to build on OSX with external Lace","shortMessageHtmlLink":"Allow Knor to build on OSX with external Lace"}},{"before":"64f332f38d7236e3f9ccacd771bc49f1077a0653","after":"489b5e06a3bc4512dbca89df7f3db73b6c30fb6b","ref":"refs/heads/master","pushedAt":"2024-03-25T20:26:05.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Major refactor to move AIGER stuff into AIG circuit and fix many C++ style problems","shortMessageHtmlLink":"Major refactor to move AIGER stuff into AIG circuit and fix many C++ …"}},{"before":"4f1f3d1ca4d27577f31b97b11ded9eee0718fbd6","after":"64f332f38d7236e3f9ccacd771bc49f1077a0653","ref":"refs/heads/master","pushedAt":"2024-02-03T20:32:23.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":"Some cleanup plus a useful print_vars method in SymGame","shortMessageHtmlLink":"Some cleanup plus a useful print_vars method in SymGame"}},{"before":"efd1dbec8056c223c0c22a1b7cd0e5df8d01832b","after":"4f1f3d1ca4d27577f31b97b11ded9eee0718fbd6","ref":"refs/heads/master","pushedAt":"2024-02-03T20:30:29.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":"Some cleanup plus a useful print_vars method in SymGame","shortMessageHtmlLink":"Some cleanup plus a useful print_vars method in SymGame"}},{"before":"af86c0984580023162be21b3ae19deb9541897b7","after":"efd1dbec8056c223c0c22a1b7cd0e5df8d01832b","ref":"refs/heads/master","pushedAt":"2024-02-03T20:26:28.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Some cleanup plus a useful print_vars method in SymGame","shortMessageHtmlLink":"Some cleanup plus a useful print_vars method in SymGame"}},{"before":"96d72bff719929d5ffc604de77b04c2eea8a22dd","after":"eb2220ea7f8a35d2838dc007c2fb9cd5b5dd3374","ref":"refs/heads/bisim-game","pushedAt":"2024-02-03T15:50:27.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":"Some improvements to Knor command line options","shortMessageHtmlLink":"Some improvements to Knor command line options"}},{"before":"2d65a5bd7ef04e7af7dfb969f8deb0197cd898d0","after":"af86c0984580023162be21b3ae19deb9541897b7","ref":"refs/heads/master","pushedAt":"2024-02-03T15:49:37.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 test.sh selection of options","shortMessageHtmlLink":"Update test.sh selection of options"}},{"before":"00d886915557bc033113bfee3ed4e22ffadf1559","after":"2d65a5bd7ef04e7af7dfb969f8deb0197cd898d0","ref":"refs/heads/master","pushedAt":"2023-10-25T22:59:34.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":"Use slightly newer Sylvan/Oink/Lace versions that allow dependency via find_package","shortMessageHtmlLink":"Use slightly newer Sylvan/Oink/Lace versions that allow dependency vi…"}},{"before":"952671c167a8ad0e810875f3de276c59cf980262","after":"00d886915557bc033113bfee3ed4e22ffadf1559","ref":"refs/heads/master","pushedAt":"2023-10-25T22:57:25.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":"Use slightly newer Sylvan/Oink/Lace versions that allow dependency via find_package","shortMessageHtmlLink":"Use slightly newer Sylvan/Oink/Lace versions that allow dependency vi…"}},{"before":"5ab8a2032103b686c51c2c7587a30e70b948523e","after":"952671c167a8ad0e810875f3de276c59cf980262","ref":"refs/heads/master","pushedAt":"2023-10-16T18:08: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":"Saner defaults","shortMessageHtmlLink":"Saner defaults"}},{"before":"d71a0727b9523d72a8f2a4bfe2b3fe0e941b8dbd","after":"5ab8a2032103b686c51c2c7587a30e70b948523e","ref":"refs/heads/master","pushedAt":"2023-10-16T17:34:24.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Don't report so much from Oink","shortMessageHtmlLink":"Don't report so much from Oink"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIBjkDAA","startCursor":null,"endCursor":null}},"title":"Activity · trolando/knor"}