search

LPCIC / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
139 stars 51 forks source link

Elpi Compile to fill the cache #694

Open gares opened 1 month ago

gares commented 1 month ago

@FissoreD you should try placing this at the beginning of your stdpp/iris files so to eliminate the compilation time from your bench.

gares commented 1 month ago

This should be used atop of the new elpi, but for that we need #693