Skip to content

Actions: isabelle-utp/Z_Machines

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
Changed Z_Machines to build on ITree_VCG, to abstract machines with i… .github/workflows/build_2022.yml #23: Commit f651a0b pushed by simondfoster
July 3, 2024 16:21 5m 1s outputs
outputs
July 3, 2024 16:21 5m 1s
Updated the animator and checking tools to properly handle outputs. T… .github/workflows/build_2021-1.yml #22: Commit c7cb3a3 pushed by simondfoster
July 3, 2024 16:10 5m 12s outputs
outputs
July 3, 2024 16:10 5m 12s
Updated the animator and checking tools to properly handle outputs. T… .github/workflows/build_2022.yml #22: Commit c7cb3a3 pushed by simondfoster
July 3, 2024 16:10 5m 18s outputs
outputs
July 3, 2024 16:10 5m 18s
Added preserves and establishes syntax .github/workflows/build_2022.yml #21: Commit b73e4a8 pushed by simondfoster
July 3, 2024 10:32 5m 57s main
main
July 3, 2024 10:32 5m 57s
Added preserves and establishes syntax .github/workflows/build_2021-1.yml #21: Commit b73e4a8 pushed by simondfoster
July 3, 2024 10:32 4m 46s main
main
July 3, 2024 10:32 4m 46s
Restored promotion for new Z-Machines .github/workflows/build_2022.yml #20: Commit 6f9d682 pushed by simondfoster
July 2, 2024 08:27 5m 12s outputs
outputs
July 2, 2024 08:27 5m 12s