Skip to content

Actions: vellvm/ctrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
finished functional draft of sbisimalt.v. onto tests. Build ctrees under nix #38: Commit 8723c74 pushed by rogerburtonpatel
4m 45s askrcv
askrcv
4m 45s
Cleaned SSimAlt, removed update_val_rel, documented. Build ctrees under nix #37: Commit 5bc692b pushed by rogerburtonpatel
2m 33s askrcv
askrcv
2m 33s
Factored out Estar Build ctrees under nix #36: Commit ad52ae5 pushed by rogerburtonpatel
4m 2s askrcv
askrcv
4m 2s
Lots of equivalences, need cleaning Build ctrees under nix #35: Commit 136e68f pushed by rogerburtonpatel
3m 27s askrcv
askrcv
3m 27s
Progress on global fixes to SSimAlt Build ctrees under nix #34: Commit 19810c5 pushed by rogerburtonpatel
2m 1s askrcv
askrcv
2m 1s
Merge branch 'askrcv' of github.com:vellvm/ctrees into askrcv Build ctrees under nix #33: Commit bce13f8 pushed by rogerburtonpatel
1m 49s askrcv
askrcv
1m 49s
mon instance Build ctrees under nix #32: Commit d37b30f pushed by YaZko
1m 48s askrcv
askrcv
1m 48s
nits from meeting Build ctrees under nix #31: Commit ca57c2a pushed by YaZko
2m 45s askrcv
askrcv
2m 45s
Fixed bind in SSimAlt Build ctrees under nix #30: Commit e19ac79 pushed by rogerburtonpatel
1m 49s askrcv
askrcv
1m 49s
Fixed bind in SBisimAlt Build ctrees under nix #29: Commit 5c06ffd pushed by rogerburtonpatel
2m 29s askrcv
askrcv
2m 29s
SBisimAlt for review. Build ctrees under nix #28: Commit f0ad07e pushed by rogerburtonpatel
3m 13s askrcv
askrcv
3m 13s
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