Skip to content

Actions: isabelle-utp/interaction-trees

Actions

.github/workflows/build_2021-1.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2021-1.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A few more updates for changes upstream .github/workflows/build_2021-1.yml #80: Commit 030fdb1 pushed by simondfoster
January 8, 2025 10:24 1m 46s master
master
January 8, 2025 10:24 1m 46s
.github/workflows/build_2021-1.yml .github/workflows/build_2021-1.yml #79: by simondfoster
January 7, 2025 13:51 1m 45s master
master
January 7, 2025 13:51 1m 45s
Removed ghost variable syntax, as it's now in Abstract_Prog_Syntax .github/workflows/build_2021-1.yml #78: Commit c3cdcde pushed by simondfoster
January 6, 2025 11:18 2m 2s master
master
January 6, 2025 11:18 2m 2s
Updated numeric VCG to depend on Hybrid-Library, for vector syntax .github/workflows/build_2021-1.yml #77: Commit 1abd0f4 pushed by simondfoster
October 31, 2024 22:19 4m 54s master
master
October 31, 2024 22:19 4m 54s
Added "ITree_Numeric_VCG", which is a foundation for verifying numeri… .github/workflows/build_2021-1.yml #76: Commit aacc896 pushed by simondfoster
October 8, 2024 14:03 4m 32s master
master
October 8, 2024 14:03 4m 32s
Added until loops .github/workflows/build_2021-1.yml #75: Commit 5f029b8 pushed by simondfoster
September 23, 2024 14:52 5m 51s master
master
September 23, 2024 14:52 5m 51s
A few syntax tweaks for VCG .github/workflows/build_2021-1.yml #74: Commit 5f34527 pushed by simondfoster
September 20, 2024 12:55 5m 25s master
master
September 20, 2024 12:55 5m 25s
Additional Hoare logic laws and a fix .github/workflows/build_2021-1.yml #73: Commit 6e91714 pushed by simondfoster
September 19, 2024 09:39 5m 9s master
master
September 19, 2024 09:39 5m 9s
Tidied up and integrated ITree interpretation .github/workflows/build_2021-1.yml #72: Commit aec70ff pushed by simondfoster
September 10, 2024 10:27 6m 1s master
master
September 10, 2024 10:27 6m 1s
Tidying interpretation a bit .github/workflows/build_2021-1.yml #71: Commit 78307f3 pushed by simondfoster
September 9, 2024 20:10 10m 32s master
master
September 9, 2024 20:10 10m 32s
Code generation for interpretation now works. .github/workflows/build_2021-1.yml #70: Commit 4290770 pushed by simondfoster
September 9, 2024 19:41 6m 16s master
master
September 9, 2024 19:41 6m 16s
More work on code gen for interp .github/workflows/build_2021-1.yml #69: Commit ce0e03f pushed by simondfoster
September 9, 2024 16:33 5m 19s master
master
September 9, 2024 16:33 5m 19s
Work on making code generation work for interpretation .github/workflows/build_2021-1.yml #68: Commit 3f3bfc0 pushed by simondfoster
September 9, 2024 13:51 6m 16s master
master
September 9, 2024 13:51 6m 16s
Upgraded show channel so it can handle parametric channel types .github/workflows/build_2021-1.yml #67: Commit 4074ed6 pushed by simondfoster
September 5, 2024 16:10 6m 19s master
master
September 5, 2024 16:10 6m 19s
Fixed polymorphism issue with interpretation, and added call-only int… .github/workflows/build_2021-1.yml #66: Commit a0c0eb5 pushed by simondfoster
September 2, 2024 14:27 5m 1s master
master
September 2, 2024 14:27 5m 1s
A much improved version of the interpretation combinator .github/workflows/build_2021-1.yml #65: Commit be1bbf3 pushed by simondfoster
August 29, 2024 20:09 5m 1s master
master
August 29, 2024 20:09 5m 1s
Added an initial approach to mutually corecursive ITrees. .github/workflows/build_2021-1.yml #64: Commit 3ca545b pushed by simondfoster
August 27, 2024 17:25 6m 23s master
master
August 27, 2024 17:25 6m 23s
Added friendliness proof for external choice .github/workflows/build_2021-1.yml #63: Commit ae3fb6c pushed by simondfoster
August 22, 2024 16:34 5m 16s master
master
August 22, 2024 16:34 5m 16s
Added laws to support stepping of parallel composition .github/workflows/build_2021-1.yml #62: Commit 755fa84 pushed by simondfoster
August 21, 2024 20:27 6m 13s master
master
August 21, 2024 20:27 6m 13s
Started an experiment on an alternative way of characterising externa… .github/workflows/build_2021-1.yml #61: Commit ac957c4 pushed by simondfoster
July 15, 2024 09:57 5m 42s master
master
July 15, 2024 09:57 5m 42s
Renamed map_prod to excl_comb, to be more indicative of what the oper… .github/workflows/build_2021-1.yml #60: Commit 4e840cb pushed by simondfoster
July 15, 2024 09:49 5m 2s master
master
July 15, 2024 09:49 5m 2s
Trying an alternative approach to channel reflection, which doesn't r… .github/workflows/build_2021-1.yml #59: Commit a3c3f8b pushed by simondfoster
July 12, 2024 12:44 5m 18s master
master
July 12, 2024 12:44 5m 18s
Added several addition FD properties .github/workflows/build_2021-1.yml #58: Commit 571074b pushed by simondfoster
July 6, 2024 20:43 4m 46s master
master
July 6, 2024 20:43 4m 46s
Added the beginnings of an SML ITree implementation. .github/workflows/build_2021-1.yml #57: Commit e7fdda4 pushed by simondfoster
July 4, 2024 12:40 47m 13s master
master
July 4, 2024 12:40 47m 13s
Tweaks to procedures .github/workflows/build_2021-1.yml #56: Commit c9c7aa3 pushed by simondfoster
July 4, 2024 12:40 6m 30s master
master
July 4, 2024 12:40 6m 30s