Skip to content

Faster substitutions with smart_subs_dict II#3030

Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:faster_subs2
Nov 13, 2025
Merged

Faster substitutions with smart_subs_dict II#3030
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:faster_subs2

Commits

Commits on Nov 12, 2025