Septidon compatibility#16

Merged

noel2004 merged 4 commits intomainfrom

septidon-integration-compat

Mar 23, 2023

Commits on Mar 20, 2023

septidon-integration: maintain the exsting API controlled by a feature
Aurélien Nicolas
committed
septidon-integration: move spec
Aurélien Nicolas
committed
septidon-integration: reorganize module hierarchy
Aurélien Nicolas
committed
septidon-integration: minimize visibility of constant generators
Aurélien Nicolas
committed