erikinkinen/AES
1
0
Fork 0
Code Issues 1 Pull requests Projects 1 Activity Actions
Labels Milestones
Search syntax
is:open Open
is:closed Closed
is:all All
author:<username> Filter by the author
assignee:<username> Filter by assigned user
review:<username> Filter by user who reviewed
mentions:<username> Filter by mentioned user
sort:<by>:[asc|desc] Sort by: created/comments/updated/deadline
modified:[>|<]<date> Filter by last modified date
New pull request
0 Open 4 Closed 4 All
Label
Clear labels
bug
cli
core
docs
event
experiment
figure
invariant
metrics
oracle
phase-0
phase-1
phase-2
phase-3
phase-4
phase-5
phase-6
provenance
revocation
tests
workload
Milestone
No milestone
Open milestones
Phase 1
Phase 2
Phase 3
Phase 4
Phase 5
Phase 6
Closed milestones
Phase 0
Projects
Clear projects
Open projects
AES — Active Workboard
Assignee
Clear assignees
No assignee
erikinkinen
Phase 1: Strategy A: eager traversal revocation
All checks were successful
ci / smoke (push) Successful in 18s
Details
clang-format / check-format (push) Successful in 9s
Details
markdownlint / markdown-lint (push) Successful in 9s
Details
ci / smoke (pull_request) Successful in 18s
Details
clang-format / check-format (pull_request) Successful in 9s
Details
markdownlint / markdown-lint (pull_request) Successful in 10s
Details
oracle
phase-1
revocation
#70 by erikinkinen was merged 2026-03-05 13:35:14 +01:00
main
Phase 1 AES — Active Workboard 2 / 2
Phase 1: Ground-truth revocation oracle
All checks were successful
ci / smoke (push) Successful in 16s
Details
clang-format / check-format (push) Successful in 9s
Details
markdownlint / markdown-lint (push) Successful in 10s
Details
ci / smoke (pull_request) Successful in 16s
Details
clang-format / check-format (pull_request) Successful in 9s
Details
markdownlint / markdown-lint (pull_request) Successful in 9s
Details
metrics
oracle
phase-1
#67 by erikinkinen was merged 2026-03-05 10:30:01 +01:00
main
Phase 1 AES — Active Workboard 3 / 3
Phase 0: Residual authority detection (baseline)
All checks were successful
ci / smoke (push) Successful in 13s
Details
clang-format / check-format (push) Successful in 8s
Details
markdownlint / markdown-lint (push) Successful in 10s
Details
ci / smoke (pull_request) Successful in 14s
Details
clang-format / check-format (pull_request) Successful in 8s
Details
markdownlint / markdown-lint (pull_request) Successful in 10s
Details
metrics
oracle
phase-0
#59 by erikinkinen was merged 2026-03-03 12:38:56 +01:00
main
Phase 0 AES — Active Workboard
Phase 0: Ground-truth reachability analysis
All checks were successful
ci / smoke (push) Successful in 13s
Details
clang-format / check-format (push) Successful in 8s
Details
markdownlint / markdown-lint (push) Successful in 10s
Details
ci / smoke (pull_request) Successful in 13s
Details
clang-format / check-format (pull_request) Successful in 8s
Details
markdownlint / markdown-lint (pull_request) Successful in 11s
Details
metrics
oracle
phase-0
#58 by erikinkinen was merged 2026-03-03 11:27:56 +01:00
main
Phase 0 AES — Active Workboard