Lean: add support for register definitions#894

Open

lfrenot wants to merge 1 commit intorems-project:sail2from lfrenot:lean-register-clean

+153-13

Commits on Jan 17, 2025

Working registers and tests
lfrenot
committed