Skip to content

Actions: REPROSEC/dolev-yao-star-tutorial-code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small cleanuip .github/workflows/nix.yml #90: Commit cc5f5c4 pushed by cwaldm
5m 2s nsl_3_events
nsl_3_events
5m 2s
nsl invariant proofs: receive final message .github/workflows/nix.yml #89: Commit 71e886c pushed by cwaldm
5m 10s nsl_3_events
nsl_3_events
5m 10s
nsl invariant proofs: sending msg3 .github/workflows/nix.yml #88: Commit 16e9d32 pushed by cwaldm
4m 52s nsl_3_events
nsl_3_events
4m 52s
nsl invariant proofs: msg 2 .github/workflows/nix.yml #87: Commit 62ffb3f pushed by cwaldm
18m 52s nsl_3_events
nsl_3_events
18m 52s
nsl: invariant proofs: step 1, step 2 init .github/workflows/nix.yml #86: Commit f858a92 pushed by cwaldm
4m 6s nsl_3_events
nsl_3_events
4m 6s
nsl: added invariants and properties .github/workflows/nix.yml #85: Commit 375786c pushed by cwaldm
4m 2s nsl_3_events
nsl_3_events
4m 2s
added NSL to global makefile .github/workflows/nix.yml #84: Commit e0b31c8 pushed by cwaldm
7m 41s nsl_without_properties
nsl_without_properties
7m 41s
added first model of NSL (without properties; just steps and example … .github/workflows/nix.yml #83: Commit ac73e23 pushed by cwaldm
4m 18s nsl_without_properties
nsl_without_properties
4m 18s
Examples for concepts (#17) .github/workflows/nix.yml #82: Commit 524d714 pushed by cwaldm
19s main
main
19s
Merge branch 'main' into examples_for_concepts .github/workflows/nix.yml #81: Commit cd8943f pushed by cwaldm
5m 37s examples_for_concepts
examples_for_concepts
5m 37s
. .github/workflows/nix.yml #80: Commit 81d7c00 pushed by cwaldm
6m 10s online_authn_3
online_authn_3
6m 10s
Merge remote-tracking branch 'origin/main' into online_authn_3 .github/workflows/nix.yml #79: Commit ff058b8 pushed by cwaldm
18s online_authn_3
online_authn_3
18s
Simplify online secrecy (#16) .github/workflows/nix.yml #78: Commit 285c18d pushed by cwaldm
5m 21s main
main
5m 21s
cleanup .github/workflows/nix.yml #77: Commit 68057f9 pushed by cwaldm
8m 27s online_authn_3
online_authn_3
8m 27s
cleanup .github/workflows/nix.yml #76: Commit bc2db07 pushed by cwaldm
10m 9s online_authn_3
online_authn_3
10m 9s
repair makefile .github/workflows/nix.yml #75: Commit a3a2d92 pushed by cwaldm
4m 26s online_authn_3
online_authn_3
4m 26s
adapt online authn to online secrecy .github/workflows/nix.yml #74: Commit 401084a pushed by cwaldm
8m 34s online_authn_3
online_authn_3
8m 34s
online authn with 3 events - init .github/workflows/nix.yml #73: Commit 7ee6ee3 pushed by cwaldm
2h 50m 58s online_authn_3
online_authn_3
2h 50m 58s
propagating changes from the other online_authn branch --> authentica… .github/workflows/nix.yml #72: Commit 368d916 pushed by cwaldm
19m 10s online_authn_2
online_authn_2
19m 10s
Using prefix in AuthN properties (#15) .github/workflows/nix.yml #71: Commit 0f06f30 pushed by cwaldm
17s online_authn
online_authn
17s
NSL: hiding trace_invariant from properties .github/workflows/nix.yml #70: Commit 1bf6c50 pushed by cwaldm
4m 20s simplify_online_secrecy
simplify_online_secrecy
4m 20s
resolve admit for state_was_set_at_implies_pred_on_prefix .github/workflows/nix.yml #69: Commit 9af16ca pushed by cwaldm
2h 45m 45s authn_with_prefix
authn_with_prefix
2h 45m 45s
nsl: authentication now with state_was_set on PREFIX .github/workflows/nix.yml #68: Commit 6c72af3 pushed by cwaldm
19m 29s authn_with_prefix
authn_with_prefix
19m 29s
Merge branch 'main' into examples_for_concepts .github/workflows/nix.yml #67: Commit 23ddef1 pushed by cwaldm
4m 18s examples_for_concepts
examples_for_concepts
4m 18s
adapting to main .github/workflows/nix.yml #66: Commit fba74ac pushed by cwaldm
4m 29s online_authn_2
online_authn_2
4m 29s