HF RL Explorer

Add Support for Verifying Rust Programs

Add Support for Verifying Rust Programs: a task in LegoFlow-SWE (Harbor dataset). SMACK currently has no support for Rust source code. This limits verification to C/C++ input files. The tool should be extended to accept Rust programs, producing LLVM IR that can then be processed by the existing…

The task

SMACK currently has no support for Rust source code. This limits verification to C/C++ input files. The tool should be extended to accept Rust programs, producing LLVM IR that can then be processed by the existing verification infrastructure.

Part of Lego-X/LegoFlow-SWE.