Fuzz coverage#73
Open
cuzzo wants to merge 18 commits into
Open
Conversation
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
|
| Branch | fuzz-coverage |
| Testbed | ubuntu-latest |
⚠️ WARNING: No Threshold found!Without a Threshold, no Alerts will ever be generated.
Click here to create a new Threshold
For more information, see the Threshold documentation.
To only post results if a Threshold exists, set the--ci-only-thresholdsflag.
Click to view all benchmark results
| Benchmark | leak-build-ms | Measure (units) x 1e3 | leak-count | Measure (units) | leak-run-ms | Measure (units) |
|---|---|---|---|---|---|---|
| benchmarks/concurrent/01_socket_throughput/bench | 📈 view plot | 4.83 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 815.22 units |
| benchmarks/concurrent/06_dynamic_spawn/bench | 📈 view plot | 4.86 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 3,721.43 units |
| benchmarks/concurrent/11_parallel_aggregation/bench | 📈 view plot | 5.13 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 60,006.37 units |
| benchmarks/concurrent/18_atomic_counter/bench | 📈 view plot | 4.86 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 70.28 units |
| benchmarks/inter-clear/04_concurrent_mvcc_fat_struct/bench | 📈 view plot | 5.14 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 390.88 units |
| benchmarks/sequential/03_alloc_throughput/bench | 📈 view plot | 4.77 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 8,373.42 units |
| benchmarks/sequential/08_sort/bench | 📈 view plot | 4.97 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 1,124.08 units |
| benchmarks/sequential/13_soa_layout/bench | 📈 view plot | 4.77 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 541.99 units |
Diff Coverage BucketsDiff base:
Src Type Guardrails
|
Co-authored-by: OpenAI Codex <codex@openai.com>
Use the hard AST type access contract for typed COPY sources while preserving the fallback path for index and symbol type recovery. Co-authored-by: OpenAI Codex <codex@openai.com>
Map instance variable delegation receiver names directly to their statically or dynamically inferred types, falling back to the generic instance variable name if type mapping information is unavailable. Preserve Sorbet type signatures in the regenerated manifest. Co-authored-by: Pi <pi@earendil.works> Co-authored-by: Gemini <gemini@google.com>
Remove the legacy current_fn compatibility path and move MIR lowering readers onto the explicit function context. Collapse PipelineHost ownership bridge calls behind coarse MIRLowering operations, add static diff guardrails, and include the architecture/report tracking docs from this cleanup pass. Co-authored-by: OpenAI Codex <codex@openai.com>
Replace remaining ambient state push/pop in annotator and MIR lowering with strongly typed scoped helpers. Document before/after Decomplex and SlopCop evaluations, scrap the PipelineHost materialization merge attempt after metrics regressed, and fix validation bugs exposed by the full suite. Co-authored-by: OpenAI Codex <codex@openai.com>
Run the diff coverage summary through Bundler in the PR comment job so NilKill static diff auditing can load prism on GitHub Actions. Co-authored-by: OpenAI Codex <codex@openai.com>
Document four candidate architecture cleanups and keep the two that moved metrics in the right direction: Type parsing/rendering and concurrent pipe facts. The MIR ownership and lowerer attempts are recorded as abandoned after metric regressions. Co-authored-by: OpenAI Codex <codex@openai.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.