Repository navigation

Add IDA* solver with permutation and orientation PDBs - #2

Closed

JackChang92318 wants to merge 8 commits into

sysprog21:mainfrom

JackChang92318:feature/ida-solver

Closed

Add IDA* solver with permutation and orientation PDBs#2
JackChang92318 wants to merge 8 commits into
sysprog21:mainfrom
JackChang92318:feature/ida-solver

Commits on Oct 3, 2026
- Add RV32I memory probe
  JackChang92318
  committed
  957ba08
- Start permutation PDB builder
  JackChang92318
  committed
  342020e
Commits on Oct 4, 2026
- Complete the builder and the result of perm
  JackChang92318
  committed
  0fc53fe
- Ignore .exe file
  JackChang92318
  committed
  c3e9e03
- Normalize code format
  JackChang92318
  committed
  3011da0
- Add non-recursive IDA* solver with pattern database heuristics
  JackChang92318
  committed
  624c6c9
- Add orientation PDB generator and generated table
  JackChang92318
  committed
  a85cecd
- Finish constructing the orientation pdb
  JackChang92318
  committed
  e895177