Support arbitrary width bitvectors in mappings.ml#509

filipeom wants to merge 1 commit intomainformalsec/smtml:mainfrom

filipe/bitvformalsec/smtml:filipe/bitvCopy head branch name to clipboard