Commits on Source
2
Fix exponential blowup witnessed when loading a module
· 93aa39b9
Stefan
authored
Jul 23, 2018
* src/lexp.ml (hcs_table): New memoization table. (mkSusp_memo): New function.
93aa39b9
Merge branch 'trunk' into graveline
· 9f8cd189
Stefan
authored
Jul 23, 2018
9f8cd189
Loading
Loading
