From fcb5613755b08fcb7ae73a3826b1cdce40e2747f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 27 Oct 2024 01:53:18 -0300 Subject: State of the world with Merkle Tree composition of files (#2) * file state hash calculation with history on replace and insert * add state transitions with linear hashing * add test * format dune files * nix format * delete shared flake * disable fmt check on flake * add nix formatter to flake shell --- bin/dune | 1 - bin/main.ml | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/dune b/bin/dune index f0cdc01..0888311 100644 --- a/bin/dune +++ b/bin/dune @@ -2,4 +2,3 @@ (public_name relational_engine) (name main) (libraries relational_engine)) - diff --git a/bin/main.ml b/bin/main.ml index 289b4dd..3b718ee 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -2,5 +2,6 @@ open Relational_engine let () = begin - print_endline @@ Interop.Merkle.merkle_generate_root [Disk.Executor._EMPTY_SHA_HASH_; Disk.Executor._EMPTY_SHA_HASH_] + (* print_endline @@ Interop.Merkle.merkle_generate_root [Disk.Executor._EMPTY_SHA_HASH_] *) + Interop.Merkle.register_to_merkle Disk.Executor._EMPTY_SHA_HASH_; end -- cgit v1.2.3