Skip to content

Actions: isabelle-utp/Shallow-Expressions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added cylindric algebra laws and missing unrestriction law .github/workflows/build_2023.yml #14: Commit 4a039c2 pushed by simondfoster
January 24, 2025 09:46 1m 41s main
main
January 24, 2025 09:46 1m 41s
Added some missing unrestriction laws .github/workflows/build_2023.yml #13: Commit 43a7195 pushed by simondfoster
January 23, 2025 13:52 1m 57s main
main
January 23, 2025 13:52 1m 57s
Improved the unrest tactics, so it can use both unrestriction laws an… .github/workflows/build_2023.yml #12: Commit 103a582 pushed by simondfoster
January 22, 2025 21:31 2m 26s main
main
January 22, 2025 21:31 2m 26s
Additional substitution extension law .github/workflows/build_2023.yml #11: Commit 747730b pushed by simondfoster
January 17, 2025 16:39 2m 13s main
main
January 17, 2025 16:39 2m 13s
Added unrestriction law for substitution extension .github/workflows/build_2023.yml #10: Commit 30a15eb pushed by simondfoster
January 16, 2025 22:03 1m 46s main
main
January 16, 2025 22:03 1m 46s
Added the law for splitting predicates on boolean variables. .github/workflows/build_2023.yml #9: Commit 445157b pushed by simondfoster
January 16, 2025 21:26 1m 42s main
main
January 16, 2025 21:26 1m 42s
Substitution laws related to unrestriction and alphabet extension .github/workflows/build_2023.yml #8: Commit 9409dbe pushed by simondfoster
January 15, 2025 16:41 2m 7s main
main
January 15, 2025 16:41 2m 7s
Commutativity of quantifiers should not be in the simplifier... .github/workflows/build_2023.yml #7: Commit 5545728 pushed by simondfoster
January 15, 2025 14:27 1m 43s main
main
January 15, 2025 14:27 1m 43s
Fixed another issue with breaking abstraction .github/workflows/build_2023.yml #6: Commit d42a99b pushed by simondfoster
January 14, 2025 13:50 2m 7s main
main
January 14, 2025 13:50 2m 7s
Improved proof automation for substitution evaluation. .github/workflows/build_2023.yml #5: Commit 6eca872 pushed by simondfoster
January 14, 2025 13:06 1m 42s main
main
January 14, 2025 13:06 1m 42s
Additional unrestriction laws .github/workflows/build_2023.yml #4: Commit a7cdd76 pushed by simondfoster
January 10, 2025 21:49 1m 46s main
main
January 10, 2025 21:49 1m 46s
Slight change to substitution law .github/workflows/build_2023.yml #3: Commit ed433c9 pushed by simondfoster
January 8, 2025 12:14 1m 41s main
main
January 8, 2025 12:14 1m 41s
Renaming and added extra substitution laws .github/workflows/build_2023.yml #2: Commit 00caf6c pushed by simondfoster
January 8, 2025 10:12 1m 46s main
main
January 8, 2025 10:12 1m 46s
CI .github/workflows/build_2023.yml #1: Commit 72108b9 pushed by lexbailey
March 30, 2024 01:51 16m 16s main
main
March 30, 2024 01:51 16m 16s
Added further lemmas to support proof automation of collection lenses .github/workflows/build_2021-1.yml #15: Commit b30d1fc pushed by simondfoster
March 7, 2024 11:02 11m 11s main
main
March 7, 2024 11:02 11m 11s
Added further lemmas to support proof automation of collection lenses .github/workflows/build_2022.yml #15: Commit b30d1fc pushed by simondfoster
March 7, 2024 11:02 59s main
main
March 7, 2024 11:02 59s
Small fix in lifting code for expressions with local variables .github/workflows/build_2022.yml #14: Commit 556985f pushed by simondfoster
February 24, 2024 19:32 58s main
main
February 24, 2024 19:32 58s
Small fix in lifting code for expressions with local variables .github/workflows/build_2021-1.yml #14: Commit 556985f pushed by simondfoster
February 24, 2024 19:32 10m 49s main
main
February 24, 2024 19:32 10m 49s
Integrate local state .github/workflows/build_2021-1.yml #13: Commit 9dc6ace pushed by simondfoster
February 21, 2024 11:31 11m 0s main
main
February 21, 2024 11:31 11m 0s
Integrate local state .github/workflows/build_2022.yml #13: Commit 9dc6ace pushed by simondfoster
February 21, 2024 11:31 1m 21s main
main
February 21, 2024 11:31 1m 21s
Added code to support lifting of local variables .github/workflows/build_2021-1.yml #12: Commit 21357f9 pushed by simondfoster
February 21, 2024 11:29 10m 38s main
main
February 21, 2024 11:29 10m 38s
Added code to support lifting of local variables .github/workflows/build_2022.yml #12: Commit 21357f9 pushed by simondfoster
February 21, 2024 11:29 1m 2s main
main
February 21, 2024 11:29 1m 2s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2021-1.yml #11: Commit 1bdaa62 pushed by simondfoster
January 30, 2024 14:29 10m 44s main
main
January 30, 2024 14:29 10m 44s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2022.yml #11: Commit 1bdaa62 pushed by simondfoster
January 30, 2024 14:29 57s main
main
January 30, 2024 14:29 57s
Removed SEXP_sexpr_if from the simplifier .github/workflows/build_2021-1.yml #10: Commit 2bdd0f5 pushed by simondfoster
January 16, 2024 09:47 10m 44s main
main
January 16, 2024 09:47 10m 44s