Remove duplicate procedures from `miden-lib`#1002

Closed

Fumuran wants to merge 13 commits intonextfrom andrew-remove-duplicate-procedures

+635-589

Commits on Dec 20, 2024

Commits on Dec 26, 2024

Merge branch 'next' into andrew-remove-duplicate-procedures
Fumuran
committed

Commits on Jan 9, 2025

Commits on Jan 15, 2025

chore: Move non-shared procedures back to kernel
PhilippGackstatter
committed

Commits on Jan 16, 2025

feat: Implement shared modules under different namespaces
PhilippGackstatter
committed