Skip to content

Actions: vellvm/ctrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
Epsilon, might be necessary to revisit it to prettify things a bit.. Build ctrees under nix #27: Commit b0f721f pushed by YaZko
3m 55s askrcv
askrcv
3m 55s
Capitalization Build ctrees under nix #26: Commit 2bb6f9e pushed by YaZko
1m 44s askrcv
askrcv
1m 44s
Automate working with labels Build ctrees under nix #25: Commit 46a4523 pushed by YaZko
1m 49s askrcv
askrcv
1m 49s
Promoting the draft to main, keeping the old one for review of changes Build ctrees under nix #24: Commit 7d5ee4d pushed by YaZko
3m 23s askrcv
askrcv
3m 23s
Finished sbisim Build ctrees under nix #23: Commit 87ed644 pushed by YaZko
4m 22s askrcv
askrcv
4m 22s
Incompatibility lemmas and a painful fix to tactics Build ctrees under nix #22: Commit 2f25152 pushed by YaZko
3m 52s askrcv
askrcv
3m 52s
elementary laws Build ctrees under nix #21: Commit 01729d3 pushed by YaZko
2m 37s askrcv
askrcv
2m 37s
Finished proof rules. Not the worst state, but some thought should si… Build ctrees under nix #20: Commit 8420422 pushed by YaZko
1m 49s askrcv
askrcv
1m 49s
Merge branch 'askrcv' of github.com:vellvm/ctrees into askrcv Build ctrees under nix #19: Commit 2816789 pushed by YaZko
2m 59s askrcv
askrcv
2m 59s
Merge pull request #38 from laelath/dev Build ctrees under nix #18: Commit 70ca6bd pushed by YaZko
4m 3s dev
dev
4m 3s
most of a port of ITrees mrec to CTrees Build ctrees under nix #16: Commit 6b27740 pushed by nchappe
2m 1s dev
dev
2m 1s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #15: Commit 2a7b3b8 pushed by nchappe
4m 48s dev
dev
4m 48s
Mrec Docker CI #81: Pull request #37 opened by Zdancewic
16s mrec
mrec
16s
Mrec Build ctrees under nix #14: Pull request #37 opened by Zdancewic
3m 33s mrec
mrec
3m 33s
most of a port of ITrees mrec to CTrees Build ctrees under nix #13: Commit 6db7489 pushed by Zdancewic
2m 3s mrec
mrec
2m 3s
change the definition of MonadBr to match MonadTrigger Docker CI #80: Pull request #36 opened by Zdancewic
15s mbranch-args
mbranch-args
15s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #12: Pull request #36 opened by Zdancewic
3m 30s mbranch-args
mbranch-args
3m 30s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #11: Commit 9383682 pushed by Zdancewic
4m 25s mbranch-args
mbranch-args
4m 25s
Update Docker CI build for Rocq 9.0. Docker CI #79: Pull request #35 opened by Chobbes
5m 32s Chobbes:dev
Chobbes:dev
5m 32s
Update Docker CI build for Rocq 9.0. Build ctrees under nix #10: Pull request #35 opened by Chobbes
3m 13s Chobbes:dev
Chobbes:dev
3m 13s
Splitting system calls into two transitions Docker CI #78: Pull request #31 synchronize by Chobbes
17s askrcv
askrcv
17s
Splitting system calls into two transitions Build ctrees under nix #9: Pull request #31 synchronize by Chobbes
3m 36s askrcv
askrcv
3m 36s
Merge branch 'dev' into askrcv Build ctrees under nix #8: Commit 2c6b639 pushed by Chobbes
7m 7s askrcv
askrcv
7m 7s
Update flake.nix Build ctrees under nix #7: Commit 04d0326 pushed by nchappe
3m 21s dev
dev
3m 21s
Update dune-project Build ctrees under nix #6: Commit 29a153d pushed by nchappe
4m 38s dev
dev
4m 38s