Skip to content
Snippets Groups Projects
Commit 9625d4ef authored by Régis Blanc's avatar Régis Blanc
Browse files

moved extension phase to xlang

parent 039486a1
No related branches found
No related tags found
No related merge requests found
...@@ -5,12 +5,10 @@ object Main { ...@@ -5,12 +5,10 @@ object Main {
def allPhases: List[LeonPhase[_, _]] = { def allPhases: List[LeonPhase[_, _]] = {
List( List(
plugin.ExtractionPhase, plugin.ExtractionPhase,
ArrayTransformation, xlang.ArrayTransformation,
EpsilonElimination, xlang.EpsilonElimination,
ImperativeCodeElimination, xlang.ImperativeCodeElimination,
/*UnitElimination,*/ xlang.FunctionClosure,
FunctionClosure,
/*FunctionHoisting,*/
Simplificator, Simplificator,
synthesis.SynthesisPhase, synthesis.SynthesisPhase,
verification.AnalysisPhase verification.AnalysisPhase
...@@ -124,10 +122,10 @@ object Main { ...@@ -124,10 +122,10 @@ object Main {
val pipeTransforms: Pipeline[Program, Program] = val pipeTransforms: Pipeline[Program, Program] =
if (settings.xlang) { if (settings.xlang) {
ArrayTransformation andThen xlang.ArrayTransformation andThen
EpsilonElimination andThen xlang.EpsilonElimination andThen
ImperativeCodeElimination andThen xlang.ImperativeCodeElimination andThen
FunctionClosure xlang.FunctionClosure
} else { } else {
NoopPhase() NoopPhase()
} }
......
package leon package leon.xlang
import purescala.Common._ import leon.TransformationPhase
import purescala.Definitions._ import leon.LeonContext
import purescala.Trees._ import leon.purescala.Common._
import purescala.Extractors._ import leon.purescala.Definitions._
import purescala.TypeTrees._ import leon.purescala.Trees._
import leon.purescala.Extractors._
import leon.purescala.TypeTrees._
object ArrayTransformation extends TransformationPhase { object ArrayTransformation extends TransformationPhase {
......
package leon package leon.xlang
import purescala.Common._ import leon.TransformationPhase
import purescala.Definitions._ import leon.LeonContext
import purescala.Trees._ import leon.purescala.Common._
import purescala.TreeOps._ import leon.purescala.Definitions._
import purescala.TypeTrees._ import leon.purescala.Trees._
import leon.purescala.TreeOps._
import leon.purescala.TypeTrees._
object EpsilonElimination extends TransformationPhase { object EpsilonElimination extends TransformationPhase {
......
package leon package leon.xlang
import purescala.Common._ import leon.TransformationPhase
import purescala.Definitions._ import leon.LeonContext
import purescala.Trees._ import leon.purescala.Common._
import purescala.Extractors._ import leon.purescala.Definitions._
import purescala.TreeOps._ import leon.purescala.Trees._
import purescala.TypeTrees._ import leon.purescala.Extractors._
import leon.purescala.TreeOps._
import leon.purescala.TypeTrees._
object FunctionClosure extends TransformationPhase{ object FunctionClosure extends TransformationPhase{
......
package leon package leon.xlang
import purescala.Common._ import leon.TransformationPhase
import purescala.Definitions._ import leon.LeonContext
import purescala.Trees._ import leon.purescala.Common._
import purescala.Extractors._ import leon.purescala.Definitions._
import purescala.TypeTrees._ import leon.purescala.Trees._
import purescala.TreeOps._ import leon.purescala.Extractors._
import leon.purescala.TypeTrees._
import leon.purescala.TreeOps._
object ImperativeCodeElimination extends TransformationPhase { object ImperativeCodeElimination extends TransformationPhase {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment