Included all benchmarks for CT

cpeikert · Aug 13, 2016 · 12c8086 · 12c8086
1 parent c4e1da8
commit 12c8086
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/lol/benchmarks/BenchParams.hs b/lol/benchmarks/BenchParams.hs
@@ -22,7 +22,7 @@ type Tensors = '[T]
 type MRCombos =
  '[ '(M, R) ]
 
-type T = RT
+type T = CT
 type M = F64*F9*F25 -- F9*F5*F7*F11 -- F64*F9*F25 --
 type R = Zq 1065601 --34651 -- Zq 14401 --
 type M' = M --F3*F5*F11

diff --git a/lol/benchmarks/Main.hs b/lol/benchmarks/Main.hs
@@ -45,28 +45,28 @@ verb = Progress
 
 benches :: [String]
 benches = [
- --"unzipPow",
- --"unzipDec",
- --"unzipCRT",
+ "unzipPow",
+ "unzipDec",
+ "unzipCRT",
  "zipWith (*)",
  "crt",
  "crtInv",
  "l",
  "lInv",
  "*g Pow",
- --"*g Dec",
+ "*g Dec",
  "*g CRT",
  "divg Pow",
  "divg Dec",
- --"divg CRT",
- "lift"{-,
+ "divg CRT",
+ "lift",
  "error",
  "twacePow",
  "twaceDec",
  "twaceCRT",
  "embedPow",
  "embedDec",
- "embedCRT"-}
+ "embedCRT"
 
  ]
 
@@ -76,11 +76,11 @@ main :: IO ()
 main = do
  hSetBuffering stdout NoBuffering -- for better printing of progress
  reports <- mapM (getReports =<<) [
- {-simpleTensorBenches,
+ simpleTensorBenches,
  tensorBenches,
- simpleUCycBenches,-}
- ucycBenches{-,
- cycBenches-}
+ simpleUCycBenches,
+ ucycBenches,
+ cycBenches
  ]
  when (verb == Progress) $ putStrLn ""
  printTable $ map reverse reports