mirror of
https://github.com/Heretek-AI/RE-AI.git
synced 2026-07-01 01:37:55 -04:00
John Smith
23b749402d
After `import triton`, the Quarkslab Triton .so loads C++ bindings that corrupt z3's internal ctypes state in a way that makes `z3.BitVec(int, str)` (int-first) fail with: ctypes.ArgumentError: argument 2: TypeError: wrong type The first call returns a half-initialized BitVecSort; subsequent calls hit Z3_mk_bv_sort with a corrupted argument. The str-first form `z3.BitVec(name, bits)` takes a different ctypes path internally and is unaffected. Switch solve_constraint to use the str-first form. Resolves test_solve_constraint_z3_sat (the only remaining T1.4 regression from the 2026-06-05 gap analysis). Also: pin kaitaistruct>=0.11 in install.sh (B5 — the kaitai compiler at 0.11 generates 0.11-API code; 0.10 cannot import it). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
96 lines
1.6 KiB
Plaintext
96 lines
1.6 KiB
Plaintext
# Python
|
|
__pycache__/
|
|
*.py[cod]
|
|
*$py.class
|
|
*.so
|
|
.Python
|
|
build/
|
|
develop-eggs/
|
|
dist/
|
|
downloads/
|
|
eggs/
|
|
.eggs/
|
|
lib/
|
|
lib64/
|
|
parts/
|
|
sdist/
|
|
var/
|
|
wheels/
|
|
*.egg-info/
|
|
*.egg
|
|
MANIFEST
|
|
.installed.cfg
|
|
|
|
# Virtual environments
|
|
.venv/
|
|
.venv-*/
|
|
venv/
|
|
env/
|
|
ENV/
|
|
|
|
# Test outputs
|
|
.pytest_cache/
|
|
.coverage
|
|
.coverage.*
|
|
htmlcov/
|
|
.tox/
|
|
.mypy_cache/
|
|
.ruff_cache/
|
|
|
|
# Claude Code / MCP runtime state (the .mcp.json itself IS committed — it's the server registry)
|
|
.mcp.json.legacy
|
|
install.log
|
|
|
|
# Editor / IDE
|
|
.vscode/
|
|
.idea/
|
|
*.swp
|
|
*.swo
|
|
*~
|
|
.DS_Store
|
|
Thumbs.db
|
|
*.code-workspace
|
|
|
|
# GSD planner state (legacy from v1)
|
|
.gsd/
|
|
.gsd-id
|
|
.bg-shell/
|
|
|
|
# Env files (no .env.example is used; envs live in .mcp.json env blocks)
|
|
.env
|
|
.env.*
|
|
!.env.example
|
|
|
|
# Plugin runtime state
|
|
**/chroma/
|
|
**/chroma.sqlite3
|
|
**/re-ai.db*
|
|
tmp/
|
|
coverage/
|
|
.cache/
|
|
Input/
|
|
servers/*/uv.lock
|
|
docs/REDATACTED.md
|
|
Output/
|
|
CLAUDE.md
|
|
|
|
# Installer-generated artifacts (install.sh produces these on every run)
|
|
data/capa-rules/
|
|
data/ksy/_compiled/
|
|
|
|
# re-dotnet: .NET 10 single-file publish (install.sh writes to bin/)
|
|
servers/re-dotnet/bin/
|
|
|
|
# re-dotnet dev-tree build output (C# project intermediate + bin dirs).
|
|
# Matches the SDK convention: src/<pkg>/dotnet/<project>/{bin,obj}.
|
|
servers/*/src/*/dotnet/*/bin/
|
|
servers/*/src/*/dotnet/*/obj/
|
|
|
|
# re-vtil: cmake build output (install.sh builds vtil-cli to bin/)
|
|
servers/re-vtil/bin/
|
|
servers/re-vtil/src/re_vtil/cpp/VtilCli/build/
|
|
servers/re-vtil/src/re_vtil/cpp/VtilCli/CMakeCache.txt
|
|
servers/re-vtil/src/re_vtil/cpp/VtilCli/CMakeFiles/
|
|
servers/re-vtil/src/re_vtil/cpp/VtilCli/cmake_install.cmake
|
|
servers/re-vtil/src/re_vtil/cpp/VtilCli/Makefile
|