Skip to content

Actions: isabelle-utp/interaction-trees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added a further degenerate partial correctness law (variant + "old" v… .github/workflows/build_2021-1.yml #94: Commit d3bc22c pushed by simondfoster
1m 55s master
master
1m 55s
Added a further degenerate partial correctness law (variant + "old" v… .github/workflows/build_2022.yml #94: Commit d3bc22c pushed by simondfoster
1m 44s master
master
1m 44s
The "execute" command is diagnostic .github/workflows/build_2022.yml #93: Commit d324bf3 pushed by simondfoster
2m 6s master
master
2m 6s
The "execute" command is diagnostic .github/workflows/build_2021-1.yml #93: Commit d324bf3 pushed by simondfoster
2m 15s master
master
2m 15s
Moved ITree evaluation and execution into UTP, to slim down core ITrees .github/workflows/build_2021-1.yml #92: Commit d3dac13 pushed by simondfoster
1m 56s master
master
1m 56s
Moved ITree evaluation and execution into UTP, to slim down core ITrees .github/workflows/build_2022.yml #92: Commit d3dac13 pushed by simondfoster
3m 41s master
master
3m 41s
Generalised total correctness Hoare triple, and fixed proofs .github/workflows/build_2022.yml #91: Commit 2ffc55b pushed by simondfoster
2m 11s master
master
2m 11s
Generalised total correctness Hoare triple, and fixed proofs .github/workflows/build_2021-1.yml #91: Commit 2ffc55b pushed by simondfoster
2m 18s master
master
2m 18s
Abstracted out Hoare logic notation .github/workflows/build_2022.yml #90: Commit 93ceed5 pushed by simondfoster
3m 58s master
master
3m 58s
Abstracted out Hoare logic notation .github/workflows/build_2021-1.yml #90: Commit 93ceed5 pushed by simondfoster
2m 21s master
master
2m 21s
A notational correction .github/workflows/build_2022.yml #89: Commit 9640d33 pushed by simondfoster
2m 53s master
master
2m 53s
A notational correction .github/workflows/build_2021-1.yml #89: Commit 9640d33 pushed by simondfoster
1m 50s master
master
1m 50s
Refactoring to remove dependency on Abstract_Prog_Syntax from top-lev… .github/workflows/build_2021-1.yml #88: Commit 5528a8b pushed by simondfoster
1m 49s master
master
1m 49s
Refactoring to remove dependency on Abstract_Prog_Syntax from top-lev… .github/workflows/build_2022.yml #88: Commit 5528a8b pushed by simondfoster
2m 14s master
master
2m 14s
Adaptations for new shallow expressions .github/workflows/build_2022.yml #87: Commit 2c47f92 pushed by simondfoster
2m 16s master
master
2m 16s
Adaptations for new shallow expressions .github/workflows/build_2021-1.yml #87: Commit 2c47f92 pushed by simondfoster
1m 56s master
master
1m 56s
Adaptations for new shallow expressions .github/workflows/build_2021-1.yml #86: Commit 2c47f92 pushed by simondfoster
3m 24s isabelle2025
isabelle2025
3m 24s
Adaptations for new shallow expressions .github/workflows/build_2022.yml #86: Commit 2c47f92 pushed by simondfoster
2m 7s isabelle2025
isabelle2025
2m 7s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2022.yml #85: Commit ab25cfa pushed by simondfoster
2m 4s isabelle2025-afp
isabelle2025-afp
2m 4s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2021-1.yml #85: Commit ab25cfa pushed by simondfoster
1m 54s isabelle2025-afp
isabelle2025-afp
1m 54s
Adaptation for Isabelle 2025 .github/workflows/build_2021-1.yml #84: Commit 95215f0 pushed by simondfoster
1m 51s isabelle2025
isabelle2025
1m 51s
Adaptation for Isabelle 2025 .github/workflows/build_2022.yml #84: Commit 95215f0 pushed by simondfoster
1m 37s isabelle2025
isabelle2025
1m 37s
Added "matches" function not in 2025 AFP Optics .github/workflows/build_2022.yml #83: Commit dd46163 pushed by simondfoster
1m 51s isabelle2025-afp
isabelle2025-afp
1m 51s
Added "matches" function not in 2025 AFP Optics .github/workflows/build_2021-1.yml #83: Commit dd46163 pushed by simondfoster
1m 42s isabelle2025-afp
isabelle2025-afp
1m 42s
Further adaptations for Isabelle 2025 .github/workflows/build_2022.yml #82: Commit 51e2ef1 pushed by simondfoster
1m 50s isabelle2025
isabelle2025
1m 50s