Skip to content

Issues: formal-land/coq-of-rust

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Issues list

Revm: write simulation for arithmetic
#545 opened May 14, 2024 by clarus
11 tasks
Prove correct the ERC-1155
#519 opened Apr 2, 2024 by clarus
Prove correct the ERC-721
#518 opened Apr 2, 2024 by clarus
Write specification for the ERC-1155
#517 opened Apr 2, 2024 by clarus
Write simulations for the ERC-1155
#515 opened Apr 2, 2024 by clarus
Write simple simulations
#511 opened Apr 2, 2024 by clarus
3 tasks
Fix the proofs for the ERC-20 smart contract
#509 opened Apr 2, 2024 by clarus
2 tasks
Integrate alloc.v in the CI
#508 opened Apr 2, 2024 by clarus
3 tasks
Add ERC-1155, multisigs, and flipper
#411 opened Nov 23, 2023 by clarus
Verify swap example
#379 opened Oct 5, 2023 by clarus
Have dumb translation of dyn types
#233 opened Oct 4, 2023 by clarus
Add Coq translation of scale_encode
#139 opened Jul 21, 2023 by clarus
Meta issue: translate ink! env library Ink! env library
#87 opened Jun 15, 2023 by clarus
3 of 4 tasks
ProTip! Follow long discussions with comments:>50.