Skip to content

Actions: uqcyber/veriopt-releases

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add uncommitted updates Isabelle Build #214: Commit c0921b9 pushed by BraeWebb
January 13, 2025 03:59 10s webb-phd
webb-phd
January 13, 2025 03:59 10s
pages build and deployment pages-build-deployment #91: by BraeWebb
April 17, 2024 11:51 27s gh-pages
gh-pages
April 17, 2024 11:51 27s
Update workflow to Isabelle 2023 Isabelle Build #213: Commit 8bd87d7 pushed by BraeWebb
April 17, 2024 11:04 35m 3s main
main
April 17, 2024 11:04 35m 3s
Add LaTeX listings package and railsetup. Isabelle Build #212: Commit a8bb0c2 pushed by BraeWebb
April 16, 2024 04:19 24m 27s main
main
April 16, 2024 04:19 24m 27s
Update ConditionalElimination.thy proofs after encodeeval changed fro… Isabelle Build #211: Commit 1a48e33 pushed by BraeWebb
April 8, 2024 04:01 23m 17s main
main
April 8, 2024 04:01 23m 17s
Update notation and fix building (again) Isabelle Build #210: Commit cdd694a pushed by BraeWebb
January 25, 2024 05:21 1m 44s main
main
January 25, 2024 05:21 1m 44s
Fix building after unrep changes Isabelle Build #209: Commit 00c77ea pushed by BraeWebb
January 24, 2024 06:16 1m 51s main
main
January 24, 2024 06:16 1m 51s
Collapse unrep definition Isabelle Build #208: Commit 94af1a8 pushed by BraeWebb
January 21, 2024 10:41 1m 49s main
main
January 21, 2024 10:41 1m 49s
Clean presentation of interprocedural semantics Isabelle Build #207: Commit fa8fff6 pushed by BraeWebb
January 18, 2024 05:16 1m 41s main
main
January 18, 2024 05:16 1m 41s
Continue simplifying semantics Isabelle Build #206: Commit 8b346e0 pushed by BraeWebb
January 18, 2024 05:07 1m 47s main
main
January 18, 2024 05:07 1m 47s
Re-enable semantics snippets Isabelle Build #205: Commit 9aebea8 pushed by BraeWebb
January 18, 2024 04:04 1m 51s main
main
January 18, 2024 04:04 1m 51s
Mostly fix and majorly simplify step deterministic proof Isabelle Build #204: Commit 92b5358 pushed by BraeWebb
January 17, 2024 22:27 1m 43s main
main
January 17, 2024 22:27 1m 43s