Skip to content

Actions: isabelle-utp/Abstract_Prog_Syntax

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added notation for total correctness Hoare triple .github/workflows/build_2023.yml #7: Commit b97410d pushed by simondfoster
2m 22s main
main
2m 22s
Added Hoare logic notation .github/workflows/build_2023.yml #6: Commit ecd3c0b pushed by simondfoster
2m 31s main
main
2m 31s
Updates for shallow expressions .github/workflows/build_2023.yml #5: Commit 89c933e pushed by simondfoster
1m 59s main
main
1m 59s
Updated shallow expressions session name .github/workflows/build_2023.yml #4: Commit eb4c2bd pushed by simondfoster
1m 38s main
main
1m 38s
Added ghost variable syntax ("old") .github/workflows/build_2023.yml #3: Commit 574c6f5 pushed by simondfoster
1m 37s main
main
1m 37s