[z3] add implement Re.allchar and Re.diff using native API#618

filipeom merged 1 commit into

mainformalsec/smtml:mainfrom

filipe/add-missing-re-opsformalsec/smtml:filipe/add-missing-re-opsCopy head branch name to clipboard