pthread impl

Author: elopez

Diff for: lib/Echidna.hs

@@ -9,7 +9,7 @@ import Data.List.NonEmpty (NonEmpty)
 import Data.List.NonEmpty qualified as NE
 import Data.Map.Strict qualified as Map
 import Data.Set qualified as Set
-import Data.TLS.GHC (mkTLS)
+import Data.TLS.PThread (mkTLS)
 import System.FilePath ((</>))
 
 import EVM (cheatCode)

Diff for: lib/Echidna/Exec.hs

@@ -18,7 +18,7 @@ import Data.IORef (readIORef, atomicWriteIORef, newIORef, writeIORef, modifyIORe
 import Data.Map qualified as Map
 import Data.Maybe (fromMaybe, fromJust)
 import Data.Text qualified as T
-import Data.TLS.GHC (getTLS)
+import Data.TLS.PThread (getTLS)
 import Data.Vector qualified as V
 import Data.Vector.Unboxed.Mutable qualified as VMut
 import System.Process (readProcessWithExitCode)

Diff for: lib/Echidna/Output/Source.hs

@@ -18,7 +18,7 @@ import Data.Text (Text, pack)
 import Data.Text qualified as T
 import Data.Text.Encoding (decodeUtf8)
 import Data.Text.IO (writeFile)
-import Data.TLS.GHC (allTLS, TLS)
+import Data.TLS.PThread (allTLS, TLS)
 import Data.Vector qualified as V
 import qualified Data.Vector.Unboxed as U
 import Data.Vector.Unboxed.Mutable qualified as VU

Diff for: lib/Echidna/Types/Config.hs

@@ -8,7 +8,7 @@ import Data.Set (Set)
 import Data.Text (Text)
 import Data.Time (LocalTime)
 import Data.Word (Word64)
-import Data.TLS.GHC
+import Data.TLS.PThread
 
 import EVM.Dapp (DappInfo)
 import EVM.Types (Addr, Contract, W256)