Code

Refactor into Rust#404

Code

Draft

twizmwazin wants to merge 9 commits intomasterangr/claripy:masterfrom feat/rustangr/claripy:feat/rustCopy head branch name to clipboard

+2,714-2,694

Commits

Commits on Jul 16, 2024

• Refactor tests to use unittest

  twizmwazin

  committed
  434318a

  Copy full SHA for 434318a

• Fix all warnings in test cases

  twizmwazin

  committed
  2d81798

  Copy full SHA for 2d81798

• Setup rust project and add initial native Base class

  twizmwazin

  committed
  08b0468

  Copy full SHA for 08b0468

• Move hashcons to native base

  twizmwazin

  committed
  001e172

  Copy full SHA for 001e172

• Move other Base members to rust

  twizmwazin

  committed
  b9a2cb9

  Copy full SHA for b9a2cb9

• Rewrite hash calculation code in rust

  twizmwazin

  committed
  3beedd4

  Copy full SHA for 3beedd4

• Move Base code to src/ast/base.rs

  twizmwazin

  committed
  8ecd248

  Copy full SHA for 8ecd248

• Rewrite remainder of __a_init__ in rust

  twizmwazin

  committed
  cccdcd6

  Copy full SHA for cccdcd6

• Use Bound wherever possible

  twizmwazin

  committed
  a7f185c

  Copy full SHA for a7f185c