Skip to content

Actions: mit-plv/rewriter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Provide a convenience hypothesis with eqv assumptions in rewrite rules side-conditions CI (Coq, docker) #567: Pull request #134 opened by JasonGross
December 23, 2023 01:12 6m 50s JasonGross:give-eqv-hyp
JasonGross:give-eqv-hyp
December 23, 2023 01:12 6m 50s
Add expr.reify_as_interp_related (#133) CI (Coq) #622: Commit 44552d2 pushed by JasonGross
December 22, 2023 23:30 10m 15s master
master
December 22, 2023 23:30 10m 15s
Add expr.reify_as_interp_related (#133) CI (Coq, docker) #566: Commit 44552d2 pushed by JasonGross
December 22, 2023 23:30 6m 37s master
master
December 22, 2023 23:30 6m 37s
Add expr.reify_as_interp_related CI (Coq, docker) #565: Pull request #133 opened by JasonGross
December 22, 2023 23:22 6m 26s JasonGross:more-reify-as-interp-related
JasonGross:more-reify-as-interp-related
December 22, 2023 23:22 6m 26s
Add expr.reify_as_interp_related CI (Coq) #621: Pull request #133 opened by JasonGross
December 22, 2023 23:22 8m 16s JasonGross:more-reify-as-interp-related
JasonGross:more-reify-as-interp-related
December 22, 2023 23:22 8m 16s
More expressive debugging in handle_reified_rewrite_rules_interp (#… CI (Coq) #620: Commit 90549d8 pushed by JasonGross
December 9, 2023 03:47 15m 10s master
master
December 9, 2023 03:47 15m 10s
More expressive debugging in handle_reified_rewrite_rules_interp (#… CI (Coq, docker) #564: Commit 90549d8 pushed by JasonGross
December 9, 2023 03:47 6m 24s master
master
December 9, 2023 03:47 6m 24s
More expressive debugging in handle_reified_rewrite_rules_interp CI (Coq) #619: Pull request #132 opened by JasonGross
December 9, 2023 03:37 16m 57s more-debug
more-debug
December 9, 2023 03:37 16m 57s
More expressive debugging in handle_reified_rewrite_rules_interp CI (Coq, docker) #563: Pull request #132 opened by JasonGross
December 9, 2023 03:37 16m 15s more-debug
more-debug
December 9, 2023 03:37 16m 15s
More expressive debugging in handle_reified_rewrite_rules_interp CI (Coq) #618: Commit 1caf69e pushed by JasonGross
December 9, 2023 03:37 10m 18s more-debug
more-debug
December 9, 2023 03:37 10m 18s
More expressive debugging in handle_reified_rewrite_rules_interp CI (Coq, docker) #562: Commit 1caf69e pushed by JasonGross
December 9, 2023 03:37 9m 22s more-debug
more-debug
December 9, 2023 03:37 9m 22s
Fix unfolding of let in rewrite rule proving (#131) CI (Coq, docker) #561: Commit 22162aa pushed by JasonGross
December 9, 2023 00:30 15m 46s master
master
December 9, 2023 00:30 15m 46s
Fix unfolding of let in rewrite rule proving (#131) CI (Coq) #617: Commit 22162aa pushed by JasonGross
December 9, 2023 00:30 17m 25s master
master
December 9, 2023 00:30 17m 25s
Allow leaving over shelved goals when debugging cache_term (#130) CI (Coq) #616: Commit 1f0751a pushed by JasonGross
December 9, 2023 00:23 13m 46s master
master
December 9, 2023 00:23 13m 46s
Allow leaving over shelved goals when debugging cache_term (#130) CI (Coq, docker) #560: Commit 1f0751a pushed by JasonGross
December 9, 2023 00:23 13m 36s master
master
December 9, 2023 00:23 13m 36s
Fix unfolding of let in rewrite rule proving CI (Coq) #615: Pull request #131 opened by JasonGross
December 9, 2023 00:21 8m 59s JasonGross:better-let-in
JasonGross:better-let-in
December 9, 2023 00:21 8m 59s
Fix unfolding of let in rewrite rule proving CI (Coq, docker) #559: Pull request #131 opened by JasonGross
December 9, 2023 00:21 8m 49s JasonGross:better-let-in
JasonGross:better-let-in
December 9, 2023 00:21 8m 49s
Allow leaving over shelved goals when debugging cache_term CI (Coq) #614: Pull request #130 opened by JasonGross
December 8, 2023 22:18 8m 18s JasonGross:cache-term-debug
JasonGross:cache-term-debug
December 8, 2023 22:18 8m 18s
Allow leaving over shelved goals when debugging cache_term CI (Coq, docker) #558: Pull request #130 opened by JasonGross
December 8, 2023 22:18 6m 29s JasonGross:cache-term-debug
JasonGross:cache-term-debug
December 8, 2023 22:18 6m 29s
Add prod_rect_nodep_eta (#129) CI (Coq) #613: Commit 3a0a5f7 pushed by JasonGross
December 7, 2023 23:43 13m 57s master
master
December 7, 2023 23:43 13m 57s
Add prod_rect_nodep_eta (#129) CI (Coq, docker) #557: Commit 3a0a5f7 pushed by JasonGross
December 7, 2023 23:43 7m 51s master
master
December 7, 2023 23:43 7m 51s
Add prod_rect_nodep_eta CI (Coq, docker) #556: Pull request #129 opened by JasonGross
December 7, 2023 23:27 23m 3s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 23m 3s
Add prod_rect_nodep_eta CI (Coq) #612: Pull request #129 opened by JasonGross
December 7, 2023 23:27 23m 16s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 23m 16s
Add prod_rect_nodep_eta CI (Coq, docker) #555: Commit 6ec4cac pushed by JasonGross
December 7, 2023 23:27 16m 19s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 16m 19s
Add prod_rect_nodep_eta CI (Coq) #611: Commit 6ec4cac pushed by JasonGross
December 7, 2023 23:27 16m 27s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 16m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.