chriseth a68a20c9a4 Effects to rust (#2229) ...

Formats a vector of "effects" coming from the witgen solver into rust
code, compiles and loads it.

Submachine calls and receiving arguments will be done in another PR.

This code assumes `known` to be a padded bit vector ( #2230 ).

---------

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

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

..

src

Effects to rust (#2229)

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

Cargo.toml

Effects to rust (#2229)

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