Skip to content

Actions: isabelle-utp/UTP

Actions

.github/workflows/build_2021-1.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2021-1.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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_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_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
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
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
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
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
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 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_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_2021-1.yml #18: Commit 5286510 pushed by simondfoster
January 6, 2025 11:28 1m 40s main
main
January 6, 2025 11:28 1m 40s
Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2021-1.yml #17: Commit 5286510 pushed by simondfoster
January 6, 2025 11:25 1m 49s simplified
simplified
January 6, 2025 11:25 1m 49s