Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dwrensha/seer issues and pull requests
#15 - Build failed
Issue -
State: open - Opened by ckanner almost 3 years ago
- 1 comment
#14 - breakage from latest nightly
Issue -
State: open - Opened by dwrensha over 6 years ago
#13 - Unexpected error instead of `Err(panic)` when MIR for std is present
Issue -
State: open - Opened by nilfit over 6 years ago
#12 - Easier symbolic variables and output readiability
Pull Request -
State: closed - Opened by nilfit over 6 years ago
- 10 comments
#11 - fix cargo seer no-trans error
Pull Request -
State: closed - Opened by nilfit over 6 years ago
- 1 comment
#10 - Implement more numeric intrinsics
Pull Request -
State: closed - Opened by ranma42 over 6 years ago
- 1 comment
#9 - Allow consumers to continue on error
Pull Request -
State: closed - Opened by nilfit over 6 years ago
- 1 comment
#8 - Implement numeric intrinsics
Pull Request -
State: closed - Opened by ranma42 over 6 years ago
- 1 comment
#7 - Support for `numeric_intrinsic`s
Issue -
State: closed - Opened by ranma42 over 6 years ago
- 2 comments
#6 - Fix copy-and-paste
Pull Request -
State: closed - Opened by ranma42 over 6 years ago
- 1 comment
#5 - Anyway to use Seer for concolic testing?
Issue -
State: open - Opened by minhnhdo over 6 years ago
- 1 comment
#4 - Overflow checking for symbolic add/sub
Pull Request -
State: closed - Opened by nilfit over 6 years ago
- 2 comments
#3 - Verification potential
Issue -
State: open - Opened by dragostis almost 7 years ago
- 1 comment
#2 - can't handle type X with layout General { ... }
Issue -
State: closed - Opened by dwrensha over 7 years ago
- 1 comment
#1 - base64 example in README no longer works without xargo-built libstd
Issue -
State: closed - Opened by dwrensha over 7 years ago
- 1 comment