Skip to content

Actions: isabelle-utp/UTP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changed notation for iterated sequential composition to be more Isabe… .github/workflows/build_2022.yml #47: Commit 7bf2ca6 pushed by simondfoster
1m 40s main
main
1m 40s
Changed notation for iterated sequential composition to be more Isabe… .github/workflows/build_2021-1.yml #47: Commit 7bf2ca6 pushed by simondfoster
1m 42s main
main
1m 42s
Added a law for distributing a power through a nondeterministic choice .github/workflows/build_2022.yml #46: Commit 93420ef pushed by simondfoster
1m 57s main
main
1m 57s
Added a law for distributing a power through a nondeterministic choice .github/workflows/build_2021-1.yml #46: Commit 93420ef pushed by simondfoster
1m 49s main
main
1m 49s
Further INF/SUP laws .github/workflows/build_2022.yml #45: Commit 2aa0973 pushed by simondfoster
1m 37s main
main
1m 37s
Further INF/SUP laws .github/workflows/build_2021-1.yml #45: Commit 2aa0973 pushed by simondfoster
1m 49s main
main
1m 49s
Addition SUP/INF laws .github/workflows/build_2021-1.yml #44: Commit 36d1bf8 pushed by simondfoster
1m 48s main
main
1m 48s
Addition SUP/INF laws .github/workflows/build_2022.yml #44: Commit 36d1bf8 pushed by simondfoster
1m 42s main
main
1m 42s
Removed modifies from frames theory .github/workflows/build_2022.yml #43: Commit fe1ac00 pushed by simondfoster
2m 30s main
main
2m 30s
Removed modifies from frames theory .github/workflows/build_2021-1.yml #43: Commit fe1ac00 pushed by simondfoster
3m 20s main
main
3m 20s
Factored out and generalises the definition of non-modification. The … .github/workflows/build_2021-1.yml #42: Commit 823b84b pushed by simondfoster
3m 35s main
main
3m 35s
Factored out and generalises the definition of non-modification. The … .github/workflows/build_2022.yml #42: Commit 823b84b pushed by simondfoster
2m 31s main
main
2m 31s
Added commentary on simple timed relation example .github/workflows/build_2022.yml #41: Commit 57569d9 pushed by simondfoster
4m 50s main
main
4m 50s
Added commentary on simple timed relation example .github/workflows/build_2021-1.yml #41: Commit 57569d9 pushed by simondfoster
4m 4s main
main
4m 4s
Removed some non-working examples, and began on a better example. Add… .github/workflows/build_2021-1.yml #40: Commit 3a7d693 pushed by simondfoster
4m 22s main
main
4m 22s
Removed some non-working examples, and began on a better example. Add… .github/workflows/build_2022.yml #40: Commit 3a7d693 pushed by simondfoster
2m 22s main
main
2m 22s
Completed core total correctness laws .github/workflows/build_2022.yml #39: Commit 3760362 pushed by simondfoster
2m 8s main
main
2m 8s
Completed core total correctness laws .github/workflows/build_2021-1.yml #39: Commit 3760362 pushed by simondfoster
4m 36s main
main
4m 36s
Added total correctness law for relational Hoare logic .github/workflows/build_2022.yml #38: Commit 08295d7 pushed by simondfoster
1m 42s main
main
1m 42s
Added total correctness law for relational Hoare logic .github/workflows/build_2021-1.yml #38: Commit 08295d7 pushed by simondfoster
3m 45s main
main
3m 45s
Started work on total correctness Hoare logic .github/workflows/build_2022.yml #37: Commit 1469c16 pushed by simondfoster
3m 40s main
main
3m 40s
Started work on total correctness Hoare logic .github/workflows/build_2021-1.yml #37: Commit 1469c16 pushed by simondfoster
3m 46s main
main
3m 46s
Abstracted out Hoare logic notation .github/workflows/build_2021-1.yml #36: Commit 2807423 pushed by simondfoster
2m 17s main
main
2m 17s
Abstracted out Hoare logic notation .github/workflows/build_2022.yml #36: Commit 2807423 pushed by simondfoster
2m 21s main
main
2m 21s
Added weakest precondition calculus .github/workflows/build_2021-1.yml #35: Commit 49698f6 pushed by simondfoster
1m 58s main
main
1m 58s