{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":339463523,"defaultBranch":"main","name":"Z_Toolkit","ownerLogin":"isabelle-utp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-16T16:41:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9845947?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1639650971.122018","currentOid":""},"activityList":{"items":[{"before":"45eafeecb552c6d57f7d980480eb130ffbdf65f2","after":"e3545e7c7f0fdc8c4d9ecc06f6462cba49a94add","ref":"refs/heads/main","pushedAt":"2024-07-02T13:48:33.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 adding clearjunk","shortMessageHtmlLink":"Small fix adding clearjunk"}},{"before":"35ea2d32b204bb6611ce0abf48c2bb51cc12cec6","after":"45eafeecb552c6d57f7d980480eb130ffbdf65f2","ref":"refs/heads/main","pushedAt":"2024-07-02T13:39: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":"Added implementation of pfuse for associative lists","shortMessageHtmlLink":"Added implementation of pfuse for associative lists"}},{"before":"ce22b5f906af5852187bd7065ee24ca3284e2f53","after":"35ea2d32b204bb6611ce0abf48c2bb51cc12cec6","ref":"refs/heads/main","pushedAt":"2024-06-21T11:00:46.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":"Made channel instantiation overloaded, to allow for both single and multiple parameters.","shortMessageHtmlLink":"Made channel instantiation overloaded, to allow for both single and m…"}},{"before":"b595a722a23ce80b9cb481f01f20019d41ce56cb","after":"ce22b5f906af5852187bd7065ee24ca3284e2f53","ref":"refs/heads/main","pushedAt":"2024-06-21T09:42:01.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 dot notation for channel sets","shortMessageHtmlLink":"Added dot notation for channel sets"}},{"before":"9e39128024903e479e3680443bd17e1b82be1994","after":"b595a722a23ce80b9cb481f01f20019d41ce56cb","ref":"refs/heads/main","pushedAt":"2024-06-04T10:49:20.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 channel instantiation and enumerated renamings","shortMessageHtmlLink":"Added channel instantiation and enumerated renamings"}},{"before":"e90bf8641813d545610ea9f66368e284cd7654f6","after":"9e39128024903e479e3680443bd17e1b82be1994","ref":"refs/heads/main","pushedAt":"2024-06-03T20:54:48.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 a command to help definition of (mutually) recursive action blocks","shortMessageHtmlLink":"Added a command to help definition of (mutually) recursive action blocks"}},{"before":"bcd7296fa82b965ac4d25d77bc5d2c8578a10529","after":"e90bf8641813d545610ea9f66368e284cd7654f6","ref":"refs/heads/main","pushedAt":"2024-05-24T08:59:58.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 a utility theory for channels and events.","shortMessageHtmlLink":"Added a utility theory for channels and events."}},{"before":"00f70ee7d4c88e471121500e032addea0b80435a","after":"bcd7296fa82b965ac4d25d77bc5d2c8578a10529","ref":"refs/heads/main","pushedAt":"2024-03-30T01:33:09.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":"6cf91d3a9ebef80077b8b06045caa64cf0b09a40","after":"00f70ee7d4c88e471121500e032addea0b80435a","ref":"refs/heads/main","pushedAt":"2024-02-06T13:46: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":"Improved tabulate command so that it resizes columns individually","shortMessageHtmlLink":"Improved tabulate command so that it resizes columns individually"}},{"before":"48ed9d98c672496ff692fceda7e02dd649f5d4d9","after":"6cf91d3a9ebef80077b8b06045caa64cf0b09a40","ref":"refs/heads/main","pushedAt":"2024-02-05T14:40: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 a command to print tabulations of enumerable types (e.g. truth tables)","shortMessageHtmlLink":"Added a command to print tabulations of enumerable types (e.g. truth …"}},{"before":"d6ffb1199c7ff2f7df825ab5cb789117e93f4bb7","after":"48ed9d98c672496ff692fceda7e02dd649f5d4d9","ref":"refs/heads/main","pushedAt":"2024-01-22T11:32: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 unnecessary clash with HOL \"last\" function","shortMessageHtmlLink":"Removed unnecessary clash with HOL \"last\" function"}},{"before":"c2c4e3a53e7e0a2d508ac48ffcb09ff1aeefad46","after":"d6ffb1199c7ff2f7df825ab5cb789117e93f4bb7","ref":"refs/heads/main","pushedAt":"2024-01-15T15:35:12.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":"Fixes for Isabelle 2023","shortMessageHtmlLink":"Fixes for Isabelle 2023"}},{"before":"5e86b10cdfd7607db7b1c3a19fa58e7f7dd1bd9c","after":"c2c4e3a53e7e0a2d508ac48ffcb09ff1aeefad46","ref":"refs/heads/main","pushedAt":"2023-05-15T22:32:35.873Z","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":"8005681355328c226169b138da06880e2b9a6685","after":"5e86b10cdfd7607db7b1c3a19fa58e7f7dd1bd9c","ref":"refs/heads/main","pushedAt":"2023-05-12T12:57:28.222Z","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":"Made public the functionality of def_const and def_consts","shortMessageHtmlLink":"Made public the functionality of def_const and def_consts"}},{"before":"87271e3ac0e8fe9092603a2ec2e8df5484903f50","after":"8005681355328c226169b138da06880e2b9a6685","ref":"refs/heads/main","pushedAt":"2023-05-05T16:13:55.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":"Improved enumtype command so it produces a set of the names inside, and supports better code generation","shortMessageHtmlLink":"Improved enumtype command so it produces a set of the names inside, a…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdN_kigA","startCursor":null,"endCursor":null}},"title":"Activity · isabelle-utp/Z_Toolkit"}