Mentions légales du service

Skip to content

Task: store an AC-stable hash within tdecl_set for hashconsing

Andrei Paskevich requested to merge improve_tdecl_set into master

Thanks to Johannes Kanig for the report and an initial patch.

Merge request reports