Skip to content

Actions: mit-plv/kami

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bluespec extraction pipeline on the Zmod word, with a CI test CI (Coq, docker, dev) #18: Pull request #54 opened by JasonGross
8m 13s JasonGross:fable/bluespec-ext
JasonGross:fable/bluespec-ext
8m 13s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #17: Pull request #51 synchronize by JasonGross
4m 59s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
4m 59s
Bluespec extraction pipeline on the Zmod word, with a CI test CI (Coq, docker, dev) #16: Pull request #53 synchronize by JasonGross
1h 11m 17s JasonGross:fable/bluespec-ext
JasonGross:fable/bluespec-ext
1h 11m 17s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #15: Pull request #51 synchronize by JasonGross
1h 21m 3s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
1h 21m 3s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #14: Pull request #51 synchronize by JasonGross
42m 12s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
42m 12s
Bluespec extraction pipeline on the Zmod word, with a CI test CI (Coq, docker, dev) #13: Pull request #53 synchronize by JasonGross
1h 17m 23s JasonGross:fable/bluespec-ext
JasonGross:fable/bluespec-ext
1h 17m 23s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #12: Pull request #51 synchronize by JasonGross
39m 1s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
39m 1s
Bluespec extraction pipeline on the Zmod word, with a CI test CI (Coq, docker, dev) #11: Pull request #53 synchronize by JasonGross
53m 13s JasonGross:fable/bluespec-ext
JasonGross:fable/bluespec-ext
53m 13s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #10: Pull request #51 synchronize by JasonGross
46m 46s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
46m 46s
Bluespec extraction pipeline on the Zmod word, with a CI test CI (Coq, docker, dev) #9: Pull request #53 opened by JasonGross
6m 58s JasonGross:fable/bluespec-ext
JasonGross:fable/bluespec-ext
6m 58s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #8: Pull request #51 synchronize by JasonGross
31m 38s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
31m 38s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #7: Pull request #51 synchronize by JasonGross
6m 3s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
6m 3s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #6: Pull request #51 synchronize by JasonGross
5m 45s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
5m 45s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #5: Pull request #51 synchronize by JasonGross
7m 29s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
7m 29s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #4: Pull request #51 synchronize by JasonGross
6m 47s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
6m 47s
Alternate: Kami word directly on stdlib Zmod (comparison with #51) CI (Coq, docker, dev) #3: Pull request #52 opened by JasonGross
3m 49s JasonGross:fable/word-on-zmod
JasonGross:fable/word-on-zmod
3m 49s
Word: represent Kami words as stdlib bits (Zmod), keeping the nat index CI (Coq, docker, dev) #2: Pull request #51 synchronize by JasonGross
6m 57s JasonGross:fable/word-on-bits
JasonGross:fable/word-on-bits
6m 57s
Support Rocq 9.0 in build system and CI CI (Coq, docker, dev) #1: Pull request #50 synchronize by andres-erbsen
3m 51s miriampolzer:rocq-9.0-compat
miriampolzer:rocq-9.0-compat
3m 51s
Support Rocq 9.0 in build system and CI Coq #50: Pull request #50 opened by miriampolzer
2m 29s miriampolzer:rocq-9.0-compat
miriampolzer:rocq-9.0-compat
2m 29s
Adapt to rocq-prover/rocq#21987 (secvar status) Coq #49: Pull request #49 synchronize by SkySkimmer
44m 28s SkySkimmer:context-secvar
SkySkimmer:context-secvar
44m 28s
Adapt to rocq-prover/rocq#21987 (secvar status) Coq #48: Pull request #49 opened by SkySkimmer
45m 29s SkySkimmer:context-secvar
SkySkimmer:context-secvar
45m 29s
Merge pull request #48 from SkySkimmer/gene-eqs-vars Coq #47: Commit 02b3295 pushed by samuelgruetter
18m 0s rv32i
rv32i
18m 0s
Adapt to rocq-prover/rocq#22001 (dependent induction less useless generalizations) Coq #46: Pull request #48 opened by SkySkimmer
1h 0m 19s SkySkimmer:gene-eqs-vars
SkySkimmer:gene-eqs-vars
1h 0m 19s
Merge pull request #47 from proux01/rocq21947 Coq #45: Commit 0438148 pushed by samuelgruetter
50m 33s rv32i
rv32i
50m 33s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 Coq #44: Pull request #47 opened by proux01
51m 52s proux01:rocq21947
proux01:rocq21947
51m 52s