Skip to content

Commit

Permalink
slim down protogalaxy
Browse files Browse the repository at this point in the history
  • Loading branch information
ludamad committed May 27, 2024
1 parent a022220 commit e8c8064
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,4 @@
namespace bb {

template class ProtoGalaxyProver_<ProverInstances_<MegaFlavor, 2>>;
template class ProtoGalaxyProver_<ProverInstances_<MegaFlavor, 3>>;
template class ProtoGalaxyProver_<ProverInstances_<MegaFlavor, 4>>;
} // namespace bb
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,4 @@

namespace bb {
template class ProtoGalaxyProver_<ProverInstances_<UltraFlavor, 2>>;
template class ProtoGalaxyProver_<ProverInstances_<UltraFlavor, 3>>;
template class ProtoGalaxyProver_<ProverInstances_<UltraFlavor, 4>>;
} // namespace bb
Original file line number Diff line number Diff line change
Expand Up @@ -179,9 +179,4 @@ std::shared_ptr<typename VerifierInstances::Instance> ProtoGalaxyVerifier_<Verif
template class ProtoGalaxyVerifier_<VerifierInstances_<UltraFlavor, 2>>;
template class ProtoGalaxyVerifier_<VerifierInstances_<MegaFlavor, 2>>;

template class ProtoGalaxyVerifier_<VerifierInstances_<UltraFlavor, 3>>;
template class ProtoGalaxyVerifier_<VerifierInstances_<MegaFlavor, 3>>;

template class ProtoGalaxyVerifier_<VerifierInstances_<UltraFlavor, 4>>;
template class ProtoGalaxyVerifier_<VerifierInstances_<MegaFlavor, 4>>;
} // namespace bb

0 comments on commit e8c8064

Please sign in to comment.