{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":481236544,"defaultBranch":"gh-pages","name":"ct-tools","ownerLogin":"crocs-muni","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-04-13T13:53:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9287104?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1649858056.184593","currentOid":""},"activityList":{"items":[{"before":"a3148c559cfbca730512a9c518110a11c9f72a52","after":"3efb5883e273458e72d4f12aca177fc19a4dc452","ref":"refs/heads/gh-pages","pushedAt":"2024-08-21T15:02:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add table sort.","shortMessageHtmlLink":"Add table sort."}},{"before":"6d446ff42a771c27aa35774935fd9aa25d2b4263","after":"a3148c559cfbca730512a9c518110a11c9f72a52","ref":"refs/heads/gh-pages","pushedAt":"2024-08-21T14:38:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add Pendulum.\n\nFixes #24.","shortMessageHtmlLink":"Add Pendulum."}},{"before":"a5958a6dde087a0386183af750fa8420e3032cd6","after":"6d446ff42a771c27aa35774935fd9aa25d2b4263","ref":"refs/heads/gh-pages","pushedAt":"2024-08-21T14:37:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add CT-Prover.\n\nFixes #23.","shortMessageHtmlLink":"Add CT-Prover."}},{"before":"1928d0ecb8f5dba949ea02cc9c60b3c94353576a","after":"a5958a6dde087a0386183af750fa8420e3032cd6","ref":"refs/heads/gh-pages","pushedAt":"2024-05-07T12:56:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"001da711e9ac66eb2cc6e1342c182a0de5ea6f0f","after":"1928d0ecb8f5dba949ea02cc9c60b3c94353576a","ref":"refs/heads/gh-pages","pushedAt":"2024-05-07T12:49:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8f7aeea48cbe9024888a5859c95407abf3f5c41f","after":"001da711e9ac66eb2cc6e1342c182a0de5ea6f0f","ref":"refs/heads/gh-pages","pushedAt":"2024-03-11T16:52:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Better style.","shortMessageHtmlLink":"Better style."}},{"before":"78aeab5689ad174c7af954dde484dab7180c1bc8","after":"8f7aeea48cbe9024888a5859c95407abf3f5c41f","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T14:12:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Polish.","shortMessageHtmlLink":"Polish."}},{"before":"1a84684794396fd4f92c5a31023332fe07d173e6","after":"78aeab5689ad174c7af954dde484dab7180c1bc8","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T14:08:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Cleanup page design.","shortMessageHtmlLink":"Cleanup page design."}},{"before":"ad4d6d5010ff703b71715714b291e872c4893669","after":"1a84684794396fd4f92c5a31023332fe07d173e6","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T13:52:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Fix tool number display.","shortMessageHtmlLink":"Fix tool number display."}},{"before":"975b02528c70ca4e72886beedb557cb83baa2499","after":"ad4d6d5010ff703b71715714b291e872c4893669","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T13:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add links to godbolt compiler results for examples.","shortMessageHtmlLink":"Add links to godbolt compiler results for examples."}},{"before":"5f299c83c400ff0d3981841fab063b5328e9cedf","after":"975b02528c70ca4e72886beedb557cb83baa2499","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T13:27:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add number of tools to page.","shortMessageHtmlLink":"Add number of tools to page."}},{"before":"b84ed2b14bffe73fbf5183e7a51232c11ea4f8c2","after":"5f299c83c400ff0d3981841fab063b5328e9cedf","ref":"refs/heads/gh-pages","pushedAt":"2024-03-06T13:17:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add more tools from paper.","shortMessageHtmlLink":"Add more tools from paper."}},{"before":"9d2e6f11366286e362a48292eb1ee1984970389f","after":"b84ed2b14bffe73fbf5183e7a51232c11ea4f8c2","ref":"refs/heads/gh-pages","pushedAt":"2024-03-04T14:06:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Fix Abacus link to paper and companion tutorial.","shortMessageHtmlLink":"Fix Abacus link to paper and companion tutorial."}},{"before":"c1f044b557cd9decf7e517f850a048b9f124f361","after":"9d2e6f11366286e362a48292eb1ee1984970389f","ref":"refs/heads/gh-pages","pushedAt":"2024-02-26T10:00:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Merge pull request #21 from siriuswhiter/patch-1\n\nfix wrong CANAL repo url","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2153616649\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crocs-muni/ct-tools/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crocs-muni/ct-tools/pull/21/hovercard\" href=\"https://github.com/crocs-muni/ct-tools/pull/21\">#21</a> from siriuswhiter/patch-1"}},{"before":"ec494805449ec7fd1be519d74ee6bfa0fbf55c4b","after":"c1f044b557cd9decf7e517f850a048b9f124f361","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T16:31:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add favicon.","shortMessageHtmlLink":"Add favicon."}},{"before":"7882ea5a629cb1666d186d04aa0d61fca2f3db88","after":"ec494805449ec7fd1be519d74ee6bfa0fbf55c4b","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T15:35:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add install scripts.\n\nFixes #5.","shortMessageHtmlLink":"Add install scripts."}},{"before":"0fc5796087c6ae7bd3d5e87344a6e0b1a7a2fad7","after":"7882ea5a629cb1666d186d04aa0d61fca2f3db88","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T15:11:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add examples.\n\n Fixes #1","shortMessageHtmlLink":"Add examples."}},{"before":"1a7d7f3373101119b281a8d1ae1718e5b90407d5","after":"0fc5796087c6ae7bd3d5e87344a6e0b1a7a2fad7","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T14:38:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Be a bit more formal, move Oprah down.","shortMessageHtmlLink":"Be a bit more formal, move Oprah down."}},{"before":"48d7ff754f3d12174ef5d750bf3190a7e137e5cb","after":"1a7d7f3373101119b281a8d1ae1718e5b90407d5","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T14:35:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Add tutorials.\n\nFixes #2.","shortMessageHtmlLink":"Add tutorials."}},{"before":"8df4d1d3723040b914df926631fb4fd7059cdf5a","after":"48d7ff754f3d12174ef5d750bf3190a7e137e5cb","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T12:55:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Do not display our Github link in tool header.","shortMessageHtmlLink":"Do not display our Github link in tool header."}},{"before":"4fcc4374e4cc18e69a6b0e8f613edcf74cf5c89e","after":"8df4d1d3723040b914df926631fb4fd7059cdf5a","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T12:54:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Fix Oprah link.","shortMessageHtmlLink":"Fix Oprah link."}},{"before":"5fb22a7a6c80524218f8f073a549bb83e605634c","after":"4fcc4374e4cc18e69a6b0e8f613edcf74cf5c89e","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T12:52:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Fix name case.","shortMessageHtmlLink":"Fix name case."}},{"before":"6d02104db9742a049f55600c273db48d87e16b8e","after":"5fb22a7a6c80524218f8f073a549bb83e605634c","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T12:41:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Move back to index.md","shortMessageHtmlLink":"Move back to index.md"}},{"before":"f39d0fb4225ad71a74c39448ffc77cf4fe5f2182","after":"6d02104db9742a049f55600c273db48d87e16b8e","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T12:34:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Finish all the tool pages.","shortMessageHtmlLink":"Finish all the tool pages."}},{"before":"21036032e4d4b3fdbc5660dd5fa4e96e8b612eb5","after":"f39d0fb4225ad71a74c39448ffc77cf4fe5f2182","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T11:56:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Fix MemSan in table.","shortMessageHtmlLink":"Fix MemSan in table."}},{"before":"f9899dbceff123012e1cd45e20344a4e4ffe2fcb","after":"21036032e4d4b3fdbc5660dd5fa4e96e8b612eb5","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T11:50:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Few more tools.","shortMessageHtmlLink":"Few more tools."}},{"before":"ec80713999cd04052b49916af0e0d0270b6e1c33","after":"f9899dbceff123012e1cd45e20344a4e4ffe2fcb","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T11:08:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Five more tools.","shortMessageHtmlLink":"Five more tools."}},{"before":"67c0a1499942e070af847865cdb3cc3766b7b9d2","after":"ec80713999cd04052b49916af0e0d0270b6e1c33","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T10:53:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Even moar tools.","shortMessageHtmlLink":"Even moar tools."}},{"before":"7a8f4974ad867f74ab35bea52dbc26877a98e501","after":"67c0a1499942e070af847865cdb3cc3766b7b9d2","ref":"refs/heads/gh-pages","pushedAt":"2024-02-21T10:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Give more tools pages.","shortMessageHtmlLink":"Give more tools pages."}},{"before":"fee2cac52babd98e4ffe8e8ff1a67c44416fa854","after":"7a8f4974ad867f74ab35bea52dbc26877a98e501","ref":"refs/heads/gh-pages","pushedAt":"2024-02-19T22:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"J08nY","name":"Ján Jančár","path":"/J08nY","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1296726?s=80&v=4"},"commit":{"message":"Move to autogenerated list.","shortMessageHtmlLink":"Move to autogenerated list."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEoFTmpgA","startCursor":null,"endCursor":null}},"title":"Activity · crocs-muni/ct-tools"}