Skip to content

Issues: pirapira/eth-isabelle

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

145 Open 154 Closed
145 Open 154 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

Return failure codes same as those of KEVM enhancement
#487 opened Apr 19, 2018 by pirapira
hexparser.rb should emit an error for invalid inputs bug
#486 opened Apr 16, 2018 by pirapira
Add Byzantium instructions enhancement
#479 opened Mar 14, 2018 by pirapira
GlobalTriple theory should be checked in the continuous integration systems
#476 opened Jan 3, 2018 by pirapira
Fix the build of EvmFacts.thy
#467 opened Dec 7, 2017 by pirapira
Fix the build of GlobalTriple.thy
#466 opened Dec 7, 2017 by pirapira
Spurious failures in Travis
#464 opened Nov 30, 2017 by pirapira
vmtest calldataload1 yields "Some post conditions not available"
#463 opened Nov 23, 2017 by pirapira
3
Apply Byzantium changes
#459 opened Oct 23, 2017 by pirapira
10 tasks
Fix the script GlobalTriple accepted bug
#458 opened Oct 16, 2017 by pirapira
Fix the script EvmFacts.thy accepted bug
#457 opened Oct 16, 2017 by pirapira
An ML type error in Apply_Trace.thy with Isabelle2017
#454 opened Oct 10, 2017 by pirapira
1
Compare the behavior the Julia compiler and Julia specification enhancement
#447 opened Aug 14, 2017 by pirapira
make lem-pdf fails bug soon
#445 opened Aug 8, 2017 by pirapira
Implement EIP 170: max code size accepted bug
#437 opened Jul 5, 2017 by pirapira
Try Wercker for continuous integration soon
#425 opened Jun 23, 2017 by pirapira
Figure out the sender of a transaction in progress
#422 opened Jun 21, 2017 by pirapira
3 tasks
@pirapira
fix warninigs from ocaml compilation next release soon
#418 opened Jun 8, 2017 by pirapira
fix warnings from lem-ocaml next release soon
#416 opened Jun 8, 2017 by pirapira
Test the EVM using Coq to OCaml extraction accepted
#410 opened Apr 28, 2017 by pirapira
Parse and execute BlockChainTests in progress
#400 opened Apr 21, 2017 by pirapira
Skip state tests that cause out of memory in OCaml runtime next release
#392 opened Apr 19, 2017 by pirapira
1
Travis script should create tar balls containing Coq sources on github.io pages soon
#380 opened Apr 11, 2017 by pirapira
Implement the precompiled contract for identity accepted
#377 opened Apr 11, 2017 by pirapira
Implement precompiled contract for RIPEMD160
#376 opened Apr 11, 2017 by pirapira
ProTip! Type g i on any issue or pull request to go back to the issue listing page.