chriseth 89a01a4e8b "can process fully" (#2255) ...

Add a function to the Machine trait that can be used to determine if a
submachine call with certain known inputs and certain range constraints
can be fully processed by the called machine.

---------

Co-authored-by: Georg Wiese <georgwiese@gmail.com>

2024-12-18 19:33:37 +00:00

..

src

"can process fully" (#2255)

2024-12-18 19:33:37 +00:00

Cargo.toml

Effects to rust (#2229)

2024-12-17 10:41:04 +00:00