search

vellvm / ctrees

An itree-like data-structure to additionally support internal non-determinism
MIT License
13 stars 2 forks source link

Performance issue #27

Open YaZko opened 1 year ago

YaZko commented 1 year ago

The [sbisimalt.v] file in particular is extremely slow to typecheck.

TODO: resolve this.