MergeAgainstOriginalDesignContractsV1 - #179

Merged

MarkDerman merged 43 commits into

MergeAgainstOriginalDesignContractsV1

Jun 7, 2026

Commits on Dec 10, 2025

Starting additions to COntract API
MarkDerman
committed
50a0ea2

Commits on Dec 11, 2025

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

Commits on Dec 19, 2025

Merge branch 'master' into DesignContracts-InvariantsAndPostconditions-Start
MarkDerman
committed
16a3014
Saving progress on Design Contracts
MarkDerman
committed
274b055

Commits on Dec 20, 2025

Commits on Dec 21, 2025

Commits on Dec 22, 2025

Icon mod
MarkDerman
committed
f010691
Merge branch 'master' into DesignContracts-InvariantsAndPostconditions-Start
MarkDerman
committed
30f403b
Saving progress...
MarkDerman
committed
559fb5c
Nuget publich DC.Tooling
MarkDerman
committed
090a31b
Exclude DC tests for now for publishing DC tooling
MarkDerman
committed
e9fcc3b
Pre release publishes don't require tests
MarkDerman
committed
6b28e3e
Saving progress
MarkDerman
committed
bdb3b6d

Commits on Dec 23, 2025

Saving progress...
MarkDerman
committed
93e4766
Merge branch 'master' into DesignContractsV1-Mark
MarkDerman
committed
c576d58
Saving progress...
MarkDerman
committed
98e5ede
Saving work...
MarkDerman
committed
9d8c5fb

Commits on Dec 24, 2025

Saving progress...
MarkDerman
committed
ee8e606
Assert and Assume added
MarkDerman
committed
4695d2d
Saving progress...
MarkDerman
committed
e5f1f35

Commits on Dec 25, 2025

Saving progress...
MarkDerman
committed
2ee7862
Saving progress
MarkDerman
committed
ab43901

Commits on Dec 26, 2025

Completed tests for ReporFailure
MarkDerman
committed
9d6285e
Saving progress
MarkDerman
committed
6e22b23
Compile weaving working!
MarkDerman
committed
b51ef9c
Saving...
MarkDerman
committed
386ee45
Saving
MarkDerman
committed
9c603e9

Commits on Dec 27, 2025

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

Commits on Jan 7, 2026

Merge branch 'master' into DesignContractsV1
MarkDerman
committed
7e31378

Commits on Jun 7, 2026

Merge branch 'DesignContractsV1' into MergeAgainstOriginalDesignContractsV1
MarkDerman
committed
dfed515
Merge branch 'master' into MergeAgainstOriginalDesignContractsV1
MarkDerman
committed
58ea152
Merge branch 'master' into MergeAgainstOriginalDesignContractsV1
MarkDerman
committed
7068481
Merging in Design Contracts work from a few months ago
MarkDerman
committed
3934f25
Remove unused refs
MarkDerman
committed
07c4cb6
Update solution file
MarkDerman
committed
64f04d4