Commits

History for

Commits on Aug 21, 2024

Clarify postcondition capture/evaluation
hsutter
committed
c7ffbf4

Commits on Jul 31, 2024

Various doc/comment cleanup, and remove the "helpful for Cpp1 transition" check for `*` following a type
hsutter
committed
a7dd9ec

Commits on Jul 29, 2024

Catch up feature documentation and C++26 new headers
hsutter
committed
daf9eec

Commits on Jul 27, 2024

Starting over on function types - initial support for function types in <> lists (#1183)
hsutter
authored
212eb15

Commits on Jun 21, 2024

Update contracts.md to emphasize lazy evaluation and the default group
hsutter
committed
e9ab30c

Commits on May 11, 2024

Add example showing equivalent of Cpp1 `for( auto i=0; i < 10; ++i )` loop
hsutter
committed
d5d3004

Commits on Mar 15, 2024

add missing backquote and update to new snake_case names (#1022)
gregmarr
authored
ad8ce13
Fix typos in contracts.md (#1017)

authored
4a83eb0

Commits on Mar 14, 2024

Add contracts docs for order-of-evaluation and contract predicates
hsutter
committed
f65c153

Commits on Mar 11, 2024

Another typo fix
hsutter
committed
0ba8a6f
Add example output
hsutter
committed
b642e7f
Merge 1.0 documentation into `main` (#1016)

authored
a21bcb5

Loading