Skip to content

Actions: isabelle-utp/UTP-Reactive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to iterated sequence notation .github/workflows/build_2021-1.yml #24: Commit b39c876 pushed by simondfoster
1m 38s main
main
1m 38s
Update to iterated sequence notation .github/workflows/build_2022.yml #24: Commit b39c876 pushed by simondfoster
1m 38s main
main
1m 38s
R5 laws .github/workflows/build_2021-1.yml #23: Commit 9bee5ed pushed by simondfoster
1m 39s main
main
1m 39s
R5 laws .github/workflows/build_2022.yml #23: Commit 9bee5ed pushed by simondfoster
1m 44s main
main
1m 44s
Changed how state precondition predicates are parsed .github/workflows/build_2022.yml #22: Commit de27f91 pushed by simondfoster
2m 32s main
main
2m 32s
Changed how state precondition predicates are parsed .github/workflows/build_2021-1.yml #22: Commit de27f91 pushed by simondfoster
1m 45s main
main
1m 45s
Fixed the form of an indep lemma .github/workflows/build_2022.yml #21: Commit 949fe1b pushed by simondfoster
2m 0s main
main
2m 0s
Fixed the form of an indep lemma .github/workflows/build_2021-1.yml #21: Commit 949fe1b pushed by simondfoster
2m 4s main
main
2m 4s
Fixed some types, definitions, and parsing .github/workflows/build_2022.yml #20: Commit c9be9ea pushed by simondfoster
3m 17s main
main
3m 17s
Fixed some types, definitions, and parsing .github/workflows/build_2021-1.yml #20: Commit c9be9ea pushed by simondfoster
2m 59s main
main
2m 59s
Adaptations for Isabelle 2025 .github/workflows/build_2022.yml #19: Commit c99b49c pushed by simondfoster
1m 47s main
main
1m 47s
Adaptations for Isabelle 2025 .github/workflows/build_2021-1.yml #19: Commit c99b49c pushed by simondfoster
1m 43s main
main
1m 43s
Reintegrating missing definitions, including frames .github/workflows/build_2021-1.yml #18: Commit 04afb55 pushed by simondfoster
2m 11s main
main
2m 11s
Reintegrating missing definitions, including frames .github/workflows/build_2022.yml #18: Commit 04afb55 pushed by simondfoster
2m 8s main
main
2m 8s
Using relational alphabet extension .github/workflows/build_2022.yml #17: Commit cb5292f pushed by simondfoster
2m 9s main
main
2m 9s
Using relational alphabet extension .github/workflows/build_2021-1.yml #17: Commit cb5292f pushed by simondfoster
2m 2s main
main
2m 2s
Changes for parsing reactive conditionals .github/workflows/build_2021-1.yml #16: Commit c07ab88 pushed by simondfoster
2m 25s main
main
2m 25s
Changes for parsing reactive conditionals .github/workflows/build_2022.yml #16: Commit c07ab88 pushed by simondfoster
2m 20s main
main
2m 20s
Ported more the programming constructs for reactive processes. .github/workflows/build_2022.yml #15: Commit 5d7bc95 pushed by simondfoster
2m 3s main
main
2m 3s
Ported more the programming constructs for reactive processes. .github/workflows/build_2021-1.yml #15: Commit 5d7bc95 pushed by simondfoster
2m 9s main
main
2m 9s
Modified some of the reactive process healthiness laws .github/workflows/build_2022.yml #14: Commit bc51779 pushed by simondfoster
1m 55s main
main
1m 55s
Modified some of the reactive process healthiness laws .github/workflows/build_2021-1.yml #14: Commit bc51779 pushed by simondfoster
1m 54s main
main
1m 54s
Proof fixes .github/workflows/build_2022.yml #13: Commit 00219e1 pushed by simondfoster
2m 23s main
main
2m 23s
Proof fixes .github/workflows/build_2021-1.yml #13: Commit 00219e1 pushed by simondfoster
2m 26s main
main
2m 26s
Small changes to defn of R4 and R5 .github/workflows/build_2022.yml #12: Commit 80e55a8 pushed by simondfoster
2m 12s main
main
2m 12s