Support installation on crates.io
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
- [x] Publish on crates.io
- [ ] Check exact dependency versions at runtime
- [x] Check Charon version number
- [ ] Check Charon hash – https://github.com/AeneasVerif/charon/issues/1029
- [ ] Check Aeneas version or hash – https://github.com/AeneasVerif/aeneas/issues/783
- [ ] Check Lean version
- [ ] Host pre-built artifacts for Charon/Aeneas or ask if Charon/Aeneas will publish and host these
- [x] https://github.com/AeneasVerif/charon/issues/1053
- [x] https://github.com/AeneasVerif/aeneas/issues/834
- [ ] Add `cargo hermes setup` or similarly-named sub-command to install dependencies; alternatively, do this lazily during `cargo hermes verify` or other sub-commands
Contributor guide
Assessment
This issue has not been assessed yet.