{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":327476926,"defaultBranch":"main","name":"Shallow-Expressions","ownerLogin":"isabelle-utp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-07T02:03:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9845947?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1657031597.544132","currentOid":""},"activityList":{"items":[{"before":"b30d1fcbf773fbebad90ee1b027a9360afcd4686","after":"72108b98c01e866eaac7ad0490d49ef9b9fa3ada","ref":"refs/heads/main","pushedAt":"2024-03-30T01:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lexbailey","name":"Lex Bailey","path":"/lexbailey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4355293?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"556985fa9cf4d30fbfb9c3c0079c4a54e18c2c23","after":"b30d1fcbf773fbebad90ee1b027a9360afcd4686","ref":"refs/heads/main","pushedAt":"2024-03-07T11:02:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Added further lemmas to support proof automation of collection lenses","shortMessageHtmlLink":"Added further lemmas to support proof automation of collection lenses"}},{"before":"9dc6ace99102dfbeda1202138043a39c044782e5","after":"556985fa9cf4d30fbfb9c3c0079c4a54e18c2c23","ref":"refs/heads/main","pushedAt":"2024-02-24T19:32:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Small fix in lifting code for expressions with local variables","shortMessageHtmlLink":"Small fix in lifting code for expressions with local variables"}},{"before":"21357f9b8db5076a3337fe67ccc2f826801c6011","after":"9dc6ace99102dfbeda1202138043a39c044782e5","ref":"refs/heads/main","pushedAt":"2024-02-21T11:31:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Integrate local state","shortMessageHtmlLink":"Integrate local state"}},{"before":"1bdaa626dc46f1ab641a93fb8bbaee2353938ca2","after":"21357f9b8db5076a3337fe67ccc2f826801c6011","ref":"refs/heads/main","pushedAt":"2024-02-21T11:29:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Added code to support lifting of local variables","shortMessageHtmlLink":"Added code to support lifting of local variables"}},{"before":"2bdd0f5189fdc6a16234f414888e6c7b6f723d24","after":"1bdaa626dc46f1ab641a93fb8bbaee2353938ca2","ref":"refs/heads/main","pushedAt":"2024-01-30T14:29:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"511ffae92129ef54c6abaa122de3c30be4d935f3","after":"2bdd0f5189fdc6a16234f414888e6c7b6f723d24","ref":"refs/heads/main","pushedAt":"2024-01-16T09:47:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Removed SEXP_sexpr_if from the simplifier","shortMessageHtmlLink":"Removed SEXP_sexpr_if from the simplifier"}},{"before":"6c4f66332f237918bea2cf4425e2b0045d66c1d8","after":"511ffae92129ef54c6abaa122de3c30be4d935f3","ref":"refs/heads/main","pushedAt":"2023-09-28T20:49:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Enhancements to proof automation and further unrestriction and substitution laws","shortMessageHtmlLink":"Enhancements to proof automation and further unrestriction and substi…"}},{"before":"884e9d69cb56d680a67ec9d97c626ae34956fc4d","after":"6c4f66332f237918bea2cf4425e2b0045d66c1d8","ref":"refs/heads/main","pushedAt":"2023-09-11T11:15:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Added injectivity of swap substitution","shortMessageHtmlLink":"Added injectivity of swap substitution"}},{"before":"4f34621ee380c3bddca493b792bfb3a7a6470290","after":"884e9d69cb56d680a67ec9d97c626ae34956fc4d","ref":"refs/heads/main","pushedAt":"2023-09-11T11:14:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Added better support for lifting constants that are expressions","shortMessageHtmlLink":"Added better support for lifting constants that are expressions"}},{"before":"24e1592c8a147ae39ad68f744ec8d3ad4ae31f40","after":"4f34621ee380c3bddca493b792bfb3a7a6470290","ref":"refs/heads/main","pushedAt":"2023-09-11T11:12:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Added definedness properties for partial function collections","shortMessageHtmlLink":"Added definedness properties for partial function collections"}},{"before":"81c2384f856b337ac8f00a0da74439612b4a5158","after":"24e1592c8a147ae39ad68f744ec8d3ad4ae31f40","ref":"refs/heads/main","pushedAt":"2023-05-15T22:33:09.031Z","pushType":"push","commitsCount":1,"pusher":{"login":"lexbailey","name":"Lex Bailey","path":"/lexbailey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4355293?s=80&v=4"},"commit":{"message":"update build","shortMessageHtmlLink":"update build"}},{"before":"30f07bfc325a8b0e165b7a52c3dbc1c139e7053f","after":"81c2384f856b337ac8f00a0da74439612b4a5158","ref":"refs/heads/main","pushedAt":"2023-04-20T19:59:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Tweak to pretty printing","shortMessageHtmlLink":"Tweak to pretty printing"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIxbUzQA","startCursor":null,"endCursor":null}},"title":"Activity · isabelle-utp/Shallow-Expressions"}