Add rounding mode in FP theory#83

math-fehr merged 2 commits intomainopencompl/xdsl-smt:mainfrom

rounding_modeopencompl/xdsl-smt:rounding_modeCopy head branch name to clipboard