added option to pass candidate functions#34

Open

kuldeepmeel wants to merge 29 commits intoaig-shared-ptr-better-fixfrom

Commits on Feb 22, 2026

added option to pass candidate functions
kuldeepmeel
committed
Adding an assert

msoos
authored and
kuldeepmeel
committed
Cleanup

msoos
authored and
kuldeepmeel
committed
Initial BVA

msoos
authored and
kuldeepmeel
committed
Silent var update

msoos
authored and
kuldeepmeel
committed
Update fuzzer to match new options

msoos
authored and
kuldeepmeel
committed
Fixing bug about bw equal forcing

msoos
authored and
kuldeepmeel
committed
Let's set to 4, seems best

msoos
authored and
kuldeepmeel
committed
Update strategy matrix

msoos
authored and
kuldeepmeel
committed
More fuzz

msoos
authored and
kuldeepmeel
committed
edits
kuldeepmeel
committed
Initial BVA

msoos
authored and
kuldeepmeel
committed
Going back to old strategy numbering

msoos
authored and
kuldeepmeel
committed
Fix strategy label after cherry-pick conflict resolution
kuldeepmeel
committed
Merge branch 'aig-shared-ptr-better-fix' into input_guesses
kuldeepmeel
authored
fixed numbering due to merge
kuldeepmeel
committed

Commits on Feb 25, 2026