refac #1

Merged

vimacs merged 4 commits from wehack-dev/ssh_protocol-ada:refac into main 2026-08-10 09:31:30 +00:00

Conversation 1 Commits 4 Files changed 17 +358 -423

wehack-dev commented 2026-08-09 11:47:37 +00:00

Contributor

Copy link

No description provided.

wehack-dev added 4 commits 2026-08-09 11:47:37 +00:00

replace all Decode_{Byte,Uint32,Uint64} to the contract version 6a5e7099f7

message_format: work around SPARK flow ... 64b0f9c72e

Use Relaxed_Initialization as in
https://www.adacore.com/blog/relaxing-the-data-initialization-policy-of-spark

message_format: [WIP] SPARK proof bedfd1f2b2

message_format: [WIP] proof 584b03dc0b

vimacs approved these changes 2026-08-10 09:30:46 +00:00

vimacs merged commit 785ae6fbe7 into main 2026-08-10 09:31:30 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

vimacs

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

vimacs/ssh_protocol-ada!1

No description provided.