0.3.0

• Introduces the cfg module, which generates the control-flow graph for contract bytecode. [ #46 ]
  • Documentation: wiki
  • Examples: wiki
• Workspace improvements for contributors. [ #47 ]
• Linting fixes & optimizations. [ #48, #50 ]
• Remove regex backtracing for loop detection. Switch to symbolic stack loop detection (thanks plotchy), which both improves runtime and removes the branch limit of 1000. [ #51 ]

  • Fully resolves #30

  • Runtime reduced significantly.

    Benchmarks