Skip to content

Issues: formal-land/coq-of-python

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.

Sign up for GitHub

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

12 Open 3 Closed
12 Open 3 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Ltac2 compile error with Coq 8.19.2
#33 opened Sep 18, 2024 by aa755
Checking the behavior of translated code
#32 opened Jul 22, 2024 by aefree2
4
Simulations for the system instructions Paris version Verification of the Paris version of the EVM
#21 opened May 20, 2024 by clarus
11 tasks
@InfiniteEchoes
Simulations for the state instructions Paris version Verification of the Paris version of the EVM
#20 opened May 20, 2024 by clarus
33 tasks
Simulations for the storage instructions Paris version Verification of the Paris version of the EVM
#19 opened May 20, 2024 by clarus
2 tasks
@InfiniteEchoes
Simulations for the stack instructions Paris version Verification of the Paris version of the EVM
#18 opened May 20, 2024 by clarus
68 tasks
@InfiniteEchoes
Simulations for memory instructions Paris version Verification of the Paris version of the EVM
#17 opened May 20, 2024 by clarus
4 tasks
@tfmsadhith
Simulations for the log instructions Paris version Verification of the Paris version of the EVM
#16 opened May 20, 2024 by clarus
6 tasks
@tfmsadhith
Simulations for environment instructions Paris version Verification of the Paris version of the EVM
#14 opened May 20, 2024 by clarus
18 tasks
Simulations for control flow instructions Paris version Verification of the Paris version of the EVM
#13 opened May 20, 2024 by clarus
6 tasks
@tfmsadhith
Simulation for comparison instructions Paris version Verification of the Paris version of the EVM
#12 opened May 20, 2024 by clarus
6 tasks
@tfmsadhith
Simulations of the arithmetic file Paris version Verification of the Paris version of the EVM
#7 opened May 13, 2024 by clarus
8 of 11 tasks
ProTip! no:milestone will show everything without a milestone.