spec: extend formal model with solver tiers, fee routing, and traces - #618

spec: extend formal model with solver tiers, fee routing, and traces#618

techisigu merged 5 commits into

stellar-vortex-protocol:mainstellar-vortex-protocol/vortex-contracts:mainfrom

gabrielujelistic-collab:fix/issue-530-extend-formal-modelgabrielujelistic-collab/vortex-contracts:fix/issue-530-extend-formal-modelCopy head branch name to clipboard