-
Notifications
You must be signed in to change notification settings - Fork 80
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
Rename more machines (small vs large) and add runtime checks #1881
base: main
Are you sure you want to change the base?
Conversation
@@ -32,36 +31,3 @@ machine ByteBinary with | |||
} | |||
}; | |||
} | |||
|
|||
machine Binary(byte_binary: ByteBinary) with |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This moved to large_field::binary
regular_test(f, &[]); | ||
fn memory_large_test_parallel_accesses() { | ||
let f = "std/memory_large_test_parallel_accesses.asm"; | ||
regular_test_without_babybear(f, &[]); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
These fail the field size check now. Not sure how they passed before with bb.
fn shift_small_test() { | ||
let f = "std/shift_small_test.asm"; | ||
test_plonky3_with_backend_variant::<BabyBearField>(f, vec![], BackendVariant::Composite); | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This test existed but wasn't used.
use std::field::modulus; | ||
use std::check::assert; | ||
use std::machines::binary::ByteBinary; | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Copied from std::machines::binary::Binary
// Allow this machine to be connected via a permutation | ||
call_selectors: sel, | ||
{ | ||
assert(modulus() > 2**32, || "Binary requires a field that fits any 32-Bit value."); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
- this added
No description provided.