Skip to content

Commit

Permalink
Warnings fixed #283
Browse files Browse the repository at this point in the history
  • Loading branch information
ETatuzova committed Aug 3, 2024
1 parent 2bd9dab commit c707b02
Showing 1 changed file with 6 additions and 11 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -422,20 +422,15 @@ namespace nil {
theta_acc = theta;
for (std::size_t i = 0; i < l_table.columns_number; i++) {
math::polynomial_dfs<typename FieldType::value_type> c;
switch( l_table.lookup_options[o_id][i].type ){
case DfsVariableType::column_type::witness:
// Not switch because of warnings
if( l_table.lookup_options[o_id][i].type == VariableType::column_type::witness )
c = plonk_columns.witness(l_table.lookup_options[o_id][i].index);
break;
case DfsVariableType::column_type::public_input:
else if( l_table.lookup_options[o_id][i].type == VariableType::column_type::public_input )
c = plonk_columns.public_input(l_table.lookup_options[o_id][i].index);
break;
case DfsVariableType::column_type::constant:
else if( l_table.lookup_options[o_id][i].type == VariableType::column_type::constant )
c = plonk_columns.constant(l_table.lookup_options[o_id][i].index);
break;
case DfsVariableType::column_type::selector:
else if ( l_table.lookup_options[o_id][i].type == VariableType::column_type::selector )
c = plonk_columns.selector(l_table.lookup_options[o_id][i].index);
break;
}
v += theta_acc * lookup_tag * c;
theta_acc *= theta;
}
Expand Down Expand Up @@ -481,7 +476,7 @@ namespace nil {
);
visitor.visit(expr);

math::cached_expression_evaluator<DfsVariableType> evaluator(expr,
math::cached_expression_evaluator<DfsVariableType> evaluator(expr,
[&domain=basic_domain, &assignments=plonk_columns, &rotated_variable_values]
(const DfsVariableType &var) -> const polynomial_dfs_type& {
if (var.rotation == 0) {
Expand Down

0 comments on commit c707b02

Please sign in to comment.