Commit 95c5ab5
1 file changed
+1
-1
lines changedSubmodule implementation updated 16 files
- .verification/agent/iospecs/bytes/bytes.gobra+194-60
- .verification/agent/iospecs/claim/claim.gobra+9
- .verification/agent/iospecs/fact/fact.gobra+4-4
- .verification/agent/iospecs/iospec/Agent.gobra+2-2
- .verification/agent/iospecs/iospec/permissions_Agent_internal.gobra+24-24
- .verification/agent/iospecs/iospec/permissions_in.gobra+16-16
- .verification/agent/iospecs/iospec/permissions_out.gobra+2-2
- .verification/agent/iospecs/utilbytes/utilbytes.gobra+48
- .verification/agent/session/crypto/crypto-stub.gobra+3-2
- .verification/encoding/base64/base64-stub.gobra+2-2
- agent/session/contracts/model.go+12-11
- agent/session/datachannel/handshake_request.go+4-3
- agent/session/datachannel/handshake_response.go+13-4
- agent/session/datachannel/helper.go+11-10
- agent/session/datachannel/iosanitization/io_sanitization.go+2-1
- agent/session/datachannel/recv.go+9-5
0 commit comments