From d7bb6e819bf423691c6db79e7bbd800bece00c93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 21 Nov 2012 03:40:00 +0000
Subject: [PATCH] Simplificator is no longer needed
---
src/main/scala/leon/Main.scala | 1 -
src/main/scala/leon/Simplificator.scala | 25 -------------------------
2 files changed, 26 deletions(-)
delete mode 100644 src/main/scala/leon/Simplificator.scala
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index e27586acc..8d455ff9b 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -9,7 +9,6 @@ object Main {
xlang.EpsilonElimination,
xlang.ImperativeCodeElimination,
xlang.FunctionClosure,
- Simplificator,
synthesis.SynthesisPhase,
verification.AnalysisPhase
)
diff --git a/src/main/scala/leon/Simplificator.scala b/src/main/scala/leon/Simplificator.scala
deleted file mode 100644
index bdc989e20..000000000
--- a/src/main/scala/leon/Simplificator.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-package leon
-
-import purescala.Common._
-import purescala.Definitions._
-import purescala.Trees._
-import purescala.TypeTrees._
-import purescala.TreeOps._
-
-object Simplificator extends TransformationPhase {
-
- val name = "Simplificator"
- val description = "Some safe and minimal simplification"
-
- def apply(ctx: LeonContext, pgm: Program): Program = {
-
- val allFuns = pgm.definedFunctions
- allFuns.foreach(fd => {
- fd.body = fd.body.map(simplifyLets)
- fd.precondition = fd.precondition.map(simplifyLets)
- fd.postcondition = fd.postcondition.map(simplifyLets)
- })
- pgm
- }
-
-}
--
GitLab