Repository navigation
A18: std::min and std::max of two integers, and constexpr helpers taking const references - #82
Open
SwayamInSync wants to merge 64 commits into
Open
SwayamInSync wants to merge 64 commits into
SwayamInSync wants to merge 64 commits into
Commits
Commits on Oct 24, 2026
- committed
- committed
- committed
- committed
- committed
- committed
verify: Instantiate a specialization's contract with its definition, and keep ghost variables ghost.
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
test: Check that a class template's invariant and members' contracts are checked where instantiated.
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed