{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":321568907,"defaultBranch":"main","name":"CSP-Prover","ownerLogin":"yoshinao-isobe","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-15T06:02:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38467114?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1616801304.700781","currentOid":""},"activityList":{"items":[{"before":"bd6e3e68ce07cb6a0de00af48ccabd1aa2ea11c2","after":"b3c0c30b0e218820b76a180d989eb1c2316ef4b4","ref":"refs/heads/jbjj-phd","pushedAt":"2023-11-10T18:55:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jbjj","name":"Joabe Jesus","path":"/jbjj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8330781?s=80&v=4"},"commit":{"message":"Improved and fixed imports\n\nImproved Lemma2 proof using fast instead of blast.\nFixed imports.\nCreated new files for TOCKSTick and Timeout.","shortMessageHtmlLink":"Improved and fixed imports"}},{"before":"0604897c03fbc199802ba8cc741b7e7954e6e5f1","after":"bd6e3e68ce07cb6a0de00af48ccabd1aa2ea11c2","ref":"refs/heads/jbjj-phd","pushedAt":"2023-11-10T16:00:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jbjj","name":"Joabe Jesus","path":"/jbjj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8330781?s=80&v=4"},"commit":{"message":"Improved and fixed imports\n\nMoved SKIP_domT to CSP_T_traces\nFixed and improved imports","shortMessageHtmlLink":"Improved and fixed imports"}},{"before":"c7ef87d1520835133dc740843c6885f86d861567","after":"0604897c03fbc199802ba8cc741b7e7954e6e5f1","ref":"refs/heads/jbjj-phd","pushedAt":"2023-11-08T21:54:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jbjj","name":"Joabe Jesus","path":"/jbjj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8330781?s=80&v=4"},"commit":{"message":"CSP-Prover v6 for Isabelle 2021\n\nMissing in the previous commit.","shortMessageHtmlLink":"CSP-Prover v6 for Isabelle 2021"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrHPeHQA","startCursor":null,"endCursor":null}},"title":"Activity · yoshinao-isobe/CSP-Prover"}