islet icon indicating copy to clipboard operation
islet copied to clipboard

Published 20 hours ago • verified publisher icon islet-project

doc: Update the model checking document

Open zpzigi754 opened this issue 4 months ago • 0 comments

This PR updates the model-checking report. The results for realm_activate, rec_aux_count, rec_destroy, and version have been added.

The rendered version can be temporarily found here.

zpzigi754 avatar Oct 10 '24 07:10 zpzigi754