search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Collect building and execution information for `kplc`. #268

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

To tune performance we need to gather information for building time and execution of kplc.

This issue is related with the the K issue #2755.