Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Linear constraint remover #2425

Open
wants to merge 38 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
ee1fe14
wip
Schaeff Feb 1, 2025
4901fa0
use existing algexpr->expr conversion, adjust tests
Schaeff Feb 3, 2025
8922a92
add pilopt
Schaeff Feb 3, 2025
517cd66
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 3, 2025
1ef509d
pull main
Schaeff Feb 3, 2025
f208365
fix wrong symbol id
Schaeff Feb 5, 2025
58e5b23
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 5, 2025
471014b
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 5, 2025
feac232
visit intermediate polynomials when collecting challenges
Schaeff Feb 5, 2025
9269faf
fix more tests
Schaeff Feb 5, 2025
875f11e
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 5, 2025
862e2e6
fix stwo next reference detection
Schaeff Feb 6, 2025
779a974
fix external witgen tests
Schaeff Feb 6, 2025
4ea55f5
fix invalid witness test
Schaeff Feb 6, 2025
48128b4
fix div test
Schaeff Feb 8, 2025
8bb4e94
fix map
Schaeff Feb 12, 2025
b7a3870
fmt
Schaeff Feb 12, 2025
a9f9a45
pull main
Schaeff Feb 12, 2025
5af4a13
fix children impl
Schaeff Feb 12, 2025
745beac
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 13, 2025
49037b5
switch to expressions to allow for a complete Children impl
Schaeff Feb 13, 2025
3398b7e
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 18, 2025
1d94c00
filter out boolean constrained witnesses
Schaeff Feb 18, 2025
9b602ef
fix more tests
Schaeff Feb 18, 2025
a1775a7
fix more tests
Schaeff Feb 18, 2025
ea72976
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Feb 19, 2025
ec1eafc
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Mar 6, 2025
d9bd13e
self review
Schaeff Mar 10, 2025
205ad6a
reverse change
Schaeff Mar 10, 2025
fc4588b
clipp
Schaeff Mar 10, 2025
b956742
address review comments
Schaeff Mar 10, 2025
753bf47
address review comments
Schaeff Mar 10, 2025
c8d4878
Merge branch 'main' of github.com:powdr-labs/powdr into linear-constr…
Schaeff Mar 11, 2025
7c65448
fix p3 test
Schaeff Mar 11, 2025
8233dd3
fix optimizer test
Schaeff Mar 11, 2025
be32fff
fix more tests
Schaeff Mar 11, 2025
2cce775
pull main
Schaeff Mar 26, 2025
76c26c4
avoid optimizing operation_id...
Schaeff Mar 26, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix p3 test
  • Loading branch information
Schaeff committed Mar 11, 2025
commit 7c65448766304b620bc8a9f42b4359dbfdeb4e3e
4 changes: 2 additions & 2 deletions backend/src/plonky3/stark.rs
Original file line number Diff line number Diff line change
Expand Up @@ -431,13 +431,13 @@ mod tests {
}

#[test]
fn add() {
fn mul() {
let content = r#"
namespace Add(8);
col witness x;
col witness y;
col witness z;
x + y = z;
x * y = z;
"#;
run_test(content);
}
Expand Down
Loading