search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
150 stars 31 forks source link

[coq] [memo] Better parameters for polymorphic state hashing #751

Closed ejgallego closed 4 months ago

ejgallego commented 4 months ago

Default parameters where creating lots of collisions, producing chains of hundredths of entries in the memo table.

The new settings seem optimal.