Check freezing limit more thoroughly

dfinity / interface-spec

IC Interface Specification

37 stars 20 forks source link

Closed mraszyk closed 1 year ago

mraszyk commented 1 year ago

This PR makes the following changes:

model compute and memory allocation and canister's memory usage in the formal semantics
model subnet size in the formal semantics
inspect_message is not invoked on frozen canisters (similarly to query calls)
freezing limit is checked when creating and installing canisters and changing their settings

netlify[bot] commented 1 year ago

Name	Link
Latest commit	5d0f12136c3dfe4ec0cdc017564a21fa47646693
Latest deploy log	https://app.netlify.com/sites/ic-interface-spec/deploys/64e33eb8dfcf72000840017c
Deploy Preview	https://deploy-preview-221--ic-interface-spec.netlify.app
Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.