https://gitlab.com/tezos/tezos
History
Tip revision: 628bec6d87cdbf4a1b453796d0008eef5c14b9e8 authored by Gauthier SEBILLE on 17 August 2023, 19:29:57 UTC
RBT: profile every calls to call_service
Tip revision: 628bec6
File Mode Size
commands.ml -rw-r--r-- 36.2 KB
config.ml -rw-r--r-- 2.8 KB
custom_section.ml -rw-r--r-- 6.6 KB
dune -rw-r--r-- 905 bytes
main_wasm_debugger.ml -rw-r--r-- 11.1 KB
messages.ml -rw-r--r-- 7.9 KB
profiling.ml -rw-r--r-- 21.9 KB
repl_helpers.ml -rw-r--r-- 4.9 KB

back to top