Skip to content

Actions: PhysShell/Own.NET

Actions

pr-issue-validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-issue-validation.yml
993 workflow runs
993 workflow runs

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
Research: AI-assisted ownership-analysis setup with auditable assumptions (TrustInSoft / Microsoft) pr-issue-validation #993: Issue #452 opened by PhysShell
12s
12s
Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle) pr-issue-validation #992: Issue #451 edited by PhysShell
12s
12s
Research: independent formal cross-check and Rust-level soundness verification (Rocq / Verus / Aeneas / Isabelle) pr-issue-validation #991: Issue #451 opened by PhysShell
9s
9s
Research: map domain-theoretic fixed-point assumptions to Own.NET's ownership analysis pr-issue-validation #990: Issue #450 opened by PhysShell
11s
11s
Research: Angie/SMG-inspired abstract object graph and sound ownership-state joins (bounded spike) pr-issue-validation #989: Issue #449 opened by PhysShell
9s
9s
Research: requirements-to-code conformance checking (BDD + reviewed formal contracts + OwnIR evidence) pr-issue-validation #988: Issue #448 opened by PhysShell
10s
10s
Research: FeaVer/Ultimate-style property-guided model extraction and source-level witnesses (bounded spike) pr-issue-validation #987: Issue #447 opened by PhysShell
12s
12s
Research: evaluate BAIT Büchi inclusion and antichain fixpoints for temporal ownership protocols (bounded spike) pr-issue-validation #986: Issue #446 opened by PhysShell
8s
8s
Research: FORVES2-style conditional semantic validation and proof-assumption audit for OwnIR pr-issue-validation #985: Issue #445 opened by PhysShell
10s
10s
Research: evaluate LLZK dataflow lattices, SourceRef and IR validators pr-issue-validation #984: Issue #444 opened by PhysShell
11s
11s
Research: Tai-e-inspired semantic fact assertions and selective precision (bounded spike) pr-issue-validation #983: Issue #443 opened by PhysShell
11s
11s
Research: contrastive positive/negative C# ownership challenge corpus (micro_service_seclab-inspired) pr-issue-validation #982: Issue #442 opened by PhysShell
12s
12s
Research: Wa wire IR / ARC lowering for explicit ownership events in OwnIR pr-issue-validation #981: Issue #441 opened by PhysShell
9s
9s
Research: evidence-guided candidate ranking for Own.NET analyzer fixes (LoopRepair prior art) pr-issue-validation #980: Issue #440 opened by PhysShell
11s
11s
Research: TikNib-inspired interpretable feature-delta triage for OwnIR regressions (bounded spike) pr-issue-validation #979: Issue #439 opened by PhysShell
11s
11s
Research: SPDS field-stack reachability for ownership aliasing (bounded spike) pr-issue-validation #978: Issue #438 opened by PhysShell
12s
12s
Research: BugBug-inspired test-impact selection and shadow scheduler evaluation (bounded spike) pr-issue-validation #977: Issue #437 opened by PhysShell
11s
11s
Research: Fraunhofer CPG-inspired precision escalation and summary-aware soundness gates (bounded spike) pr-issue-validation #976: Issue #436 opened by PhysShell
12s
12s
Research: Graft-inspired derived dependency graph for ownership diagnostic explanations (bounded spike) pr-issue-validation #975: Issue #435 opened by PhysShell
11s
11s
Research: Heros-inspired IFDS/IDE feasibility for interprocedural ownership facts (bounded spike) pr-issue-validation #974: Issue #434 opened by PhysShell
8s
8s
Research: IKOS-inspired abstract-state soundness oracle and operator audit (bounded spike) pr-issue-validation #973: Issue #433 opened by PhysShell
9s
9s
Research: refactoring-aware metamorphic regression testing for ownership analysis (RefactoringMiner prior art) pr-issue-validation #972: Issue #432 opened by PhysShell
10s
10s
Research: COVA-inspired targeted path-condition oracle for ownership soundness (bounded spike) pr-issue-validation #971: Issue #431 opened by PhysShell
8s
8s
Research: SootUp-inspired OwnIR/ICFG semantic-fidelity and incomplete-call audit (bounded spike) pr-issue-validation #970: Issue #430 opened by PhysShell
11s
11s
Research: WALA-inspired demand-driven alias precision for ownership diagnostics (bounded spike) pr-issue-validation #969: Issue #429 opened by PhysShell
10s
10s