Skip to content

Actions: isabelle-utp/interaction-trees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A few more updates for changes upstream .github/workflows/build_2021-1.yml #80: Commit 030fdb1 pushed by simondfoster
January 8, 2025 10:24 1m 46s master
master
January 8, 2025 10:24 1m 46s
A few more updates for changes upstream .github/workflows/build_2022.yml #80: Commit 030fdb1 pushed by simondfoster
January 8, 2025 10:24 2m 51s master
master
January 8, 2025 10:24 2m 51s
.github/workflows/build_2021-1.yml .github/workflows/build_2021-1.yml #79: by simondfoster
January 7, 2025 13:51 1m 45s master
master
January 7, 2025 13:51 1m 45s
.github/workflows/build_2022.yml .github/workflows/build_2022.yml #79: by simondfoster
January 7, 2025 13:51 1m 43s master
master
January 7, 2025 13:51 1m 43s
Removed ghost variable syntax, as it's now in Abstract_Prog_Syntax .github/workflows/build_2022.yml #78: Commit c3cdcde pushed by simondfoster
January 6, 2025 11:18 2m 46s master
master
January 6, 2025 11:18 2m 46s
Removed ghost variable syntax, as it's now in Abstract_Prog_Syntax .github/workflows/build_2021-1.yml #78: Commit c3cdcde pushed by simondfoster
January 6, 2025 11:18 2m 2s master
master
January 6, 2025 11:18 2m 2s
Updated numeric VCG to depend on Hybrid-Library, for vector syntax .github/workflows/build_2022.yml #77: Commit 1abd0f4 pushed by simondfoster
October 31, 2024 22:19 4m 57s master
master
October 31, 2024 22:19 4m 57s
Updated numeric VCG to depend on Hybrid-Library, for vector syntax .github/workflows/build_2021-1.yml #77: Commit 1abd0f4 pushed by simondfoster
October 31, 2024 22:19 4m 54s master
master
October 31, 2024 22:19 4m 54s
Added "ITree_Numeric_VCG", which is a foundation for verifying numeri… .github/workflows/build_2022.yml #76: Commit aacc896 pushed by simondfoster
October 8, 2024 14:03 4m 48s master
master
October 8, 2024 14:03 4m 48s
Added "ITree_Numeric_VCG", which is a foundation for verifying numeri… .github/workflows/build_2021-1.yml #76: Commit aacc896 pushed by simondfoster
October 8, 2024 14:03 4m 32s master
master
October 8, 2024 14:03 4m 32s
Added until loops .github/workflows/build_2021-1.yml #75: Commit 5f029b8 pushed by simondfoster
September 23, 2024 14:52 5m 51s master
master
September 23, 2024 14:52 5m 51s
Added until loops .github/workflows/build_2022.yml #75: Commit 5f029b8 pushed by simondfoster
September 23, 2024 14:52 4m 52s master
master
September 23, 2024 14:52 4m 52s
A few syntax tweaks for VCG .github/workflows/build_2022.yml #74: Commit 5f34527 pushed by simondfoster
September 20, 2024 12:55 6m 9s master
master
September 20, 2024 12:55 6m 9s
A few syntax tweaks for VCG .github/workflows/build_2021-1.yml #74: Commit 5f34527 pushed by simondfoster
September 20, 2024 12:55 5m 25s master
master
September 20, 2024 12:55 5m 25s
Additional Hoare logic laws and a fix .github/workflows/build_2022.yml #73: Commit 6e91714 pushed by simondfoster
September 19, 2024 09:39 5m 31s master
master
September 19, 2024 09:39 5m 31s
Additional Hoare logic laws and a fix .github/workflows/build_2021-1.yml #73: Commit 6e91714 pushed by simondfoster
September 19, 2024 09:39 5m 9s master
master
September 19, 2024 09:39 5m 9s
Tidied up and integrated ITree interpretation .github/workflows/build_2022.yml #72: Commit aec70ff pushed by simondfoster
September 10, 2024 10:27 5m 16s master
master
September 10, 2024 10:27 5m 16s
Tidied up and integrated ITree interpretation .github/workflows/build_2021-1.yml #72: Commit aec70ff pushed by simondfoster
September 10, 2024 10:27 6m 1s master
master
September 10, 2024 10:27 6m 1s
Tidying interpretation a bit .github/workflows/build_2021-1.yml #71: Commit 78307f3 pushed by simondfoster
September 9, 2024 20:10 10m 32s master
master
September 9, 2024 20:10 10m 32s
Tidying interpretation a bit .github/workflows/build_2022.yml #71: Commit 78307f3 pushed by simondfoster
September 9, 2024 20:10 5m 40s master
master
September 9, 2024 20:10 5m 40s
Code generation for interpretation now works. .github/workflows/build_2022.yml #70: Commit 4290770 pushed by simondfoster
September 9, 2024 19:41 5m 24s master
master
September 9, 2024 19:41 5m 24s
Code generation for interpretation now works. .github/workflows/build_2021-1.yml #70: Commit 4290770 pushed by simondfoster
September 9, 2024 19:41 6m 16s master
master
September 9, 2024 19:41 6m 16s
More work on code gen for interp .github/workflows/build_2022.yml #69: Commit ce0e03f pushed by simondfoster
September 9, 2024 16:33 6m 28s master
master
September 9, 2024 16:33 6m 28s
More work on code gen for interp .github/workflows/build_2021-1.yml #69: Commit ce0e03f pushed by simondfoster
September 9, 2024 16:33 5m 19s master
master
September 9, 2024 16:33 5m 19s
Work on making code generation work for interpretation .github/workflows/build_2021-1.yml #68: Commit 3f3bfc0 pushed by simondfoster
September 9, 2024 13:51 6m 16s master
master
September 9, 2024 13:51 6m 16s