https://gitlab.com/tezos/tezos
Raw File
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
README.md
# devtools

This is a place designed to development only tools, it may include, patches, suggestions, ppxes and others. **Tools here should not be used to make release builds, for testing or on the CI**.

## Tools

- protocol-print: This allows printing inside the protocol files for debugging purposes.
- utop-fix (deprecated by [tztop](../src/tooling/tztop/README.md)): allows utop to be used globally in Tezos
back to top