WIP (6eecd3d6) · Commits · Blockchains / UTXO Chains / Symbolic Executor · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

Symbolic Executor
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

6eecd3d6

Commit 6eecd3d6 authored 2 years ago by vincent

Downloads
- Patches
- Plain Diff

WIP

parent cc9af72b

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

symbolic_execution/instruction/exceptions.py 8 additions, 0 deletions

symbolic_execution/instruction/exceptions.py
symbolic_execution/instruction/general.py 93 additions, 0 deletions

symbolic_execution/instruction/general.py
symbolic_execution/instruction/interfaces.py 9 additions, 1 deletion

symbolic_execution/instruction/interfaces.py
symbolic_execution/instruction/stack_based.py 58 additions, 8 deletions

symbolic_execution/instruction/stack_based.py
symbolic_execution/language/bitcoin/helper.py 0 additions, 19 deletions

symbolic_execution/language/bitcoin/helper.py
symbolic_execution/language/bitcoin/op_codes.py 334 additions, 137 deletions

symbolic_execution/language/bitcoin/op_codes.py
symbolic_execution/language/bitcoin/parser.py 95 additions, 9 deletions

symbolic_execution/language/bitcoin/parser.py

with 597 additions and 174 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment