Support naming methods to Aeneas
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
Currently, we have no way of naming methods when passing them to Charon' `--opaque` flag. While bare functions can be supported, anything inside of an `impl` block can't.
Contributor guide
Assessment
This issue has not been assessed yet.