https://gitlab.com/tezos/tezos
Revision 41916669412ac0a8571c9da6a7788678e307360e authored by Gauthier SEBILLE on 16 October 2023, 09:44:20 UTC, committed by Gauthier SEBILLE on 17 October 2023, 13:34:27 UTC
RBT: reuse already available hash for performance

RBT: drop hashtabl for performance issue
1 parent b25f13c
History
Tip revision: 41916669412ac0a8571c9da6a7788678e307360e authored by Gauthier SEBILLE on 16 October 2023, 09:44:20 UTC
RBT: generic reset_block_section function for profilers
Tip revision: 4191666
File Mode Size
.merlin -rw-r--r-- 63 bytes
JSON_AST.ml -rw-r--r-- 651 bytes
JSON_lexer.mll -rw-r--r-- 814 bytes
JSON_parser.mly -rw-r--r-- 553 bytes
Makefile -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 1.1 KB
main.ml -rw-r--r-- 256.1 KB
main.mli -rw-r--r-- 2.1 KB
manifest.ml -rw-r--r-- 134.7 KB
manifest.mli -rw-r--r-- 50.0 KB
tezos_protocol.ml -rw-r--r-- 1.7 KB

README.md

back to top