The source project of this merge request has been removed.
Continuation change, extract_proph_winner change
1 unresolved thread
1 unresolved thread
Compare changes
The continuation Q is moved to the top level in the Accepted state.
extract_proph_winner now only considers the first element in the list and does not restrict the first value.