{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":406404358,"defaultBranch":"main","name":"Z_Machines","ownerLogin":"isabelle-utp","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-14T14:38:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9845947?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720038605.0","currentOid":""},"activityList":{"items":[{"before":"4e6012b32a138d0c4c17ddea9d5c0686ef014269","after":"4561c8803341e6f859cc94512909bcddfd2a7cdc","ref":"refs/heads/main","pushedAt":"2024-08-06T19:40:30.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":"Updated Z_Machines to use the new type signature for generating channels types","shortMessageHtmlLink":"Updated Z_Machines to use the new type signature for generating chann…"}},{"before":"ab55609b8ee915c8af28fa31e6af305012b2891b","after":"4e6012b32a138d0c4c17ddea9d5c0686ef014269","ref":"refs/heads/main","pushedAt":"2024-07-30T14:02: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":"Improved invariant and deadlock freedom proofs in Z-Machines for extended operations","shortMessageHtmlLink":"Improved invariant and deadlock freedom proofs in Z-Machines for exte…"}},{"before":"361be9b286decd3b69409b8c12bdc343ed75ce6f","after":"ab55609b8ee915c8af28fa31e6af305012b2891b","ref":"refs/heads/main","pushedAt":"2024-07-19T11:50:45.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":"A first go an operation extension. Needs more work.","shortMessageHtmlLink":"A first go an operation extension. Needs more work."}},{"before":"6265785158e208868f33559688382e6b0d93b511","after":"361be9b286decd3b69409b8c12bdc343ed75ce6f","ref":"refs/heads/main","pushedAt":"2024-07-17T11:36:39.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":"Fix to \"preserves\" syntax merge","shortMessageHtmlLink":"Fix to \"preserves\" syntax merge"}},{"before":"b73e4a873c99c1261e4053988f1c97c5c1f792d6","after":"6265785158e208868f33559688382e6b0d93b511","ref":"refs/heads/main","pushedAt":"2024-07-17T11:20:44.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Merge branch 'outputs_pre'","shortMessageHtmlLink":"Merge branch 'outputs_pre'"}},{"before":"36482da4a1cdcdb93cfcfabff7d89e3c55df542c","after":"509c7c29658c84c71bbd8d6c16282e7cd9f80497","ref":"refs/heads/outputs_pre","pushedAt":"2024-07-17T11:18:27.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 to examples for new version of Z-Machines","shortMessageHtmlLink":"Fixes to examples for new version of Z-Machines"}},{"before":"54e52105e527ecd93f80446f4d3af120ebc79f09","after":"36482da4a1cdcdb93cfcfabff7d89e3c55df542c","ref":"refs/heads/outputs_pre","pushedAt":"2024-07-10T15:25:24.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 precondition generation for promoted and directly defined operations. Removed \"where\" clauses from operations, as they are not needed.","shortMessageHtmlLink":"Added precondition generation for promoted and directly defined opera…"}},{"before":"10a03d32f1fe9ba05f5761a957b0bcf28a48bac5","after":"54e52105e527ecd93f80446f4d3af120ebc79f09","ref":"refs/heads/outputs_pre","pushedAt":"2024-07-09T14:56:24.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 promotion precondition definition","shortMessageHtmlLink":"Added promotion precondition definition"}},{"before":null,"after":"10a03d32f1fe9ba05f5761a957b0bcf28a48bac5","ref":"refs/heads/outputs_pre","pushedAt":"2024-07-03T20:30:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Changed semantics, so that the given precondition is the only guard, rather than having the guard be calculated via weakest preconditions. For most models, this makes no practical difference.","shortMessageHtmlLink":"Changed semantics, so that the given precondition is the only guard, …"}},{"before":"c7cb3a39e202897262bbe10d7b87139d162e04d7","after":"f651a0bd56019446536765ae0f81efc8db912a83","ref":"refs/heads/outputs","pushedAt":"2024-07-03T16:21:15.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":"Changed Z_Machines to build on ITree_VCG, to abstract machines with imperative code","shortMessageHtmlLink":"Changed Z_Machines to build on ITree_VCG, to abstract machines with i…"}},{"before":"6f9d68279183defc5933fba2c9856526b32b5e38","after":"c7cb3a39e202897262bbe10d7b87139d162e04d7","ref":"refs/heads/outputs","pushedAt":"2024-07-03T16:10: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":"Updated the animator and checking tools to properly handle outputs. The Z-Machine animator now expects the IO form explicitly, and so cannot be applied to arbitrary Circus processes.","shortMessageHtmlLink":"Updated the animator and checking tools to properly handle outputs. T…"}},{"before":"d8e2c28d11a33a8e448bc4346bcb554563cf8e89","after":"b73e4a873c99c1261e4053988f1c97c5c1f792d6","ref":"refs/heads/main","pushedAt":"2024-07-03T10:32: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 preserves and establishes syntax","shortMessageHtmlLink":"Added preserves and establishes syntax"}},{"before":"e607480012ac77e424ef33ad363f11e4d5be36a5","after":"6f9d68279183defc5933fba2c9856526b32b5e38","ref":"refs/heads/outputs","pushedAt":"2024-07-02T08:27:28.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":"Restored promotion for new Z-Machines","shortMessageHtmlLink":"Restored promotion for new Z-Machines"}},{"before":"ed496661f10224bfa0615718b11610f8a8779614","after":"e607480012ac77e424ef33ad363f11e4d5be36a5","ref":"refs/heads/outputs","pushedAt":"2024-07-01T20:34:32.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":"Completed the adaptations to add outputs to Z-Machine operations. Still need to fix promotion.","shortMessageHtmlLink":"Completed the adaptations to add outputs to Z-Machine operations. Sti…"}},{"before":"7c7283bf746188d8a89878df99f5d04df04b798e","after":"ed496661f10224bfa0615718b11610f8a8779614","ref":"refs/heads/outputs","pushedAt":"2024-07-01T12:57: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":"Almost completed upgrade of Z-Machines to include outputs","shortMessageHtmlLink":"Almost completed upgrade of Z-Machines to include outputs"}},{"before":"fd8b2e2c51c36748af4ab7a36a9b6636c5324292","after":"7c7283bf746188d8a89878df99f5d04df04b798e","ref":"refs/heads/outputs","pushedAt":"2024-06-28T16:22:42.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":"Fixed up code generation","shortMessageHtmlLink":"Fixed up code generation"}},{"before":null,"after":"fd8b2e2c51c36748af4ab7a36a9b6636c5324292","ref":"refs/heads/outputs","pushedAt":"2024-06-28T15:43:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"simondfoster","name":"Simon Foster","path":"/simondfoster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4542398?s=80&v=4"},"commit":{"message":"Updated commands to allow operations with outputs","shortMessageHtmlLink":"Updated commands to allow operations with outputs"}},{"before":"62427521525e7d5c99351b0f25717a4e857c4b16","after":"d8e2c28d11a33a8e448bc4346bcb554563cf8e89","ref":"refs/heads/main","pushedAt":"2024-06-24T11:01: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 two more buffer variants as examples","shortMessageHtmlLink":"Added two more buffer variants as examples"}},{"before":"0a3adf15f2034ca0c20dbd5c3f95207fb0b63b30","after":"62427521525e7d5c99351b0f25717a4e857c4b16","ref":"refs/heads/main","pushedAt":"2024-03-25T11:36:44.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":"Integrated with random number generation","shortMessageHtmlLink":"Integrated with random number generation"}},{"before":"210cbf4490d8abce590fa32c7c6a86059940fac4","after":"0a3adf15f2034ca0c20dbd5c3f95207fb0b63b30","ref":"refs/heads/main","pushedAt":"2024-01-22T16:45:24.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 temporary file","shortMessageHtmlLink":"Removed temporary file"}},{"before":"5a9553830cebdc145e2d1267b4a0a6b215b1fa44","after":"210cbf4490d8abce590fa32c7c6a86059940fac4","ref":"refs/heads/main","pushedAt":"2024-01-22T16:43:21.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'\n\n# Conflicts:\n#\tZ_Animator.thy","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"bed77dd5f8a215a300e9afba39a7f9e97be08b1b","after":"5a9553830cebdc145e2d1267b4a0a6b215b1fa44","ref":"refs/heads/main","pushedAt":"2024-01-16T11:53:23.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 flag to suppress some warning, notably x-partial","shortMessageHtmlLink":"Added flag to suppress some warning, notably x-partial"}},{"before":"2ef8f7b9d4ee93a8e6a15af55ca6033aadfbad27","after":"bed77dd5f8a215a300e9afba39a7f9e97be08b1b","ref":"refs/heads/main","pushedAt":"2024-01-15T16:03:24.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":"Updates for Isabelle2023","shortMessageHtmlLink":"Updates for Isabelle2023"}},{"before":"dfc50eff1ce5da1e668ad86cb3ff7bf133b7afd1","after":"2ef8f7b9d4ee93a8e6a15af55ca6033aadfbad27","ref":"refs/heads/main","pushedAt":"2023-06-06T15:36:55.879Z","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":"Fixed small bug in testing","shortMessageHtmlLink":"Fixed small bug in testing"}},{"before":"4ddb017666f90aa821a4fc09e0af105834c0b052","after":"dfc50eff1ce5da1e668ad86cb3ff7bf133b7afd1","ref":"refs/heads/main","pushedAt":"2023-06-05T13:45:35.318Z","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":"Renamed \"check_operation\" to \"check_reachable\", as it's more descriptive","shortMessageHtmlLink":"Renamed \"check_operation\" to \"check_reachable\", as it's more descriptive"}},{"before":"45298787d46f899608a2884d1f515e71fa5db3d0","after":"4ddb017666f90aa821a4fc09e0af105834c0b052","ref":"refs/heads/main","pushedAt":"2023-06-05T10:28:53.814Z","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 the checking commands to allow variation of depth and definitions","shortMessageHtmlLink":"Improved the checking commands to allow variation of depth and defini…"}},{"before":"02093d86014c1b92e1b0dac2678c3d92b4bd8bb2","after":"45298787d46f899608a2884d1f515e71fa5db3d0","ref":"refs/heads/main","pushedAt":"2023-05-23T16:07:15.288Z","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 some sanity checks to testing functions","shortMessageHtmlLink":"Added some sanity checks to testing functions"}},{"before":"8caec9ef9b325dcbc81ad6860ec77896b00d228f","after":"02093d86014c1b92e1b0dac2678c3d92b4bd8bb2","ref":"refs/heads/main","pushedAt":"2023-05-23T14:11:07.826Z","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":"Optimised search strategy and added a checker for occurence of operations","shortMessageHtmlLink":"Optimised search strategy and added a checker for occurence of operat…"}},{"before":"4d1cc6ae74705ba314adadb617be9cb4687679eb","after":"8caec9ef9b325dcbc81ad6860ec77896b00d228f","ref":"refs/heads/main","pushedAt":"2023-05-22T20:30:01.413Z","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 command for deadlock check, and code to support checking for particular events","shortMessageHtmlLink":"Added command for deadlock check, and code to support checking for pa…"}},{"before":"f4b84f4826a9e068cb846a15964f9228c901c9b5","after":"4d1cc6ae74705ba314adadb617be9cb4687679eb","ref":"refs/heads/main","pushedAt":"2023-05-22T10:11:12.849Z","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 update to the incubator","shortMessageHtmlLink":"Small update to the incubator"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEk3f3PQA","startCursor":null,"endCursor":null}},"title":"Activity · isabelle-utp/Z_Machines"}