This repository was archived by the owner on Oct 25, 2025. It is now read-only.

Recover constraint debugging#1756

Draft

matthiasgoergens wants to merge 94 commits intomainfrom

matthias/recover-constraint-debugging

Commits on May 31, 2024

Commits on Jun 3, 2024

Merge remote-tracking branch 'origin/main' into matthias/recover-constraint-debugging
matthiasgoergens
committed

Commits on Jun 5, 2024

Commits on Jun 10, 2024

Merge remote-tracking branch 'origin/main' into matthias/recover-constraint-debugging
matthiasgoergens
committed
Try using Expr<'a, T> instead of U in NoColumns
Jakub Zalewski
committed
Move PublicInputs to a GAT
Jakub Zalewski
committed
Move View to a GAT
Jakub Zalewski
committed

Commits on Jun 11, 2024

Relax to_typed_starkframe
Jakub Zalewski
committed
Add FromIterator to GenerateConstraint's GATs
Jakub Zalewski
committed
Fix type of PublicInputs
Jakub Zalewski
committed
Revert "Fix type of PublicInputs"
Jakub Zalewski
committed
Add a helper function to skip StarkFrame
Jakub Zalewski
committed
Fix Unstark
Jakub Zalewski
committed
Add Debug requirement to GenerateConstraints
Jakub Zalewski
committed
Add Debug to GenerateConstraints::View
Jakub Zalewski
committed
Remove debugging code from expr
Jakub Zalewski
committed
Make location and term public
Jakub Zalewski
committed
Fix build_debug to just evaluate
Jakub Zalewski
committed
Finish debug_single_trace
Jakub Zalewski
committed
Fix indentation
Jakub Zalewski
committed
Whoops
Jakub Zalewski
committed

Commits on Jun 12, 2024

Make ConstraintType public
Jakub Zalewski
committed
Handle FromIterator when Column is empty
Jakub Zalewski
committed
Filter out when constraints are applicable
Jakub Zalewski
committed

Commits on Jun 13, 2024

cargo clippy
Jakub Zalewski
committed
cargo fmt
Jakub Zalewski
committed
Fix Display instance for Unstark
Jakub Zalewski
committed
cargo fmt
Jakub Zalewski
committed
Another cargo fmt
Jakub Zalewski
committed
Merge branch 'main' into matthias/recover-constraint-debugging
Jakub Zalewski
authored
Simplify instances
Jakub Zalewski
committed

Commits on Jun 18, 2024

Generalise NoColumns to ShadowColumns
Jakub Zalewski
committed
cargo fmt
Jakub Zalewski
committed
cargo clippy
Jakub Zalewski
committed

Commits on Jun 20, 2024

Commits on Jun 21, 2024

Merge branch 'matthias/recover-constraint-debugging' into matthias/recover-constraint-debugging-simplify
matthiasgoergens
committed
Format
matthiasgoergens
committed
Merge branch 'matthias/recover-constraint-debugging' into matthias/recover-constraint-debugging-simplify
matthiasgoergens
committed
Replace qualified path with 'use'
matthiasgoergens
committed
Revert
matthiasgoergens
committed
Format
matthiasgoergens
committed
Simplify
matthiasgoergens
committed
Restore
matthiasgoergens
committed
Simplify
matthiasgoergens
committed
Fix
matthiasgoergens
committed
Simplify
matthiasgoergens
committed
Convert skeleton CPU
matthiasgoergens
committed
Convert CPU
matthiasgoergens
committed
Convert full word memory
matthiasgoergens
committed
Simplify
matthiasgoergens
committed
Convert more
matthiasgoergens
committed
Working version
Jakub Zalewski
committed
cargo fmt
Jakub Zalewski
committed
Migrate Unstark to a StarkFrom
Jakub Zalewski
committed
Remove HasNamedColumns
Jakub Zalewski
committed
Match directly on StarkFrom
Jakub Zalewski
committed
Remove passthrough to G from StarkFrom
Jakub Zalewski
committed

Commits on Jul 1, 2024

Inline Unstark
Jakub Zalewski
committed
Remove all the unecessary code
Jakub Zalewski
committed
Refactor common structure to an unstark macro
Jakub Zalewski
committed
cargo clippy
Jakub Zalewski
committed
Merge branch 'main' into matthias/recover-constraint-debugging
Jakub Zalewski
committed

Commits on Jul 3, 2024

Clean up convenience type aliases
Jakub Zalewski
committed