Skip to content

Actions: uwplse/verdi-raft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #105 from uwplse/update-boilerplate-pubs
Docker CI #28: Commit a3375e8 pushed by palmskog
December 8, 2023 14:05 8m 58s master
December 8, 2023 14:05 8m 58s
update publication URLs
Docker CI #27: Pull request #105 opened by palmskog
December 8, 2023 13:44 8m 58s update-boilerplate-pubs
December 8, 2023 13:44 8m 58s
Dune-based extraction
Docker CI #26: Pull request #104 opened by palmskog
November 5, 2023 20:27 16m 44s dune-extraction
November 5, 2023 20:27 16m 44s
Merge pull request #103 from uwplse/update-conclude
Docker CI #25: Commit 16b542d pushed by palmskog
November 5, 2023 09:12 12m 49s master
November 5, 2023 09:12 12m 49s
simplify proofs using conclude and conclude_using tactics
Docker CI #24: Pull request #103 opened by palmskog
November 5, 2023 07:51 1h 15m 36s update-conclude
November 5, 2023 07:51 1h 15m 36s
Merge pull request #102 from uwplse/fix-intuition-deprec
Docker CI #23: Commit b555033 pushed by palmskog
November 4, 2023 15:40 16m 49s master
November 4, 2023 15:40 16m 49s
fix deprecations of intuition auto with star
Docker CI #22: Pull request #102 synchronize by palmskog
November 4, 2023 15:22 15m 58s fix-intuition-deprec
November 4, 2023 15:22 15m 58s
fix deprecations of intuition auto with star
Docker CI #21: Pull request #102 opened by palmskog
October 29, 2023 07:52 11m 47s fix-intuition-deprec
October 29, 2023 07:52 11m 47s
Merge pull request #101 from uwplse/theories-dune
Docker CI #20: Commit 94ff9fa pushed by palmskog
October 22, 2023 10:20 11m 41s master
October 22, 2023 10:20 11m 41s
reorganize files under standard theories directory
Docker CI #19: Pull request #101 opened by palmskog
October 22, 2023 10:05 14m 31s theories-dune
October 22, 2023 10:05 14m 31s
Merge pull request #100 from uwplse/consistent-commands
Docker CI #18: Commit 4dc70ae pushed by palmskog
October 21, 2023 21:15 17m 8s master
October 21, 2023 21:15 17m 8s
consistently use annotations
Docker CI #17: Pull request #100 opened by palmskog
October 21, 2023 20:18 12m 43s consistent-commands
October 21, 2023 20:18 12m 43s
Merge pull request #99 from uwplse/from-require
Docker CI #16: Commit e6d042f pushed by palmskog
October 21, 2023 15:17 16m 34s master
October 21, 2023 15:17 16m 34s
Consistently use From-Require to enable module relocation
Docker CI #15: Pull request #99 opened by palmskog
October 21, 2023 15:00 16m 17s from-require
October 21, 2023 15:00 16m 17s
Merge pull request #98 from uwplse/fix-proof-bullets
Docker CI #14: Commit 06f5ed3 pushed by palmskog
October 20, 2023 18:43 17m 18s master
October 20, 2023 18:43 17m 18s
consistently use bullets for goals in proofs
Docker CI #13: Pull request #98 opened by palmskog
October 20, 2023 18:26 15m 51s fix-proof-bullets
October 20, 2023 18:26 15m 51s
Merge pull request #97 from uwplse/fix-deprec
Docker CI #12: Commit bf28f4a pushed by palmskog
October 15, 2023 18:06 12m 4s master
October 15, 2023 18:06 12m 4s
Fix deprecations
Docker CI #11: Pull request #97 opened by palmskog
October 15, 2023 17:35 14m 20s fix-deprec
October 15, 2023 17:35 14m 20s