Skip to content

Actions: fplaunchpad/sal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
620 workflow runs
620 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
prove Shapiro update state preservation Lean Action CI #606: Commit 70f0cab pushed by kayceesrk
5h 0m 4s main
main
5h 0m 4s
prove Shapiro update replica correspondence Lean Action CI #605: Commit 93db81a pushed by kayceesrk
15m 51s main
main
15m 51s
normalize Shapiro network update preservation Lean Action CI #604: Commit d75d089 pushed by kayceesrk
4m 54s main
main
4m 54s
prepare Shapiro update coupling proof Lean Action CI #603: Commit 751f9b0 pushed by kayceesrk
2h 58m 50s main
main
2h 58m 50s
strengthen dynamic Shapiro message coupling Lean Action CI #602: Commit c2c92ae pushed by kayceesrk
4h 46m 3s main
main
4h 46m 3s
define concrete Shapiro coupling invariant Lean Action CI #601: Commit 52448f0 pushed by kayceesrk
5h 7m 32s main
main
5h 7m 32s
require global op message freshness Lean Action CI #600: Commit d110cce pushed by kayceesrk
4h 59m 20s main
main
4h 59m 20s
assemble Shapiro forward weak simulation Lean Action CI #599: Commit d1271d1 pushed by kayceesrk
3h 10m 23s main
main
3h 10m 23s
prove snapshot network RA preservation Lean Action CI #598: Commit 0146641 pushed by kayceesrk
4h 41m 53s main
main
4h 41m 53s
add conditioned snapshot network semantics Lean Action CI #597: Commit c5ff1a5 pushed by kayceesrk
4h 56m 6s main
main
4h 56m 6s
add disciplined op emulation semantics Lean Action CI #596: Commit 924225d pushed by kayceesrk
4h 45m 41s main
main
4h 45m 41s
add conditioned operational progress certificates Lean Action CI #595: Commit 46edae8 pushed by kayceesrk
4h 55m 6s main
main
4h 55m 6s
lift emulation transfer to virtual LCA semantics Lean Action CI #594: Commit e4884ae pushed by kayceesrk
4h 35m 7s main
main
4h 35m 7s
define conditioned trace observation system Lean Action CI #593: Commit c00e79a pushed by kayceesrk
4h 2m 17s main
main
4h 2m 17s
formalize RA trace transfer boundary Lean Action CI #592: Commit 7800ee0 pushed by kayceesrk
5h 1m 41s main
main
5h 1m 41s
formalize label-morphic CRDT emulation Lean Action CI #591: Commit 682e152 pushed by kayceesrk
3h 49m 46s main
main
3h 49m 46s
implement Shapiro op-to-state emulator Lean Action CI #590: Commit 0df47f2 pushed by kayceesrk
5h 0m 17s main
main
5h 0m 17s
retire legacy global-lo proof route Lean Action CI #589: Commit 852d5f1 pushed by kayceesrk
4h 47m 14s main
main
4h 47m 14s
publish only standalone paper PDFs Lean Action CI #588: Commit bc7b6a1 pushed by kayceesrk
4h 48m 2s main
main
4h 48m 2s
split MRDT manuscript into standalone papers Lean Action CI #587: Commit aed6cd8 pushed by kayceesrk
4h 28m 45s main
main
4h 28m 45s
consolidate verified MRDT certificates and runtime proofs Lean Action CI #586: Commit bea5661 pushed by kayceesrk
5h 3m 9s main
main
5h 3m 9s
sal-mrdts: VC6/VC7 figures as causal version DAGs with named, annotat… Lean Action CI #585: Commit 41f503a pushed by kayceesrk
4h 38m 34s main
main
4h 38m 34s
sal-mrdts: draw the VC6/VC7 figures as LHS = RHS merge trees Lean Action CI #584: Commit ac30d29 pushed by kayceesrk
4h 33m 43s main
main
4h 33m 43s
demos + p2p-demo: em-dash pass over the web apps Lean Action CI #583: Commit d5d49ec pushed by kayceesrk
3h 47m 24s main
main
3h 47m 24s
demos + p2p-demo: em-dash pass over the web apps Deploy CRDT demos to GitHub Pages #14: Commit d5d49ec pushed by kayceesrk
50s main
main
50s