add renaming of other function in dilithium

slothy-optimizer · Jun 25, 2024 · 0aea5db · 0aea5db
1 parent 47b8d6f
commit 0aea5db
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/example.py b/example.py
@@ -1428,8 +1428,9 @@ def core(self, slothy):
         slothy.config.constraints.functional_only = False
         slothy.config.outputs = ["r0", "r10"]
         slothy.config.inputs_are_outputs = True
-        slothy.config.constraints.stalls_first_attempt = 7
+        slothy.config.constraints.stalls_first_attempt = 3
         slothy.optimize(start="layer123_start", end="layer123_end")
+        slothy.rename_function("pqcrystals_dilithium_invntt_tomont", "pqcrystals_dilithium_invntt_tomont2")
 #############################################################################################