Improvement: Handle select instructions#235

Merged

mlevesquedion merged 6 commits intogoogle:masterfrom mlevesquedion:handle-select-instructions

Dec 22, 2020

+121-2

Commits on Dec 17, 2020

Handle select instructions
Michaël Lévesque-Dion
committed

Commits on Dec 22, 2020

address review comments + tag TODOs with issue
Michaël Lévesque-Dion
committed
Merge branch 'master' into handle-select-instructions
Michaël Lévesque-Dion
committed
address review comments
Michaël Lévesque-Dion
committed
merge master + fix conflict
Michaël Lévesque-Dion
committed
clarify code + comment for mapping between extracts and recvs
Michaël Lévesque-Dion
committed