Skip to content

modernisation of sum_expr and mul_expr

f6890b3
Select commit
Loading
Failed to load commit list.
Merged

remove exprt::negate, sum, mul, subtract (deprecated since 2011) #1891

modernisation of sum_expr and mul_expr
f6890b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs