-
Notifications
You must be signed in to change notification settings - Fork 543
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Dune/lib: run
dune build @fmt --auto-promote
Revamping an old PR
- Loading branch information
1 parent
01e9983
commit 992e2b2
Showing
333 changed files
with
7,610 additions
and
6,693 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,16 +1,18 @@ | ||
(library | ||
(name allocation_functor) | ||
(public_name allocation_functor) | ||
(inline_tests (flags -verbose -show-counts)) | ||
(libraries | ||
;; opam libraries | ||
core_kernel | ||
result | ||
ppx_inline_test.config | ||
sexplib0 | ||
;; local libraries | ||
mina_metrics | ||
ppx_version.runtime | ||
) | ||
(instrumentation (backend bisect_ppx)) | ||
(preprocess (pps ppx_jane ppx_compare ppx_deriving_yojson ppx_version))) | ||
(name allocation_functor) | ||
(public_name allocation_functor) | ||
(inline_tests | ||
(flags -verbose -show-counts)) | ||
(libraries | ||
;; opam libraries | ||
core_kernel | ||
result | ||
ppx_inline_test.config | ||
sexplib0 | ||
;; local libraries | ||
mina_metrics | ||
ppx_version.runtime) | ||
(instrumentation | ||
(backend bisect_ppx)) | ||
(preprocess | ||
(pps ppx_jane ppx_compare ppx_deriving_yojson ppx_version))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,25 +1,26 @@ | ||
(library | ||
(name base58_check) | ||
(public_name base58_check) | ||
(inline_tests (flags -verbose -show-counts)) | ||
(inline_tests | ||
(flags -verbose -show-counts)) | ||
(libraries | ||
;; opam libraries | ||
digestif | ||
core_kernel | ||
base58 | ||
base | ||
ppx_inline_test.config | ||
) | ||
;; opam libraries | ||
digestif | ||
core_kernel | ||
base58 | ||
base | ||
ppx_inline_test.config) | ||
(library_flags (-linkall)) | ||
(preprocess | ||
(pps | ||
ppx_assert | ||
ppx_base | ||
ppx_deriving.std | ||
ppx_deriving_yojson | ||
ppx_inline_test | ||
ppx_let | ||
ppx_sexp_conv | ||
ppx_version)) | ||
(instrumentation (backend bisect_ppx)) | ||
ppx_assert | ||
ppx_base | ||
ppx_deriving.std | ||
ppx_deriving_yojson | ||
ppx_inline_test | ||
ppx_let | ||
ppx_sexp_conv | ||
ppx_version)) | ||
(instrumentation | ||
(backend bisect_ppx)) | ||
(synopsis "Base58Check implementation")) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,7 @@ | ||
(library | ||
(name bash_colors) | ||
(public_name bash_colors) | ||
(instrumentation (backend bisect_ppx)) | ||
(preprocess (pps ppx_version))) | ||
(instrumentation | ||
(backend bisect_ppx)) | ||
(preprocess | ||
(pps ppx_version))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,35 +1,36 @@ | ||
(library | ||
(name best_tip_prover) | ||
(public_name best_tip_prover) | ||
(instrumentation (backend bisect_ppx)) | ||
(preprocess (pps ppx_mina ppx_version ppx_jane ppx_compare)) | ||
(instrumentation | ||
(backend bisect_ppx)) | ||
(preprocess | ||
(pps ppx_mina ppx_version ppx_jane ppx_compare)) | ||
(libraries | ||
;; opam libraries | ||
core | ||
core_kernel | ||
async_kernel | ||
;; local libraries | ||
genesis_constants | ||
consensus | ||
with_hash | ||
precomputed_values | ||
proof_carrying_data | ||
logger | ||
truth | ||
merkle_list_verifier | ||
transition_frontier | ||
mina_base | ||
mina_intf | ||
mina_state | ||
mina_block | ||
data_hash_lib | ||
transition_frontier_base | ||
merkle_list_prover | ||
mina_stdlib | ||
mina_wire_types | ||
pickles.backend | ||
snark_params | ||
pickles | ||
kimchi_pasta | ||
kimchi_pasta.basic | ||
)) | ||
;; opam libraries | ||
core | ||
core_kernel | ||
async_kernel | ||
;; local libraries | ||
genesis_constants | ||
consensus | ||
with_hash | ||
precomputed_values | ||
proof_carrying_data | ||
logger | ||
truth | ||
merkle_list_verifier | ||
transition_frontier | ||
mina_base | ||
mina_intf | ||
mina_state | ||
mina_block | ||
data_hash_lib | ||
transition_frontier_base | ||
merkle_list_prover | ||
mina_stdlib | ||
mina_wire_types | ||
pickles.backend | ||
snark_params | ||
pickles | ||
kimchi_pasta | ||
kimchi_pasta.basic)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,19 +1,22 @@ | ||
(library | ||
(name blake2) | ||
(public_name blake2) | ||
(instrumentation (backend bisect_ppx)) | ||
(preprocess (pps ppx_jane ppx_mina ppx_version ppx_compare ppx_deriving_yojson)) | ||
(inline_tests (flags -verbose -show-counts)) | ||
(instrumentation | ||
(backend bisect_ppx)) | ||
(preprocess | ||
(pps ppx_jane ppx_mina ppx_version ppx_compare ppx_deriving_yojson)) | ||
(inline_tests | ||
(flags -verbose -show-counts)) | ||
(libraries | ||
;; opam libraries | ||
base.base_internalhash_types | ||
bigarray-compat | ||
bin_prot.shape | ||
core_kernel | ||
digestif | ||
sexplib0 | ||
base.caml | ||
ppx_inline_test.config | ||
;; local libraries | ||
bounded_types | ||
ppx_version.runtime)) | ||
;; opam libraries | ||
base.base_internalhash_types | ||
bigarray-compat | ||
bin_prot.shape | ||
core_kernel | ||
digestif | ||
sexplib0 | ||
base.caml | ||
ppx_inline_test.config | ||
;; local libraries | ||
bounded_types | ||
ppx_version.runtime)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.