sort bytecode_info table by bytecode#4670

Merged

kroening merged 3 commits intodevelopfrom

sort_bytecode_info

May 30, 2019

Commits on May 30, 2019

sort bytecode_info table by bytecode
Daniel Kroening
committed
fill in missing bytcode table entries
Daniel Kroening
committed
use bytecode_info instead of bytecode vector
Daniel Kroening
committed