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

Some fixes to the animator and the ring buffer, so they work again. .github/workflows/build_2021-1.yml #43: Commit 978f15a pushed by simondfoster
June 17, 2024 11:23 7m 55s master
master
June 17, 2024 11:23 7m 55s
WP and total correctness laws for let .github/workflows/build_2021-1.yml #42: Commit c2046d9 pushed by simondfoster
June 5, 2024 15:42 4m 43s master
master
June 5, 2024 15:42 4m 43s
WP and total correctness laws for let .github/workflows/build_2022.yml #42: Commit c2046d9 pushed by simondfoster
June 5, 2024 15:42 5m 3s master
master
June 5, 2024 15:42 5m 3s
Removed channel and event syntax, since it's now part of Z_Toolkit. .github/workflows/build_2021-1.yml #41: Commit 60b2711 pushed by simondfoster
May 24, 2024 09:01 12m 19s master
master
May 24, 2024 09:01 12m 19s
Removed channel and event syntax, since it's now part of Z_Toolkit. .github/workflows/build_2022.yml #41: Commit 60b2711 pushed by simondfoster
May 24, 2024 09:01 8m 24s master
master
May 24, 2024 09:01 8m 24s
Merge remote-tracking branch 'origin/pre_merge_robochart' .github/workflows/build_2022.yml #40: Commit ecba23a pushed by simondfoster
May 24, 2024 08:38 5m 10s master
master
May 24, 2024 08:38 5m 10s
Merge remote-tracking branch 'origin/pre_merge_robochart' .github/workflows/build_2021-1.yml #40: Commit ecba23a pushed by simondfoster
May 24, 2024 08:38 5m 13s master
master
May 24, 2024 08:38 5m 13s
Started work on calculating domain of event choice functions .github/workflows/build_2021-1.yml #39: Commit 4a7e914 pushed by simondfoster
May 24, 2024 08:24 5m 6s master
master
May 24, 2024 08:24 5m 6s
Started work on calculating domain of event choice functions .github/workflows/build_2022.yml #39: Commit 4a7e914 pushed by simondfoster
May 24, 2024 08:24 4m 54s master
master
May 24, 2024 08:24 4m 54s
Added the test ITree for the new animator .github/workflows/build_2021-1.yml #38: Commit 575aeb5 pushed by simondfoster
May 23, 2024 12:28 4m 37s master
master
May 23, 2024 12:28 4m 37s
Added the test ITree for the new animator .github/workflows/build_2022.yml #38: Commit 575aeb5 pushed by simondfoster
May 23, 2024 12:28 6m 34s master
master
May 23, 2024 12:28 6m 34s
Simpler invariant and proof for Gnome sort .github/workflows/build_2021-1.yml #37: Commit 0839ee0 pushed by simondfoster
May 23, 2024 12:02 4m 57s master
master
May 23, 2024 12:02 4m 57s
Simpler invariant and proof for Gnome sort .github/workflows/build_2022.yml #37: Commit 0839ee0 pushed by simondfoster
May 23, 2024 12:02 4m 52s master
master
May 23, 2024 12:02 4m 52s
Update to Isabelle2023 .github/workflows/build_2021-1.yml #36: Commit 5637ca1 pushed by RandallYe
May 23, 2024 09:21 5m 8s pre_merge_robochart
pre_merge_robochart
May 23, 2024 09:21 5m 8s
Update to Isabelle2023 .github/workflows/build_2022.yml #36: Commit 5637ca1 pushed by RandallYe
May 23, 2024 09:21 4m 42s pre_merge_robochart
pre_merge_robochart
May 23, 2024 09:21 4m 42s
Re-engineered local variables to use a type class rather than a store… .github/workflows/build_2021-1.yml #35: Commit 9df7b37 pushed by simondfoster
May 21, 2024 15:09 25m 43s master
master
May 21, 2024 15:09 25m 43s
Re-engineered local variables to use a type class rather than a store… .github/workflows/build_2022.yml #35: Commit 9df7b37 pushed by simondfoster
May 21, 2024 15:09 18m 5s master
master
May 21, 2024 15:09 18m 5s
Syntax translations bug fix .github/workflows/build_2021-1.yml #34: Commit f127f12 pushed by simondfoster
April 15, 2024 13:22 6m 4s master
master
April 15, 2024 13:22 6m 4s
Syntax translations bug fix .github/workflows/build_2022.yml #34: Commit f127f12 pushed by simondfoster
April 15, 2024 13:22 5m 2s master
master
April 15, 2024 13:22 5m 2s
Added convenience syntax for declaration of multiple local variables .github/workflows/build_2022.yml #33: Commit be184ed pushed by simondfoster
April 15, 2024 13:07 5m 20s master
master
April 15, 2024 13:07 5m 20s
Added convenience syntax for declaration of multiple local variables .github/workflows/build_2021-1.yml #33: Commit be184ed pushed by simondfoster
April 15, 2024 13:07 5m 27s master
master
April 15, 2024 13:07 5m 27s
Added syntax to allow programs to return exit values. The executor wi… .github/workflows/build_2021-1.yml #32: Commit 9a498cb pushed by simondfoster
April 12, 2024 11:50 19m 18s master
master
April 12, 2024 11:50 19m 18s
Added syntax to allow programs to return exit values. The executor wi… .github/workflows/build_2022.yml #32: Commit 9a498cb pushed by simondfoster
April 12, 2024 11:50 5m 57s master
master
April 12, 2024 11:50 5m 57s
Added basic seed store and initial seed constant .github/workflows/build_2022.yml #31: Commit dbae2a1 pushed by simondfoster
April 11, 2024 15:28 5m 31s master
master
April 11, 2024 15:28 5m 31s
Added basic seed store and initial seed constant .github/workflows/build_2021-1.yml #31: Commit dbae2a1 pushed by simondfoster
April 11, 2024 15:28 5m 17s master
master
April 11, 2024 15:28 5m 17s