optimize Hashtbl.replace -> Hashtbl.add#596

Merged

filipeom merged 3 commits intoformalsec:mainfrom

redianthus:hashtbladd

Apr 13, 2026

Commits on Apr 13, 2026

optimize Hashtbl.replace -> Hashtbl.add
redianthus
committed
use List.equal instead of going through the list twice

redianthus
authored and
filipeom
committed
refactor get_symbols to avoid duplication and remove the hastbl

redianthus
authored and
filipeom
committed