Closed chriskohlhoff closed 6 years ago
This change aims to formalise the "default" implementation for a promise_contract_t query. Using a friend function within the property itself is the approach adopted in the executors paper itself.
Rebased against master to resolve conflicts.
Thanks @chriskohlhoff
This change aims to formalise the "default" implementation for a promise_contract_t query. Using a friend function within the property itself is the approach adopted in the executors paper itself.