Skip to content

Actions: isabelle-utp/Shallow-Expressions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add svid for the empty lens .github/workflows/build_2023.yml #55: Commit c8ca17a pushed by jameseb7
1m 50s main
main
1m 50s
Additional universal quantifier laws .github/workflows/build_2023.yml #54: Commit 4ed4348 pushed by simondfoster
2m 4s main
main
2m 4s
Add UoY .github/workflows/build_2023.yml #53: Commit 22e835e pushed by simondfoster
1m 44s main
main
1m 44s
Fixes for lifting API changes .github/workflows/build_2023.yml #52: Commit 8973715 pushed by simondfoster
1m 42s main
main
1m 42s
Merge branch 'main' into isabelle2025-afp .github/workflows/build_2023.yml #51: Commit 0f60235 pushed by simondfoster
3m 20s isabelle2025-afp
isabelle2025-afp
3m 20s
Modified lifting parser so that we can supply the state type explicit… .github/workflows/build_2023.yml #50: Commit 189e3e5 pushed by simondfoster
3m 52s main
main
3m 52s
Added an ML function to both read and lift a term. .github/workflows/build_2023.yml #49: Commit 2e800ee pushed by simondfoster
12m 53s main
main
12m 53s
Added better documentation for expression constructors, and added "ex… .github/workflows/build_2023.yml #48: Commit f8ea740 pushed by simondfoster
2m 4s main
main
2m 4s
Missing document style file .github/workflows/build_2023.yml #47: Commit 5f71aa6 pushed by simondfoster
1m 56s main
main
1m 56s
Added some further lens laws about variable pairs .github/workflows/build_2023.yml #46: Commit 6b3a801 pushed by simondfoster
2m 41s main
main
2m 41s
Completed renaming of shallow expression sessions .github/workflows/build_2023.yml #45: Commit a05de5f pushed by simondfoster
1m 38s main
main
1m 38s
Completed renaming of shallow expression sessions .github/workflows/build_2023.yml #44: Commit a05de5f pushed by simondfoster
2m 4s isabelle2025
isabelle2025
2m 4s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2023.yml #43: Commit 95a43eb pushed by simondfoster
1m 59s isabelle2025-afp
isabelle2025-afp
1m 59s
Documented expr_constructor command, and renamed sessions for compati… .github/workflows/build_2023.yml #42: Commit c2ed5ab pushed by simondfoster
1m 42s isabelle2025
isabelle2025
1m 42s
Add documentation for the new options, and some tidying of ML files. .github/workflows/build_2023.yml #41: Commit 5ce10a8 pushed by simondfoster
1m 50s isabelle2025
isabelle2025
1m 50s
Removed all the commands like "lit_vars" and "full_exprs". These are … .github/workflows/build_2023.yml #40: Commit 6f980c4 pushed by simondfoster
1m 39s isabelle2025
isabelle2025
1m 39s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2023.yml #39: Commit 64a3ffc pushed by simondfoster
2m 2s isabelle2025-afp
isabelle2025-afp
2m 2s
Added a few more references .github/workflows/build_2023.yml #38: Commit 146e3d1 pushed by simondfoster
1m 41s isabelle2025
isabelle2025
1m 41s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2023.yml #37: Commit 1aa6339 pushed by simondfoster
2m 35s isabelle2025-afp
isabelle2025-afp
2m 35s
Added a bit more to the examples .github/workflows/build_2023.yml #36: Commit 6eaab47 pushed by simondfoster
1m 43s isabelle2025
isabelle2025
1m 43s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2023.yml #35: Commit 95cae36 pushed by simondfoster
1m 42s isabelle2025-afp
isabelle2025-afp
1m 42s
Fixed unrestriction proof .github/workflows/build_2023.yml #34: Commit 0322401 pushed by simondfoster
3m 34s isabelle2025
isabelle2025
3m 34s
Merge branch 'isabelle2025' into isabelle2025-afp .github/workflows/build_2023.yml #33: Commit 68bb48c pushed by simondfoster
1m 46s isabelle2025-afp
isabelle2025-afp
1m 46s
Various fixes to expression syntax translations .github/workflows/build_2023.yml #32: Commit d7ed8f7 pushed by simondfoster
2m 4s isabelle2025
isabelle2025
2m 4s
Added a fuller example of assignment commutativity .github/workflows/build_2023.yml #31: Commit 710908e pushed by simondfoster
3m 0s isabelle2025
isabelle2025
3m 0s