Update Carnot-Specs

Adding commit condition
This commit is contained in:
mjalalzai 2023-02-24 11:41:15 -08:00 committed by GitHub
parent a9f2566cc5
commit 4ebe426aa8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,7 +33,8 @@ Types:
Local Variables:
highQC
highQC_r
qc_c # QC built from messages received from child committees
curView
latestCommittedBlock
@ -57,6 +58,13 @@ Utilities:
}
}
Func tryToCommitGrandParent(block){
parentBlock = block.qc.block
grandparentBlock = parentBlock.qc.block
return parentBlock.view = grandparentBlock.view+1
}