search

dwrensha / seer

symbolic execution engine for Rust
Other
350 stars 7 forks source link

Implement more numeric intrinsics #10

Closed ranma42 closed 6 years ago

ranma42 commented 6 years ago

Fixes https://github.com/dwrensha/seer/issues/7

dwrensha commented 6 years ago

Thanks!