diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:58:07 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:58:07 +0000 |
commit | 157559045f477e443a3f965af6a1959f59930eb8 (patch) | |
tree | a8a69429bb5c9ee7fb1ea6643173533f8dad1789 /src/VeriFuzz/Icarus.hs | |
parent | fa77a4b1ad2400bce8a51dee7d41368fed653ed9 (diff) | |
download | verismith-157559045f477e443a3f965af6a1959f59930eb8.tar.gz verismith-157559045f477e443a3f965af6a1959f59930eb8.zip |
Fix imports
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
-rw-r--r-- | src/VeriFuzz/Icarus.hs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs index 527322a..fbcb657 100644 --- a/src/VeriFuzz/Icarus.hs +++ b/src/VeriFuzz/Icarus.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Simulator.Icarus +Module : VeriFuzz.Icarus Description : Icarus verilog module. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,18 +10,18 @@ Portability : POSIX Icarus verilog module. -} -module VeriFuzz.Simulator.Icarus where +module VeriFuzz.Icarus where import Control.Lens -import Data.ByteString (ByteString) -import qualified Data.ByteString as B -import Data.Foldable (fold) +import Data.ByteString (ByteString) +import qualified Data.ByteString as B +import Data.Foldable (fold) import Data.Hashable -import Data.List (transpose) -import Prelude hiding (FilePath) +import Data.List (transpose) +import Prelude hiding (FilePath) import Shelly -import VeriFuzz.Simulator.General -import VeriFuzz.Verilog +import VeriFuzz.AST +import VeriFuzz.General data Icarus = Icarus { icarusPath :: FilePath , vvpPath :: FilePath |