Skip to content

Fixing buildmaster compilation

Emanuele Roberto Nocera requested to merge fix_buildmaster into master

@Zaharid This should fix #1452 (closed) . It seems that some additional integrability sets have been added and that there was a mismatch in the number of sets added. @RoyStegeman I have a vague recollection that you added some integrability sets for the feature scaling paper. Are these sets mirrored in the relevant theories? Let me check.

Merge request reports