Skip to content

relaxed finalization with Finalize aspect#444

Merged
adacore-bot merged 1 commit intomasterfrom
slides/generalized-finalization
Dec 4, 2024
Merged

relaxed finalization with Finalize aspect#444
adacore-bot merged 1 commit intomasterfrom
slides/generalized-finalization

Commits

Commits on Nov 21, 2024