Skip to content

Actions: unicitynetwork/execution-model-tex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
abstract Build and Release PDF #26: Commit bb2414b pushed by ristik
2m 3s main
main
2m 3s
tl;dr Build and Release PDF #25: Commit 4c32793 pushed by ristik
1m 48s main
main
1m 48s
tl;dr Build and Release PDF #24: Commit 0f4f6a5 pushed by ristik
1m 55s main
main
1m 55s
machine-verified security proofs Build and Release PDF #23: Commit 710f754 pushed by ristik
2m 7s main
main
2m 7s
cleanup Build and Release PDF #22: Commit 62a0a34 pushed by ristik
1m 41s main
main
1m 41s
illustrations for discussion Build and Release PDF #21: Commit e2a9878 pushed by ristik
1m 40s main
main
1m 40s
no predicates here Build and Release PDF #20: Commit c7e43cb pushed by ristik
1m 43s main
main
1m 43s
no predicates here Build and Release PDF #19: Commit c41bc12 pushed by ristik
1m 22s main
main
1m 22s
update Build and Release PDF #18: Commit 97f366e pushed by ristik
1m 42s main
main
1m 42s
h_st is not hash of state Build and Release PDF #17: Commit 731933f pushed by ristik
1m 44s main
main
1m 44s
integrate Build and Release PDF #16: Commit 7068a2c pushed by ristik
1m 42s main
main
1m 42s
initial predicates section Build and Release PDF #15: Commit c8e4a9c pushed by ristik
1m 37s main
main
1m 37s
update Build and Release PDF #14: Commit 7cb4a3f pushed by ristik
1m 44s main
main
1m 44s
scoping Build and Release PDF #13: Commit a7712a9 pushed by ristik
1m 42s main
main
1m 42s
fixes Build and Release PDF #12: Commit 53a7406 pushed by ristik
2m 15s main
main
2m 15s
A little help for syntax highlighter Build and Release PDF #11: Commit f4e51af pushed by ahtotruu
2m 7s main
main
2m 7s
fix token state, typos, naming Build and Release PDF #10: Commit 9e992de pushed by ristik
2m 8s main
main
2m 8s
aux handling Build and Release PDF #9: Commit 6686710 pushed by ristik
1m 51s main
main
1m 51s
from ahtob Build and Release PDF #8: Commit c83ddab pushed by ristik
1m 52s main
main
1m 52s
proof style sync, use security profile instead of advantage notation Build and Release PDF #7: Commit 51bf68a pushed by ristik
1m 33s main
main
1m 33s
consolidated privacy properties Build and Release PDF #6: Commit 0217a10 pushed by ristik
1m 39s main
main
1m 39s
remove intermediate design Build and Release PDF #5: Commit 625da38 pushed by ristik
1m 47s main
main
1m 47s
update Build and Release PDF #4: Commit 52c8581 pushed by ristik
1m 46s main
main
1m 46s
structs for sdk Build and Release PDF #3: Commit c1b2fcf pushed by ristik
1m 44s main
main
1m 44s
update Build and Release PDF #2: Commit ce2ca0d pushed by ristik
1m 48s main
main
1m 48s