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

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
fix-deprec
October 15, 2023 17:35 14m 20s