Extend pool-based quantifier instantiation to axioms; add diagnostic …#3

andreistefanescu merged 3 commits into

masterasymptotic-code/boogie:masterfrom

pool-qi-improvementsasymptotic-code/boogie:pool-qi-improvementsCopy head branch name to clipboard