Repository navigation

Adds Angr support as backend - #5

Merged

buzzer-re merged 7 commits into

mainfrom

Jun 18, 2026

Commits on Jun 16, 2026
- Add angr backend as a pure-Python fallback
  
  buzzer-re
  and
  claude
  committed
  2049145
- Add --full installer flag for the angr backend
  
  buzzer-re
  and
  claude
  committed
  e6c6534
Commits on Jun 17, 2026
- Fix --full: pass angr extra to the installed tocode command
  
  buzzer-re
  and
  claude
  committed
  56e3a16
- Install via a dedicated venv on the non-uv path (PEP 668)
  
  buzzer-re
  and
  claude
  committed
  9ffad7c
- Import the angr backend lazily
  
  buzzer-re
  and
  claude
  committed
  02075c4
Commits on Jun 18, 2026
- Improve installer fallback and quiet angr logs
  buzzer-re
  committed
  802868b
- Fix ruff import order in angr backend
  buzzer-re
  committed
  79574b6