Phase 1: Experiment hygiene and threats-to-validity checks
All checks were successful
ci / smoke (push) Successful in 1m26s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 1m26s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 10s
invariant
phase-1
tests
Phase 1: Enhance plotting functionality in plot_phase1_figures.py
All checks were successful
ci / smoke (push) Successful in 1m21s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 1m20s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
figure
phase-1
Phase 1: Strategy-Differentiating Revocation Artifacts and Figure Pipeline
All checks were successful
ci / smoke (push) Successful in 58s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 1m0s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
cli
experiment
figure
metrics
phase-1
Phase 1: Plot and figure generation pipeline
All checks were successful
ci / smoke (push) Successful in 53s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 53s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
figure
metrics
phase-1
Phase 1: Batch runner for Phase 1 sweeps
All checks were successful
ci / smoke (push) Successful in 22s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 22s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
cli
experiment
phase-1
Phase 1: Phase 1 revocation outcome metrics
All checks were successful
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
ci / smoke (push) Successful in 21s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 20s
metrics
phase-1
Phase 1: Revocation-focused workloads
All checks were successful
ci / smoke (push) Successful in 20s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 20s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
experiment
phase-1
workload
Phase 1: Strategy equivalence and sanity checks
All checks were successful
ci / smoke (push) Successful in 19s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 19s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
tests
Phase 1: Strategy D: epoch / indirection revocation
All checks were successful
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
phase-1
revocation
Phase 1: Strategy C: lineage-based revocation (basic)
All checks were successful
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 11s
ci / smoke (pull_request) Successful in 19s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
phase-1
provenance
revocation
Phase 1: Strategy B: lazy invalidate-on-use revocation
All checks were successful
ci / smoke (push) Successful in 18s
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
phase-1
revocation
Phase 1: Strategy A: eager traversal revocation
All checks were successful
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
oracle
phase-1
revocation
Phase 1: Revocation strategy interface
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 17s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
revocation
Phase 1: Revocation cost accounting framework
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 17s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
metrics
phase-1
Phase 1: Ground-truth revocation oracle
All checks were successful
ci / smoke (push) Successful in 16s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
metrics
oracle
phase-1
Phase 1: Revocation event types and API
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
revocation
Phase 1: Capability use semantics
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
event
invariant
phase-1
Phase 1: Phase 1 specification and invariants
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 15s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
docs
invariant
phase-1
Phase 0: Phase 0 documentation
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 15s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
docs
phase-0
Phase 0: Determinism and invariant test suite
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 10s
ci / smoke (pull_request) Successful in 15s
clang-format / check-format (pull_request) Successful in 9s
phase-0
tests