It's using web2c, and linking against a cleaned up version of the generated C sources for a combined c/rust binary.
There is a further project which runs c2rust over the generated c sources, and is cleaning up the generated c sources, this is linked in comments above.
Going directly from web -> rust, is expected to be difficult, and will probably have a lot to learn from the manual conversions above.
There is a further project which runs c2rust over the generated c sources, and is cleaning up the generated c sources, this is linked in comments above.
Going directly from web -> rust, is expected to be difficult, and will probably have a lot to learn from the manual conversions above.