https://gitlab.com/tezos/tezos
History
Tip revision: bb688ffbc18dbfbb922578d8a8f1085bd511b824 authored by Pierrick Couderc on 29 June 2023, 12:30:11 UTC
DO NOT MERGE: Profile does a kernel_run only
Tip revision: bb688ff
File Mode Size
commands.ml -rw-r--r-- 26.8 KB
config.ml -rw-r--r-- 2.5 KB
custom_section.ml -rw-r--r-- 6.2 KB
dune -rw-r--r-- 848 bytes
main_wasm_debugger.ml -rw-r--r-- 10.8 KB
messages.ml -rw-r--r-- 8.6 KB
profiling.ml -rw-r--r-- 18.2 KB
repl_helpers.ml -rw-r--r-- 4.9 KB

back to top