Skip to content

spec(XLS-65): Update VaultDeposit failure conditions and state changes#552

Open
Tapanito wants to merge 34 commits into
masterfrom
tapanito/spec-vault-deposit
Open

spec(XLS-65): Update VaultDeposit failure conditions and state changes#552
Tapanito wants to merge 34 commits into
masterfrom
tapanito/spec-vault-deposit

docs: Add VaultDeposit invariants section

9eccc43
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar