Dev exp unsound#1759

Draft

feliam wants to merge 6 commits intomasterfrom

dev-exp-unsound

Commits on Jun 29, 2020

Treat EXP as a source of symbolic imprecision
feliam
committed

Commits on Jul 1, 2020

Initial symbolic EXP
feliam
committed

Commits on Jul 2, 2020

Merge branch 'master' into dev-exp-unsound
feliam
committed

Commits on Sep 8, 2020