Skip to content

mergin dotstar fix for weight calculation

Pablo Riera requested to merge dotstar-fix into main

the stopping condition in dotstar changed, real tests are needed to see if the weight result is correct, also the isapprox method should be addapted to vector of semirings

Merge request reports

Loading