Verification potential

[dragostis]

My question is, how close is seer to being able to verify some pretty simplistic but long stateless code? If the effort isn't so high (more than a week or so of work), I would be interested to help get the project there.

[dwrensha]

Can you tell me more about the code you're interested in analyzing? If your code mostly consists of arithmetic operations and does not have many loops, then Seer might be close to being able to handling it. If it has lots of memory manipulation and possible aliasing, then Seer might have some trouble.

I've just now published v0.0.2 on crates.io.