Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards#587

kumarak merged 7 commits into

maintrailofbits/multiplier:mainfrom

symex-hardening-and-irgen-fixestrailofbits/multiplier:symex-hardening-and-irgen-fixesCopy head branch name to clipboard