Skip to content

Actions: zjy-dev/de-fuzz

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 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
docs(paper): add outline completion status tracker CI/CD Pipeline #101: Commit 987ba3e pushed by zjy-dev
20s main
main
20s
docs(paper): add technical depth elements (formal definitions, exampl… CI/CD Pipeline #100: Commit 16a3eb6 pushed by zjy-dev
19s main
main
19s
docs(paper): align structural outline and evaluation methodology CI/CD Pipeline #99: Commit 9515d57 pushed by zjy-dev
25s main
main
25s
docs(paper): academic refinement of contributions and implementation CI/CD Pipeline #98: Commit 6fc3001 pushed by zjy-dev
21s main
main
21s
docs(paper): refine technical route prose for academic style CI/CD Pipeline #97: Commit 19c8e9f pushed by zjy-dev
22s main
main
22s
docs(paper): align technical route body with abstract CI/CD Pipeline #96: Commit 66c0dc5 pushed by zjy-dev
23s main
main
23s
docs(paper): rewrite technical route CI/CD Pipeline #95: Commit fffac8d pushed by zjy-dev
23s main
main
23s
Revert "docs(proposal): rewrite technical route" CI/CD Pipeline #94: Commit c519930 pushed by zjy-dev
19s main
main
19s
docs(proposal): rewrite technical route CI/CD Pipeline #93: Commit 341d658 pushed by zjy-dev
18s main
main
18s
chore: ignore Trae workspace files CI/CD Pipeline #92: Commit f5a9c2e pushed by zjy-dev
20s main
main
20s
Merge pull request #9 from zjy-dev/feat/specgen-rag-invariants CI/CD Pipeline #91: Commit 229eafb pushed by zjy-dev
22s main
main
22s
Feat/specgen rag invariants CI/CD Pipeline #90: Pull request #9 opened by zjy-dev
25s feat/specgen-rag-invariants
feat/specgen-rag-invariants
25s
feat(coverage): add LLVM source-based coverage backend CI/CD Pipeline #89: Pull request #8 opened by zjy-dev
43s 001-llvm-coverage-engine
001-llvm-coverage-engine
43s
refactor(seed_executor): remove unused Executor/Local/QEMU implementa… CI/CD Pipeline #88: Commit 98b9bff pushed by zjy-dev
40s main
main
40s
refactor(oracle): dedup x86 disasm helpers across IBT/FORTIFY/canary CI/CD Pipeline #87: Commit 848b3ae pushed by zjy-dev
37s main
main
37s
Merge branch 'fortify-checkers' into main CI/CD Pipeline #86: Commit c8471c5 pushed by zjy-dev
32s main
main
32s
docs(invariants): narrow IBT and FORTIFY scope to silent-bypass invar… CI/CD Pipeline #85: Pull request #7 opened by zjy-dev
32s features/ibt-fortify-invariant-screening
features/ibt-fortify-invariant-screening
32s
Merge pull request #7 from zjy-dev/features/ibt-fortify-invariant-scr… CI/CD Pipeline #84: Commit f8a75d6 pushed by zjy-dev
33s main
main
33s
Merge pull request #6 from zjy-dev/features/canary-invariant-screening CI/CD Pipeline #83: Commit 82c1c64 pushed by zjy-dev
31s main
main
31s
docs(invariants): add programmability screening methodology and canar… CI/CD Pipeline #82: Pull request #6 synchronize by zjy-dev
33s features/canary-invariant-screening
features/canary-invariant-screening
33s
docs(invariants): add programmability screening methodology and canar… CI/CD Pipeline #81: Pull request #6 synchronize by zjy-dev
39s features/canary-invariant-screening
features/canary-invariant-screening
39s
docs(invariants): add programmability screening methodology and canar… CI/CD Pipeline #80: Pull request #6 opened by zjy-dev
36s features/canary-invariant-screening
features/canary-invariant-screening
36s
remove negative flag machinery CI/CD Pipeline #79: Commit ab0789c pushed by zjy-dev
41s main
main
41s
feat(oracle): add IBT checker and repro harnesses CI/CD Pipeline #78: Commit 058e6b1 pushed by zjy-dev
33s main
main
33s
chore(canary): add loongarch64 config and clean temp_unpacked CI/CD Pipeline #77: Commit 99d83a7 pushed by zjy-dev
37s main
main
37s