Design contracts v1#142

Closed

MarkDerman wants to merge 37 commits intomasterfrom

DesignContractsV1

Commits on Dec 10, 2025

Starting additions to COntract API
MarkDerman
committed

Commits on Dec 11, 2025

Merge branch 'master' into DesignContracts-InvariantsAndPostconditions-Start
MarkDerman
committed

Commits on Dec 19, 2025

Commits on Dec 20, 2025

Merge branch 'master' into DesignContracts-InvariantsAndPostconditions-Start
MarkDerman
committed
Invariant weaving actually working, but unable to resolve test assertion anomaly with ContractException yet...
MarkDerman
committed
Cater for both flavours of attributes in tests so far...
MarkDerman
committed

Commits on Dec 21, 2025

Commits on Dec 23, 2025

Commits on Dec 24, 2025

Commits on Dec 25, 2025

Commits on Dec 26, 2025

Commits on Dec 27, 2025

Added build weave logging, but not working as expected yet.
MarkDerman
committed

Commits on Jan 7, 2026

Merge branch 'master' into DesignContractsV1
MarkDerman
committed