12 Pull requests merged by 2 people

• Simplify Base.identical() to utilize Base.canonical()

  #569 merged Nov 5, 2024

• Remove Base._rename

  #568 merged Nov 5, 2024

• Remove some unnecessary cases of make_like

  #567 merged Nov 5, 2024

• Remove Base.swap_args

  #566 merged Nov 5, 2024

• Remove spurious uninitialized kwargs from tests

  #565 merged Nov 5, 2024

• Remove AST split method

  #564 merged Nov 4, 2024

• Use AST factory methods in BackendZ3._abstract_internal

  #563 merged Nov 4, 2024

• Refactor BackendZ3.extra_bvs_data into bvs_annotations

  #562 merged Nov 4, 2024

• Add BackendAny

  #561 merged Nov 4, 2024

• [pre-commit.ci] pre-commit autoupdate

  #560 merged Nov 4, 2024

• Remove unique_name global

  #559 merged Nov 1, 2024

• Minimize direct imports from claripy.ast

  #558 merged Oct 30, 2024