Skip to content

Actions: hferee/UIML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Done simplifying Δ in E(Δ) and A(Δ, φ) Build doc #51: Commit 9cd5481 pushed by hferee
September 11, 2024 11:30 13m 5s inv
inv
September 11, 2024 11:30 13m 5s
make progress in defining a correct simplification for environments, … Build doc #50: Commit b9fcb92 pushed by hferee
September 9, 2024 16:02 6m 22s inv
inv
September 9, 2024 16:02 6m 22s
pages build and deployment pages-build-deployment #82: by hferee
September 3, 2024 13:34 41s
September 3, 2024 13:34 41s
Merge pull request #30 from hferee/dec Build doc #49: Commit cae160f pushed by hferee
September 3, 2024 13:28 6m 11s main
main
September 3, 2024 13:28 6m 11s
Decision procedure for iSL Build doc #48: Pull request #30 opened by hferee
September 3, 2024 13:18 3s dec
dec
September 3, 2024 13:18 3s
Extract the iSL decision procedure to OCaml Build doc #47: Commit 2d9d210 pushed by hferee
September 3, 2024 13:16 13m 51s dec
dec
September 3, 2024 13:16 13m 51s
Decision procedure: name cleanup Build doc #46: Commit 8521f2f pushed by hferee
September 3, 2024 13:07 5m 30s inv
inv
September 3, 2024 13:07 5m 30s
pages build and deployment pages-build-deployment #81: by hferee
August 29, 2024 15:14 39s
August 29, 2024 15:14 39s
Merge pull request #29 from hferee/inv Build doc #45: Commit 4245a6d pushed by hferee
August 29, 2024 15:08 6m 24s main
main
August 29, 2024 15:08 6m 24s
Implement Iris' alternative rules for E5. Almost no change in output … Build doc #44: Pull request #29 opened by hferee
August 29, 2024 15:02 4s inv
inv
August 29, 2024 15:02 4s
Implement Iris' alternative rules for E5. Almost no change in output … Build doc #43: Commit e7a0292 pushed by hferee
August 29, 2024 15:00 6m 10s inv
inv
August 29, 2024 15:00 6m 10s
pages build and deployment pages-build-deployment #80: by hferee
August 29, 2024 14:22 47s
August 29, 2024 14:22 47s
Merge pull request #28 from hferee/inv Build doc #42: Commit 98aeef2 pushed by hferee
August 29, 2024 14:16 6m 22s main
main
August 29, 2024 14:16 6m 22s
Implement Iris' alternative rules for E8 Build doc #41: Pull request #28 opened by hferee
August 29, 2024 14:16 2s inv
inv
August 29, 2024 14:16 2s
Implement Iris' alternative rules for E8 Build doc #40: Commit 5f7cf4c pushed by hferee
August 29, 2024 14:10 6m 0s inv
inv
August 29, 2024 14:10 6m 0s
pages build and deployment pages-build-deployment #79: by hferee
August 28, 2024 13:10 42s
August 28, 2024 13:10 42s
Merge pull request #27 from hferee/inv Build doc #39: Commit d77462f pushed by hferee
August 28, 2024 13:04 6m 24s main
main
August 28, 2024 13:04 6m 24s
Replace multisets with lists in uniform interpolant computation Build doc #38: Pull request #27 synchronize by hferee
August 28, 2024 12:35 3s inv
inv
August 28, 2024 12:35 3s
Add a benchmark (now feasible) Build doc #37: Commit 2701687 pushed by hferee
August 28, 2024 12:35 6m 0s inv
inv
August 28, 2024 12:35 6m 0s
Replace multisets with lists in uniform interpolant computation Build doc #36: Pull request #27 synchronize by hferee
August 28, 2024 12:22 4s inv
inv
August 28, 2024 12:22 4s
Fix admits Build doc #35: Commit 59d61ee pushed by hferee
August 28, 2024 12:22 5m 57s inv
inv
August 28, 2024 12:22 5m 57s
Replace multisets with lists in uniform interpolant computation Build doc #34: Pull request #27 opened by hferee
August 28, 2024 11:27 3s inv
inv
August 28, 2024 11:27 3s
Done using lists instead of multisets. x60 speedup in some cases Build doc #33: Commit 9593473 pushed by hferee
August 28, 2024 11:26 6m 0s inv
inv
August 28, 2024 11:26 6m 0s
Use list instead of multiset when building propositional quantifiers.… Build doc #32: Commit 7227a63 pushed by hferee
August 27, 2024 20:03 5m 22s inv
inv
August 27, 2024 20:03 5m 22s
pages build and deployment pages-build-deployment #78: by hferee
August 26, 2024 11:46 40s
August 26, 2024 11:46 40s