timewave-computer / covenants

Apache License 2.0
17 stars 4 forks source link

clean up contracts finite state machine logic #272

Closed bekauz closed 4 weeks ago

bekauz commented 1 month ago

followup for #271

the way FSM logic in covenant contracts is currently handled could be presented in a more concise way. an automata truth / state-transition table inspired logic seems to be the way to go, see https://github.com/timewave-computer/covenants/issues/270#issuecomment-2166082088 .