Merge branch 'master' into HEADfeature/nondeterminism

1 files changed, 45 insertions, 0 deletions

diff --git a/src/Verismith/Circuit.hs b/src/Verismith/Circuit.hs
new file mode 100644
index 0000000..81eec12
--- /dev/null
+++ b/src/Verismith/Circuit.hs
@@ -0,0 +1,45 @@
+{-|
+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