Remove smallstep CEK

kadena-io · Aug 31, 2024 · 018cb77 · 018cb77
1 parent 7aa22b3
commit 018cb77
Show file tree

Hide file tree

Showing 16 changed files with 507 additions and 2,044 deletions.
diff --git a/gasmodel/Main.hs b/gasmodel/Main.hs
@@ -5,7 +5,6 @@ module Main where
 
 import qualified Criterion.Main as C
 
-import Pact.Core.GasModel.InterpreterGas as InterpreterGas
 import Pact.Core.GasModel.BuiltinsGas as BuiltinsGas
 import Pact.Core.GasModel.ContractBench as ContractBench
 import Pact.Core.GasModel.Serialization as Serialization
@@ -14,7 +13,6 @@ main :: IO ()
 main = do
   C.defaultMain
     [ ContractBench.allBenchmarks
-    , InterpreterGas.benchmarks
     , BuiltinsGas.benchmarks
     , Serialization.benchmarks
     ]

diff --git a/gasmodel/Pact/Core/GasModel/ContractBench.hs b/gasmodel/Pact/Core/GasModel/ContractBench.hs
@@ -73,7 +73,7 @@ interpretBigStep =
   where
   runTerm purity term = CEK.eval purity eEnv term
   runGuard info g = CEK.interpretGuard info eEnv g
-  eEnv = CEK.coreBuiltinEnv @ExecRuntime @CEK.CEKBigStep
+  eEnv = CEK.coreBuiltinEnv @ExecRuntime
 
 interpretDirect :: Interpreter ExecRuntime CoreBuiltin SpanInfo
 interpretDirect =