Value benchmark hacks#6

Open

txiang61 wants to merge 6 commits into

value-benchmark

Commits on Aug 19, 2020

fixed problems with the comparison constraints
txiang61
committed

Commits on Aug 25, 2020

hacks
txiang61
committed

Commits on Sep 1, 2020

add hacks to fix poly problem
txiang61
committed

Commits on Sep 2, 2020

add hacks to avoid null pointer exceptions
txiang61
committed

Commits on Sep 10, 2020

fix refinement to get declared instead of comparison slot
txiang61
committed

Commits on Oct 13, 2020

Merge branch 'master' into value-benchmark
txiang61
committed