Conversation
…ations (#2939) Co-authored-by: François Garillot <4142+huitseeker@users.noreply.github.com>
* perf: make get_divisors return a fixed size Vec * chore: update CHANGELOG.md --------- Co-authored-by: François Garillot <4142+huitseeker@users.noreply.github.com>
Update MAST package structure for project assembly
processor: expose advice, memory and transcript
feat: implement project assembly
Keep runtime dependencies from preassembled packages in dependency resolution. Programs that declare a kernel now require the matching kernel package when they are rebuilt. The resolver prefers the stored kernel, falls back to a matching embedded kernel, and rejects bad or conflicting embedded kernel metadata.
This reverts commit b40e5e9.
Preassembled packages still need their runtime dependencies during resolution. Programs that need a kernel now fail when that kernel cannot be resolved, instead of silently falling back to embedded metadata during dependency selection.
Replace unsafe ptr::read with safe *err unbox in the downcast::<std::io::Error>() arm of catch_unwind panic recovery. The ptr::read performed a bitwise copy out of the Box while the Box was still dropped at end of scope, causing potential UB via double-drop. This patch removes the unsafe block entirely. Closes #2814 Co-authored-by: François Garillot <4142+huitseeker@users.noreply.github.com>
Incorporate the hasher chiplet redesign (#2927) into the constraint simplification branch. The hasher now uses a 16-row packed cycle with a controller/permutation split architecture, replacing the previous 32-row cycle. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
…tors Move the hasher periodic column generation into HasherPeriodicCols::new(), matching the style where the struct is the canonical source of truth and periodic_columns() simply destructures it into a flat vec. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Contributor
Author
|
I merged the #2950 (I did a merge commit rather than a squash commit), but it seems like we still have merge conflicts. cc @huitseeker |
This was referenced Apr 9, 2026
All-LogUp auxiliary trace bus constraints
* fix(project): narrow build provenance inputs * fix(assembly): reject private cross-module imports * fix(assembly): count signature type imports * chore: CHANGELOG
* docs(processor): fix memory trace delta encoding comment * docs(processor): fix stale ZERO delta comments in append_range_checks and fill_trace Both methods had inline comments claiming the clock adjustment made the first-row delta "end up being ZERO". The delta is actually 1 (prev_clk is set to first_clk - 1), matching the struct-level doc already corrected in the previous commit. Also fixes the "pervious" typo in fill_trace. * chore: CHANGELOG --------- Co-authored-by: François Garillot <francois@garillot.net>
* sorted_array bounds check * changelog * simplify tests * explicit bounds check * feedback * chore: address comments * chore: addressing comments * chore: align `sorted_array` invariant messages --------- Co-authored-by: krushimir <189111540+krushimir@users.noreply.github.com>
core: fix static linking debug metadata
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.
This is a tracking PR for v0.23.0 release