Skip to content

Actions: isabelle-utp/Optics

Actions

.github/workflows/build_2023.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2023.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added "matches" predicate to prisms .github/workflows/build_2023.yml #10: Commit f2636ad pushed by simondfoster
September 10, 2024 10:23 14m 3s main
main
September 10, 2024 10:23 14m 3s
Tidy up of channel type command .github/workflows/build_2023.yml #9: Commit 47edbcd pushed by simondfoster
September 9, 2024 13:51 14m 31s main
main
September 9, 2024 13:51 14m 31s
Completed first version of polymorphic chantype command. Sort constra… .github/workflows/build_2023.yml #8: Commit 4d56eb1 pushed by simondfoster
September 5, 2024 15:36 12m 50s main
main
September 5, 2024 15:36 12m 50s
Added a few more chanrep meta-theorems, to allow extract of channel i… .github/workflows/build_2023.yml #7: Commit 642da08 pushed by simondfoster
August 20, 2024 15:10 14m 22s main
main
August 20, 2024 15:10 14m 22s
Optimised generation of chantyperep proofs, and added generation of p… .github/workflows/build_2023.yml #6: Commit 7803286 pushed by simondfoster
August 19, 2024 21:11 13m 30s main
main
August 19, 2024 21:11 13m 30s
Improved proof efficiency of chantyperep instantiation using meson. .github/workflows/build_2023.yml #5: Commit 5eeb184 pushed by simondfoster
August 2, 2024 20:31 14m 8s main
main
August 2, 2024 20:31 14m 8s
Added code that generates basic infrastructure for channel introspect… .github/workflows/build_2023.yml #4: Commit fdd89c0 pushed by simondfoster
August 2, 2024 10:58 13m 15s main
main
August 2, 2024 10:58 13m 15s
Experiment on representing sets of events over a channel. .github/workflows/build_2023.yml #3: Commit ed437b4 pushed by simondfoster
July 15, 2024 16:14 12m 44s main
main
July 15, 2024 16:14 12m 44s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2023.yml #2: Commit 278495a pushed by simondfoster
July 12, 2024 20:04 13m 3s main
main
July 12, 2024 20:04 13m 3s
CI .github/workflows/build_2023.yml #1: Commit 6ddc2a0 pushed by lexbailey
March 30, 2024 01:12 12m 29s main
main
March 30, 2024 01:12 12m 29s