diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-09-04 20:15:51 +1000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-09-04 20:15:51 +1000 |
| commit | a2b01b92612a098673ff03890e6e8aef4ceb28ea (patch) | |
| tree | 15cafe6ba47981938552a4b342a56795251aadc5 /src/VeriFuzz/Circuit.hs | |
| parent | cccb665ebac6e916c4f961eacbe11a9af7d7ceb3 (diff) | |
| download | verismith-a2b01b92612a098673ff03890e6e8aef4ceb28ea.tar.gz verismith-a2b01b92612a098673ff03890e6e8aef4ceb28ea.zip | |
Renaming to VeriSmith
Diffstat (limited to 'src/VeriFuzz/Circuit.hs')
| -rw-r--r-- | src/VeriFuzz/Circuit.hs | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/src/VeriFuzz/Circuit.hs b/src/VeriFuzz/Circuit.hs deleted file mode 100644 index aee0d57..0000000 --- a/src/VeriFuzz/Circuit.hs +++ /dev/null @@ -1,45 +0,0 @@ -{-| -Module : VeriSmith.Circuit -Description : Definition of the circuit graph. -Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 -Maintainer : yann [at] yannherklotz [dot] com -Stability : experimental -Portability : POSIX - -Definition of the circuit graph. --} - -module VeriSmith.Circuit - ( -- * Circuit - Gate(..) - , Circuit(..) - , CNode(..) - , CEdge(..) - , fromGraph - , generateAST - , rDups - , rDupsCirc - , randomDAG - , genRandomDAG - ) -where - -import Control.Lens -import Hedgehog (Gen) -import qualified Hedgehog.Gen as Hog -import VeriSmith.Circuit.Base -import VeriSmith.Circuit.Gen -import VeriSmith.Circuit.Random -import VeriSmith.Verilog.AST -import VeriSmith.Verilog.Mutate - -fromGraph :: Gen ModDecl -fromGraph = do - gr <- rDupsCirc <$> Hog.resize 100 randomDAG - return - $ initMod - . head - $ nestUpTo 5 (generateAST gr) - ^.. _Wrapped - . traverse |