Skip to content

Actions: REPROSEC/dolev-yao-star-extrinsic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
502 workflow runs
502 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Moved initial test for modifies analysis into a testing directory. To… .github/workflows/nix.yml #510: Commit 5e3969d pushed by qaphla
February 24, 2025 16:21 15m 41s qaphla/modifies-analysis
qaphla/modifies-analysis
February 24, 2025 16:21 15m 41s
Improve proof performance by making communication layer functions opa… .github/workflows/nix.yml #509: Commit 7da0300 pushed by fabian-hk
February 17, 2025 14:53 13m 16s feature/communication-layer
feature/communication-layer
February 17, 2025 14:53 13m 16s
Strength request send/receive postconditions .github/workflows/nix.yml #508: Commit 97a52a4 pushed by qaphla
February 14, 2025 13:11 13m 13s qaphla/communication-layer-opaque
qaphla/communication-layer-opaque
February 14, 2025 13:11 13m 13s
Made reqres functions opaque .github/workflows/nix.yml #507: Commit 727f13f pushed by qaphla
February 13, 2025 12:43 14m 51s qaphla/communication-layer-opaque
qaphla/communication-layer-opaque
February 13, 2025 12:43 14m 51s
Made most communication layer core functions opaque, added SMTPats .github/workflows/nix.yml #506: Commit 19eeba5 pushed by qaphla
February 13, 2025 09:50 13m 15s qaphla/communication-layer-opaque
qaphla/communication-layer-opaque
February 13, 2025 09:50 13m 15s
Adjust request/confidential message postconditions (#101) .github/workflows/nix.yml #505: Commit 14504c8 pushed by fabian-hk
February 11, 2025 15:50 13m 18s feature/communication-layer
feature/communication-layer
February 11, 2025 15:50 13m 18s
Cleaned up some invariants and proofs with help of a small utility fu… .github/workflows/nix.yml #504: Commit edd2040 pushed by qaphla
February 6, 2025 10:49 13m 20s qaphla/communication-layer-receive-post
qaphla/communication-layer-receive-post
February 6, 2025 10:49 13m 20s
Revised confidential message/request receipt postconditions .github/workflows/nix.yml #503: Commit 7876968 pushed by qaphla
February 6, 2025 08:30 23s qaphla/communication-layer-receive-post
qaphla/communication-layer-receive-post
February 6, 2025 08:30 23s
Update URL to communication layer examples .github/workflows/nix.yml #502: Commit 40ba5f5 pushed by fabian-hk
January 30, 2025 18:10 13m 21s feature/communication-layer
feature/communication-layer
January 30, 2025 18:10 13m 21s
Using False as default in event predicates extension by higher layer;… .github/workflows/nix.yml #501: Commit 7499ea7 pushed by fabian-hk
January 30, 2025 12:48 29m 54s feature/communication-layer
feature/communication-layer
January 30, 2025 12:48 29m 54s
Update src/core/DY.Core.Trace.Modifies.fst .github/workflows/nix.yml #500: Commit 2a586f1 pushed by qaphla
January 30, 2025 10:43 2h 15m 4s qaphla/modifies-analysis
qaphla/modifies-analysis
January 30, 2025 10:43 2h 15m 4s
Feedback .github/workflows/nix.yml #499: Commit 3d927a0 pushed by fabian-hk
January 28, 2025 17:01 40m 46s feature/communication-layer
feature/communication-layer
January 28, 2025 17:01 40m 46s
Move some core functions to DY.Core.Trace.Manipulation; clean up unne… .github/workflows/nix.yml #498: Commit 5e0ff5f pushed by qaphla
January 28, 2025 16:40 19m 56s qaphla/modifies-analysis
qaphla/modifies-analysis
January 28, 2025 16:40 19m 56s
Cleanup of trace modifies analysis (Still has examples) .github/workflows/nix.yml #497: Commit 608f618 pushed by qaphla
January 28, 2025 16:20 9m 34s qaphla/modifies-analysis
qaphla/modifies-analysis
January 28, 2025 16:20 9m 34s
Feedback .github/workflows/nix.yml #496: Commit 7deb02c pushed by fabian-hk
January 23, 2025 17:03 13m 25s feature/communication-layer
feature/communication-layer
January 23, 2025 17:03 13m 25s
feat: extend trace printing with state tags (#100) .github/workflows/nix.yml #495: Commit b9e4fdf pushed by TWal
January 23, 2025 13:23 17s main
main
January 23, 2025 13:23 17s
Feedback .github/workflows/nix.yml #494: Commit 3743479 pushed by fabian-hk
January 22, 2025 15:49 13m 3s feature/communication-layer
feature/communication-layer
January 22, 2025 15:49 13m 3s
feat:Extend trace printing with state tags .github/workflows/nix.yml #493: Commit ccde7cf pushed by fabian-hk
January 22, 2025 14:12 20m 5s feature/trace-printing-state-tags
feature/trace-printing-state-tags
January 22, 2025 14:12 20m 5s
Improve printing of communication messages .github/workflows/nix.yml #492: Commit 13c4004 pushed by fabian-hk
January 22, 2025 14:09 13m 10s feature/communication-layer
feature/communication-layer
January 22, 2025 14:09 13m 10s
Encapsulate all com messages in com_message_t type. This is needed fo… .github/workflows/nix.yml #491: Commit c2205c5 pushed by fabian-hk
January 10, 2025 09:21 13m 11s feature/communication-layer
feature/communication-layer
January 10, 2025 09:21 13m 11s
Encapsulate all com messages in com_message_t type. This is needed fo… .github/workflows/nix.yml #490: Commit b3630b9 pushed by fabian-hk
January 10, 2025 08:55 13m 6s feature/communication-layer
feature/communication-layer
January 10, 2025 08:55 13m 6s
chore: update for new F* build (#99) .github/workflows/nix.yml #489: Commit d3a7106 pushed by TWal
January 9, 2025 12:52 18s main
main
January 9, 2025 12:52 18s
update F* .github/workflows/nix.yml #488: Commit ed34ce2 pushed by TWal
January 9, 2025 12:39 9m 3s dev
dev
January 9, 2025 12:39 9m 3s
Add function to generate a communication layer response nonce with an… .github/workflows/nix.yml #487: Commit a780fe6 pushed by fabian-hk
January 8, 2025 11:15 20m 4s feature/communication-layer
feature/communication-layer
January 8, 2025 11:15 20m 4s
chore: update F* and fix proofs (#98) .github/workflows/nix.yml #486: Commit 906bffb pushed by TWal
January 7, 2025 10:23 17s main
main
January 7, 2025 10:23 17s