GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #21 from GaloisInc/hashtable-basic2

Browse Source 
Change hashtable implementation to basic from cuckoo.
This commit is contained in:
Kevin Quick 2020-03-30 11:10:35 -07:00 committed by GitHub
commit d62b76e59d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
what4/src/What4/Expr/Builder.hs
View File

@ -178,7 +178,7 @@ import qualified Data.Binary.IEEE754 as IEEE754
import qualified Data.Bits as Bits
import Data.Foldable
import qualified Data.HashTable.Class as H (toList)
import qualified Data.HashTable.ST.Cuckoo as H
import qualified Data.HashTable.ST.Basic as H
import Data.Hashable
import Data.IORef
import Data.Kind

2
what4/src/What4/Expr/VarIdentification.hs
View File

@ -46,7 +46,7 @@ import Control.Monad.Reader
import Control.Monad.ST
import Control.Monad.State
import Data.Bits
import qualified Data.HashTable.ST.Cuckoo as H
import qualified Data.HashTable.ST.Basic as H
import Data.List.NonEmpty (NonEmpty(..))
import Data.Map.Strict as Map
import Data.Parameterized.Nonce