Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / model-checking/kani issues and pull requests
#59 - Demangling of variable names
Issue -
State: closed - Opened by adpaco-aws over 3 years ago
- 3 comments
Labels: [C] Feature / Enhancement, [E] User Experience
#47 - Reorganize the current test folder structure
Issue -
State: open - Opened by adpaco-aws over 3 years ago
- 1 comment
Labels: [C] Feature / Enhancement
#40 - We need to redesign how we handle stubbing rust code
Issue -
State: closed - Opened by danielsn over 3 years ago
- 2 comments
Labels: [I] Refactoring / Clean Up, [C] Internal
#3 - `Option<&foo>` does not decay to `*foo` in extern C mode
Issue -
State: open - Opened by danielsn over 3 years ago
- 2 comments
Labels: [C] Bug, [C] Feature / Enhancement