Skip to content

Actions: isabelle-utp/UTP

Actions

.github/workflows/build_2022.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2022.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_2022.yml #30: Commit d652135 pushed by simondfoster
January 27, 2025 15:39 1m 49s main
main
January 27, 2025 15:39 1m 49s
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
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
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_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_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
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_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_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
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
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
Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2022.yml #17: Commit 5286510 pushed by simondfoster
January 6, 2025 11:25 2m 9s simplified
simplified
January 6, 2025 11:25 2m 9s