Skip to content

Actions: isabelle-utp/Z_Machines

Actions

.github/workflows/build_2022.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2022.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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 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
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 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_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
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
Completed the adaptations to add outputs to Z-Machine operations. Sti… .github/workflows/build_2022.yml #19: Commit e607480 pushed by simondfoster
July 1, 2024 20:34 5m 14s outputs
outputs
July 1, 2024 20:34 5m 14s
Almost completed upgrade of Z-Machines to include outputs .github/workflows/build_2022.yml #18: Commit ed49666 pushed by simondfoster
July 1, 2024 12:57 5m 18s outputs
outputs
July 1, 2024 12:57 5m 18s
Fixed up code generation .github/workflows/build_2022.yml #17: Commit 7c7283b pushed by simondfoster
June 28, 2024 16:22 1m 12s outputs
outputs
June 28, 2024 16:22 1m 12s
Updated commands to allow operations with outputs .github/workflows/build_2022.yml #16: Commit fd8b2e2 pushed by simondfoster
June 28, 2024 15:43 1m 15s outputs
outputs
June 28, 2024 15:43 1m 15s
Added two more buffer variants as examples .github/workflows/build_2022.yml #15: Commit d8e2c28 pushed by simondfoster
June 24, 2024 11:01 6m 2s main
main
June 24, 2024 11:01 6m 2s
Integrated with random number generation .github/workflows/build_2022.yml #14: Commit 6242752 pushed by simondfoster
March 25, 2024 11:36 13m 41s main
main
March 25, 2024 11:36 13m 41s
Removed temporary file .github/workflows/build_2022.yml #13: Commit 0a3adf1 pushed by simondfoster
January 22, 2024 16:45 12m 28s main
main
January 22, 2024 16:45 12m 28s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2022.yml #12: Commit 210cbf4 pushed by simondfoster
January 22, 2024 16:43 13m 13s main
main
January 22, 2024 16:43 13m 13s
Added flag to suppress some warning, notably x-partial .github/workflows/build_2022.yml #11: Commit 5a95538 pushed by simondfoster
January 16, 2024 11:53 12m 8s main
main
January 16, 2024 11:53 12m 8s
Updates for Isabelle2023 .github/workflows/build_2022.yml #10: Commit bed77dd pushed by simondfoster
January 15, 2024 16:03 13m 12s main
main
January 15, 2024 16:03 13m 12s