New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Enable pruning in min base size #138

Merged

slobodan-ilic merged 3 commits into master from enable-pruning-in-min-base-size

Feb 18, 2019

Contributor

slobodan-ilic commented Feb 18, 2019

No description provided.

slobodan-ilic added 3 commits

February 16, 2019 10:39


          Add pruning to min base size masks

ac5ace3


          Fix how pruning is interpreted in min base size

25455c1


          Bump version

e6c056b

slobodan-ilic merged commit ffc5514 into master

coveralls commented Feb 18, 2019 •

edited

Loading

Coverage remained the same at 100.0% when pulling e6c056b on enable-pruning-in-min-base-size into 7817a33 on master.

scanny deleted the enable-pruning-in-min-base-size branch

May 11, 2020 20:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment