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
Raw File
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
dune-workspace
(lang dune 3.0)

(env
 (dev
  (flags (:standard -w @1..72-4-40..42-44-45-48-58-60-67-69-70))
  (js_of_ocaml (runtest_alias runtest_js)))
 (release
  (js_of_ocaml (runtest_alias runtest_js))
  (ocamlopt_flags (:standard -O3)))
 (static
  (js_of_ocaml (runtest_alias runtest_js))
  (ocamlopt_flags (:standard -O3)))
 (_ (js_of_ocaml (runtest_alias runtest_js))))

(context (default (paths (ORIGINAL_PATH :standard))))

; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.
back to top