mina icon indicating copy to clipboard operation
mina copied to clipboard

Refactoring `Merkle_ledger`

Open rbonichon opened this issue 1 year ago • 1 comments

  • activate warnings (and fix them)
  • move interface definitions in Intf only (and thus avoid repetition)
  • add interfaces to all modules
  • remove some dead code (thanks to warnings too)

This is preliminary work/scaffolding for heavier changes (to come at some point down the road)

Still todo

  • [x] Cleanup history (do not review until this is crossed)

rbonichon avatar Feb 16 '24 17:02 rbonichon

!ci-build-me

rbonichon avatar Feb 23 '24 15:02 rbonichon

!ci-build-me

rbonichon avatar Feb 26 '24 14:02 rbonichon

!ci-build-me

rbonichon avatar Feb 26 '24 16:02 rbonichon

!ci-build-me

rbonichon avatar Feb 26 '24 20:02 rbonichon