Skip to content

Actions: isabelle-utp/Z_Machines

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates for Isabelle2025 .github/workflows/build_2022.yml #35: Commit 140971d pushed by simondfoster
April 29, 2025 13:46 1m 40s main
main
April 29, 2025 13:46 1m 40s
Updates for Isabelle2025 .github/workflows/build_2021-1.yml #35: Commit 140971d pushed by simondfoster
April 29, 2025 13:46 3m 18s main
main
April 29, 2025 13:46 3m 18s
Proof fix .github/workflows/build_2022.yml #34: Commit 7e846bd pushed by simondfoster
January 8, 2025 13:44 2m 13s main
main
January 8, 2025 13:44 2m 13s
Proof fix .github/workflows/build_2021-1.yml #34: Commit 7e846bd pushed by simondfoster
January 8, 2025 13:44 1m 58s main
main
January 8, 2025 13:44 1m 58s
Update for new channel type command .github/workflows/build_2022.yml #33: Commit aabf191 pushed by simondfoster
September 5, 2024 15:37 5m 34s main
main
September 5, 2024 15:37 5m 34s
Update for new channel type command .github/workflows/build_2021-1.yml #33: Commit aabf191 pushed by simondfoster
September 5, 2024 15:37 4m 49s main
main
September 5, 2024 15:37 4m 49s
Updated Z_Machines to use the new type signature for generating chann… .github/workflows/build_2021-1.yml #32: Commit 4561c88 pushed by simondfoster
August 6, 2024 19:40 5m 46s main
main
August 6, 2024 19:40 5m 46s
Updated Z_Machines to use the new type signature for generating chann… .github/workflows/build_2022.yml #32: Commit 4561c88 pushed by simondfoster
August 6, 2024 19:40 5m 17s main
main
August 6, 2024 19:40 5m 17s
Improved invariant and deadlock freedom proofs in Z-Machines for exte… .github/workflows/build_2022.yml #31: Commit 4e6012b pushed by simondfoster
July 30, 2024 14:02 5m 21s main
main
July 30, 2024 14:02 5m 21s
Improved invariant and deadlock freedom proofs in Z-Machines for exte… .github/workflows/build_2021-1.yml #31: Commit 4e6012b pushed by simondfoster
July 30, 2024 14:02 4m 57s main
main
July 30, 2024 14:02 4m 57s
A first go an operation extension. Needs more work. .github/workflows/build_2022.yml #30: Commit ab55609 pushed by simondfoster
July 19, 2024 11:50 5m 1s main
main
July 19, 2024 11:50 5m 1s
A first go an operation extension. Needs more work. .github/workflows/build_2021-1.yml #30: Commit ab55609 pushed by simondfoster
July 19, 2024 11:50 4m 43s main
main
July 19, 2024 11:50 4m 43s
Fix to "preserves" syntax merge .github/workflows/build_2022.yml #29: Commit 361be9b pushed by simondfoster
July 17, 2024 11:36 6m 22s main
main
July 17, 2024 11:36 6m 22s
Fix to "preserves" syntax merge .github/workflows/build_2021-1.yml #29: Commit 361be9b pushed by simondfoster
July 17, 2024 11:36 6m 11s main
main
July 17, 2024 11:36 6m 11s
Merge branch 'outputs_pre' .github/workflows/build_2022.yml #28: Commit 6265785 pushed by simondfoster
July 17, 2024 11:20 6m 21s main
main
July 17, 2024 11:20 6m 21s
Merge branch 'outputs_pre' .github/workflows/build_2021-1.yml #28: Commit 6265785 pushed by simondfoster
July 17, 2024 11:20 5m 22s main
main
July 17, 2024 11:20 5m 22s
Fixes to examples for new version of Z-Machines .github/workflows/build_2022.yml #27: Commit 509c7c2 pushed by simondfoster
July 17, 2024 11:18 6m 14s outputs_pre
outputs_pre
July 17, 2024 11:18 6m 14s
Fixes to examples for new version of Z-Machines .github/workflows/build_2021-1.yml #27: Commit 509c7c2 pushed by simondfoster
July 17, 2024 11:18 5m 57s outputs_pre
outputs_pre
July 17, 2024 11:18 5m 57s
Added precondition generation for promoted and directly defined opera… .github/workflows/build_2022.yml #26: Commit 36482da pushed by simondfoster
July 10, 2024 15:25 5m 4s outputs_pre
outputs_pre
July 10, 2024 15:25 5m 4s
Added precondition generation for promoted and directly defined opera… .github/workflows/build_2021-1.yml #26: Commit 36482da pushed by simondfoster
July 10, 2024 15:25 4m 58s outputs_pre
outputs_pre
July 10, 2024 15:25 4m 58s
Added promotion precondition definition .github/workflows/build_2022.yml #25: Commit 54e5210 pushed by simondfoster
July 9, 2024 14:56 5m 44s outputs_pre
outputs_pre
July 9, 2024 14:56 5m 44s
Added promotion precondition definition .github/workflows/build_2021-1.yml #25: Commit 54e5210 pushed by simondfoster
July 9, 2024 14:56 5m 7s outputs_pre
outputs_pre
July 9, 2024 14:56 5m 7s
Changed semantics, so that the given precondition is the only guard, … .github/workflows/build_2022.yml #24: Commit 10a03d3 pushed by simondfoster
July 3, 2024 20:30 5m 31s outputs_pre
outputs_pre
July 3, 2024 20:30 5m 31s
Changed semantics, so that the given precondition is the only guard, … .github/workflows/build_2021-1.yml #24: Commit 10a03d3 pushed by simondfoster
July 3, 2024 20:30 4m 46s outputs_pre
outputs_pre
July 3, 2024 20:30 4m 46s
Changed Z_Machines to build on ITree_VCG, to abstract machines with i… .github/workflows/build_2021-1.yml #23: Commit f651a0b pushed by simondfoster
July 3, 2024 16:21 20m 2s outputs
outputs
July 3, 2024 16:21 20m 2s