P3237 R2 Matrix Representation of Contract Semantics

[wg21bot]

P3237R0 Matrix Representation of Contract Semantics (Andrei Zissu)

[wg21bot]

P3237R1 Matrix Representation of Contract Semantics (Andrei Zissu)

[timuraudio]

Discussed and rejected by SG21 on 2024-10-24:

We are interested in specifying evaluation sematics conceptually in terms of properties as presented in P3237R2 "Matrix Representation of Contract Semantics".
SF F N A SA
1 1 9 7 1

Result: consensus against

We are interested in redefining enum evaluation_semantic in terms of a bit mask.
SF F N A SA
1 0 2 8 6

Result: consensus against

We are interested in expressing contract semantics in code in terms of semantic aliases.
SF F N A SA
1 0 3 10 1

Result: consensus against

[wg21bot]

P3237R2 Matrix Representation of Contract Semantics (Andrei Zissu)

[jensmaurer]

Closing again.