Skip to content

Actions: uwplse/verdi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #147 from gares/fix-ssr-have-opacity
Docker CI #22: Commit b7f7784 pushed by palmskog
May 17, 2024 11:40 3m 7s master
May 17, 2024 11:40 3m 7s
simplify proofs
Docker CI #21: Pull request #147 opened by gares
May 17, 2024 11:19 3m 5s gares:fix-ssr-have-opacity
May 17, 2024 11:19 3m 5s
Merge pull request #146 from uwplse/update-boilerplate-pubs
Docker CI #20: Commit 8f7fe47 pushed by palmskog
December 8, 2023 13:45 2m 56s master
December 8, 2023 13:45 2m 56s
update publication URLs
Docker CI #19: Pull request #146 opened by palmskog
December 8, 2023 13:41 2m 59s update-boilerplate-pubs
December 8, 2023 13:41 2m 59s
Merge pull request #144 from uwplse/conclude_using
Docker CI #18: Commit f082f86 pushed by palmskog
November 5, 2023 07:51 4m 30s master
November 5, 2023 07:51 4m 30s
simplified conclude_using
Docker CI #17: Pull request #144 opened by palmskog
November 5, 2023 07:46 4m 24s conclude_using
November 5, 2023 07:46 4m 24s
Merge pull request #143 from uwplse/theories-dir
Docker CI #16: Commit 44aacdc pushed by palmskog
October 21, 2023 15:47 3m 33s master
October 21, 2023 15:47 3m 33s
reorganize files under standard theories directory
Docker CI #15: Pull request #143 opened by palmskog
October 21, 2023 15:43 4m 0s theories-dir
October 21, 2023 15:43 4m 0s
Merge pull request #142 from uwplse/from-require
Docker CI #14: Commit bfb44e8 pushed by palmskog
October 20, 2023 18:50 4m 12s master
October 20, 2023 18:50 4m 12s
consistently use From-Require
Docker CI #13: Pull request #142 opened by palmskog
October 20, 2023 18:46 4m 39s from-require
October 20, 2023 18:46 4m 39s
Merge pull request #141 from uwplse/purge-npeano
Docker CI #12: Commit f31f907 pushed by palmskog
October 15, 2023 17:03 3m 29s master
October 15, 2023 17:03 3m 29s
purge NPeano in favor of PeanoNat
Docker CI #11: Pull request #141 opened by palmskog
October 15, 2023 16:59 4m 32s purge-npeano
October 15, 2023 16:59 4m 32s
Merge pull request #140 from uwplse/fix-deprec
Docker CI #10: Commit f297c02 pushed by palmskog
October 15, 2023 14:12 4m 15s master
October 15, 2023 14:12 4m 15s
Fix deprecations
Docker CI #9: Pull request #140 opened by palmskog
October 15, 2023 14:07 3m 40s fix-deprec
October 15, 2023 14:07 3m 40s