Skip to content

Actions: hferee/UIML

Actions

Build doc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_docs.yml
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
Avoid one recursive call in E(… q) Build doc #31: Commit c9bb805 pushed by hferee
August 26, 2024 11:39 6m 28s main
main
August 26, 2024 11:39 6m 28s
Keep cleaning up Build doc #30: Commit cfc0c01 pushed by hferee
August 23, 2024 12:53 6m 55s main
main
August 23, 2024 12:53 6m 55s
Merge branch 'unify-make-simp' Build doc #29: Commit 04d90b3 pushed by hferee
August 22, 2024 07:02 7m 2s main
main
August 22, 2024 07:02 7m 2s
Add simplifications related to negations Build doc #28: Commit 56fdea7 pushed by hferee
August 21, 2024 18:08 7m 1s main
main
August 21, 2024 18:08 7m 1s
Unify make and simp functions Build doc #27: Pull request #25 opened by Yag000
July 29, 2024 12:12 7m 2s Yag000:unify-make-simp
Yag000:unify-make-simp
July 29, 2024 12:12 7m 2s
Simplifications simplify proof Build doc #26: Pull request #24 opened by Yag000
July 28, 2024 17:46 6m 25s Yag000:simplifications-simplify-proof
Yag000:simplifications-simplify-proof
July 28, 2024 17:46 6m 25s
Merge pull request #23 from Yag000/cleanup-simp Build doc #25: Commit 3c8caaa pushed by hferee
July 10, 2024 08:43 6m 53s main
main
July 10, 2024 08:43 6m 53s
Cleanup simp and document it Build doc #24: Pull request #23 opened by Yag000
July 9, 2024 15:03 6m 37s Yag000:cleanup-simp
Yag000:cleanup-simp
July 9, 2024 15:03 6m 37s