Skip to content

Pull requests: sorear/smetamath-rs

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

fixing compiler warning of newest rust version
#41 opened May 31, 2023 by josojo Loading…
Add simple CI pipeline via GitHub actions
#40 opened Nov 27, 2020 by david-a-wheeler Loading…
Remove unnecessary clone() calls
#39 opened Nov 27, 2020 by david-a-wheeler Loading…
Update Cargo.toml SPDX format and lock file
#37 opened Nov 24, 2020 by david-a-wheeler Loading…
add support for reading packed/explicit proofs
#34 opened Jul 11, 2016 by digama0 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.