question about boogie rust binding

[He1pa]

Hello, I am also a developer of smart contracts, compilers, and formal verification. I want to implement a prover tool for SIR(https://github.com/AntChainOpenLabs/Smart-Intermediate-Representation). I searched for boogie on crate io and found this repository. But I didn't find what I was looking for, like how to parse, build and dump boogie ir. I wanted to confirm if you are done binding boogie in rust, or just a placehoder as described in the README