Skip to content

merging fix for weight calculation again

Pablo Riera requested to merge dotstar-fix2 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