github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo.

Browse Source
This commit is contained in:
chriseth
2023-03-21 23:22:44 +01:00
parent f145b188e7
commit 0aa5e36ded
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/commit_evaluator/affine_expression.rs
View File

@@ -29,7 +29,7 @@ impl From<u32> for AffineExpression {
}
impl AffineExpression {
pub fn from_wittness_poly_value(poly_id: usize) -> AffineExpression {
pub fn from_witness_poly_value(poly_id: usize) -> AffineExpression {
AffineExpression {
coefficients: [vec![0.into(); poly_id], vec![1.into()]].concat(),
offset: 0.into(),

4
src/commit_evaluator/evaluator.rs
View File

@@ -173,7 +173,7 @@ where
.map(|(i, v)| {
format!(
"{} = {}",
AffineExpression::from_wittness_poly_value(i).format(self.fixed_data),
AffineExpression::from_witness_poly_value(i).format(self.fixed_data),
v.as_ref()
.map(format_number)
.unwrap_or("<unknown>".to_string())
@@ -360,7 +360,7 @@ impl<'a> SymbolicVariables for EvaluationData<'a> {
value.clone().into()
} else {
// We continue with a symbolic value
AffineExpression::from_wittness_poly_value(*id)
AffineExpression::from_witness_poly_value(*id)
})
}
(true, EvaluationRow::Next) => {

4
src/commit_evaluator/sorted_witness_machine.rs
View File

@@ -107,8 +107,8 @@ fn check_constraint<'a>(fixed_data: &'a FixedData, constraint: &Expression) -> O
_ => return None,
};
let witness_count = fixed_data.witness_cols.len();
let pattern = AffineExpression::from_wittness_poly_value(key_column_id + witness_count)
- AffineExpression::from_wittness_poly_value(key_column_id);
let pattern = AffineExpression::from_witness_poly_value(key_column_id + witness_count)
- AffineExpression::from_witness_poly_value(key_column_id);
if sort_constraint != pattern {
return None;
}

2
src/commit_evaluator/symbolic_evaluator.rs
View File

@@ -28,7 +28,7 @@ impl<'a> SymbolicVariables for SymbolicEvaluator<'a> {
// TODO arrays
if let Some(id) = self.fixed_data.witness_ids.get(name) {
let witness_count = self.fixed_data.witness_ids.len();
Ok(AffineExpression::from_wittness_poly_value(
Ok(AffineExpression::from_witness_poly_value(
*id + if next { witness_count } else { 0 },
))
} else {