Skip to content

Actions: isabelle-utp/UTP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Frame proof optimisation .github/workflows/build_2022.yml #30: Commit d652135 pushed by simondfoster
January 27, 2025 15:39 1m 49s main
main
January 27, 2025 15:39 1m 49s
Frame proof optimisation .github/workflows/build_2021-1.yml #30: Commit d652135 pushed by simondfoster
January 27, 2025 15:39 1m 41s main
main
January 27, 2025 15:39 1m 41s
Added relational alphabet extension/restriction (basically just syntax) .github/workflows/build_2022.yml #29: Commit fcf630f pushed by simondfoster
January 24, 2025 14:25 3m 15s main
main
January 24, 2025 14:25 3m 15s
Added relational alphabet extension/restriction (basically just syntax) .github/workflows/build_2021-1.yml #29: Commit fcf630f pushed by simondfoster
January 24, 2025 14:25 1m 42s main
main
January 24, 2025 14:25 1m 42s
Reintroduced relation algebra laws .github/workflows/build_2022.yml #28: Commit 2e1d4ea pushed by simondfoster
January 24, 2025 11:32 2m 17s main
main
January 24, 2025 11:32 2m 17s
Reintroduced relation algebra laws .github/workflows/build_2021-1.yml #28: Commit 2e1d4ea pushed by simondfoster
January 24, 2025 11:32 2m 14s main
main
January 24, 2025 11:32 2m 14s
Reintegrated frames .github/workflows/build_2021-1.yml #27: Commit 55c0288 pushed by simondfoster
January 20, 2025 22:03 1m 50s main
main
January 20, 2025 22:03 1m 50s
Reintegrated frames .github/workflows/build_2022.yml #27: Commit 55c0288 pushed by simondfoster
January 20, 2025 22:03 1m 41s main
main
January 20, 2025 22:03 1m 41s
Small fix .github/workflows/build_2021-1.yml #26: Commit b5ed068 pushed by simondfoster
January 16, 2025 21:26 1m 39s main
main
January 16, 2025 21:26 1m 39s
Small fix .github/workflows/build_2022.yml #26: Commit b5ed068 pushed by simondfoster
January 16, 2025 21:26 1m 45s main
main
January 16, 2025 21:26 1m 45s
Added law variant .github/workflows/build_2021-1.yml #25: Commit 4c38023 pushed by simondfoster
January 15, 2025 17:06 2m 16s main
main
January 15, 2025 17:06 2m 16s
Added law variant .github/workflows/build_2022.yml #25: Commit 4c38023 pushed by simondfoster
January 15, 2025 17:06 2m 11s main
main
January 15, 2025 17:06 2m 11s
Integrated additional laws needed for parallel composition .github/workflows/build_2022.yml #24: Commit 23a7bff pushed by simondfoster
January 15, 2025 16:46 1m 43s main
main
January 15, 2025 16:46 1m 43s
Integrated additional laws needed for parallel composition .github/workflows/build_2021-1.yml #24: Commit 23a7bff pushed by simondfoster
January 15, 2025 16:46 1m 42s main
main
January 15, 2025 16:46 1m 42s
Updates for improved substitution method. .github/workflows/build_2021-1.yml #23: Commit d3536a0 pushed by simondfoster
January 14, 2025 13:07 1m 42s main
main
January 14, 2025 13:07 1m 42s
Updates for improved substitution method. .github/workflows/build_2022.yml #23: Commit d3536a0 pushed by simondfoster
January 14, 2025 13:07 1m 38s main
main
January 14, 2025 13:07 1m 38s
Changed parallel separation to an operator .github/workflows/build_2021-1.yml #22: Commit eb0e9ee pushed by simondfoster
January 11, 2025 14:56 1m 44s main
main
January 11, 2025 14:56 1m 44s
Changed parallel separation to an operator .github/workflows/build_2022.yml #22: Commit eb0e9ee pushed by simondfoster
January 11, 2025 14:56 1m 47s main
main
January 11, 2025 14:56 1m 47s
Additional predicate laws .github/workflows/build_2021-1.yml #21: Commit c628a5c pushed by simondfoster
January 10, 2025 21:50 1m 57s main
main
January 10, 2025 21:50 1m 57s
Additional predicate laws .github/workflows/build_2022.yml #21: Commit c628a5c pushed by simondfoster
January 10, 2025 21:50 1m 41s main
main
January 10, 2025 21:50 1m 41s
Additional laws required for porting .github/workflows/build_2022.yml #20: Commit 3fc0d62 pushed by simondfoster
January 8, 2025 12:14 3m 11s main
main
January 8, 2025 12:14 3m 11s
Additional laws required for porting .github/workflows/build_2021-1.yml #20: Commit 3fc0d62 pushed by simondfoster
January 8, 2025 12:14 5m 26s main
main
January 8, 2025 12:14 5m 26s
Small modifications and fixes .github/workflows/build_2022.yml #19: Commit d7033d7 pushed by simondfoster
January 6, 2025 15:57 2m 5s main
main
January 6, 2025 15:57 2m 5s
Small modifications and fixes .github/workflows/build_2021-1.yml #19: Commit d7033d7 pushed by simondfoster
January 6, 2025 15:57 2m 12s main
main
January 6, 2025 15:57 2m 12s
Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2022.yml #18: Commit 5286510 pushed by simondfoster
January 6, 2025 11:28 1m 42s main
main
January 6, 2025 11:28 1m 42s